请选择 进入手机版 | 继续访问电脑版
链链财经 位置 加密货币 以太币 苏黎世联邦理工学院研究人员创造了开创性的以太坊智能合约扫描仪 ... ...

苏黎世联邦理工学院研究人员创造了开创性的以太坊智能合约扫描仪 ... ...

2018-7-6 15:45| 发布者: 链链财经| 查看: 2314| 评论: 0

摘要: 研究表明,以太坊智能合约区块链的失败率为 0.36%。尽管看起来很小,如果没有正确调试,智能合约中的错误数量可能会使公司损失数十亿美元。在这种背景下,苏黎世联邦理工学院的一个研究小组创建了一个革命性的智能 ...


研究表明,以太坊智能合约区块链的失败率为 0.36%。尽管看起来很小,如果没有正确调试,智能合约中的错误数量可能会使公司损失数十亿美元。在这种背景下,苏黎世联邦理工学院的一个研究小组创建了一个革命性的智能合约扫描仪,以确保以太网合同始终具有百分之百的准确性。


零风险智能合约

根据Techcrunch的一份报告,苏黎世联邦理工学院的研究人员开发出了首款以太坊智能合约扫描仪,可以消除合同中的所有错误。研究团队由系统安全专家组成,包括Petar Tsankov博士,Hubert Ritzdorf博士,Martin Vechev教授和Arthur Gervais博士。他们新的以太坊智能合约扫描仪具有识别和杀死隐藏的错误的能力,这些错误常常使其他扫描仪无法实现。

Tsankov说:“为智能合约构建有效的安全扫描器的主要技术挑战是找到一种方法来探索接触的所有行为,甚至可以超过宇宙中的原子数量。智能合约的现有自动安全检查器基本上只通过检查合同的所有行为的子集来避免这个问题。”

由于只检查了有限数量的行为,因此当前检查器存在大量代价高昂的错误。根据Tsankov的说法,“一项关于开源以太坊合同的研究表明,由于覆盖范围不足,现有的解决方案可能会漏掉多达三分之二的漏洞。”尽管问题令人生畏,但苏黎世联邦理工学院的团队完成了艰巨的任务。扫描仪能够仔细检查合同的所有行为。

决定密封初始硬币提供项目(ICO),加密货币交换以及密码领域所有业务的智能合同中的所有漏洞和漏洞,“代码之神”已经合并了他们的公司ChainSecurity。该公司自称是“第一个自动化的正式审计平台的智能合同”。ChainSecurity利用他们的智能合同扫描仪,Securify,因为它们提供智能合同审计软件包的一部分。


寻找完美的智能合约
随着黑客和欺诈者日益变得越来越复杂,密码管理员必须拥有百分之百的无差错智能合约。令人非常欣慰的是,像ChainSecurity的团队一样,正在努力寻找能够在智能合约中不留下任何余地的解决方案。

※英文来源:BTCMANAGER
※编译:链链财经。如需转载请注明来自“链链财经”(http://www.o-o-o.link)
郑重声明:转载文章仅为传播更多信息之目的,版权归原作者所有。如有侵权/错误不完整之处请第一时间与我们联系修改删除。 谢谢。内容分析仅供参考,并不构成任何投资意见或建议。风险自控。
  • 微信扫一扫关注公众号,掌握币圈第一手资讯

最新评论

返回顶部