由于区块链具有不可篡改的特点,智能合约一旦发布极难修改,合约的安全也决定了区块链的安全。智能合约本质上是代码程序,难免会有考虑缺失导致的漏洞。合约安全威胁?主要包括可重入攻击、调用深度攻击、交易顺序依赖攻击、整数溢出攻击等。为保障智能合约的安全,应保证开发安全和全面的安全审计。?
美国参议院候选人:是时候取消所有比特币交易的资本利得税了:金色财经报道,Bitcoin Magazine发推称,美国参议院候选人Bryan Solstin表示:是时候取消所有比特币交易的资本利得税了。[2022/3/27 14:20:02]
安全开发
红杉资本更新推特简介,用DAO代替公司:12月8日,红杉资本将推特简介更改为“我们帮助有胆识的人打造传奇DAO,将其想法变为现实。从创意到Token空投。让我们一起冲吧!”
据悉,红杉资本此前的简介为“我们帮助有胆识的人打造传奇公司,从创意到IPO”等。[2021/12/8 12:59:04]
智能合约安全开发包括开发工具、编译工具及安全编程规范等方面的保障。
数据:比特币实际资本超过2017年最高纪录:加密市场数据分析公司Glassode发布的数据显示,自2017年底比特币达到2万美元的历史最高点以来,比特币实现的资本化增长了50%以上。比特币的实际上限目前为1,150亿美元,比2017年的历史最高水平高出430亿美元。比特币目前价值1,900亿美元的市值表明,比特币长期交易投资者的总利润为65%。[2020/9/24]
a.智能合约应采用规范的工具进行开发和编译,使用安全统一的编译器和链?接器选项,以便保证编译器所提供的最新的安全保护机制。同时,应使用同一来?源的开发工具集,避免攻击者在软件供应链中植入恶意代码。?b.智能合约的编写应基于严格的安全编程规范。常见的安全编码规范包括弃?用一些存在注入或内存破坏危险的第三方函数,采用智能合约的?checks-effects-interactions原则进行合约编写等。?c.在智能合约编码中尽可能少地暴露被外部调用的接口。建议采用进程间隔?离的技术将智能合约进程与系统隔离,通过socket通信方式远程调用智能合约。
安全审计
在发布智能合约之前,做好全面的安全审计工作,有效防范已知风险。第一,?选择对应的虚拟机语言扫描工具对合约代码进行静态扫描,扫描事先建模的漏洞?类型;第二,为了避免静态扫描可能产生误报的情况,应邀请安全专家进行交互?式代码审计,避免重入攻击、未授权访问攻击、Solidity开发安全等。
安全测试
智能合约部署前必须经过大量的测试,在模拟环境中对智能合约进行攻击测试,挖掘可被利用的漏洞。
来源:金色财经
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。