研究表明,以太坊智能合约区块链的失败率为0.36%。尽管看似很小,但是如果没有适当的调试,智能合约中的错误可能使公司损失数十亿美元。在这种情况下,苏黎世ETH公司的研究团队创建了革命性的智能合约扫描仪,以确保以太合约在任何时候都是100%准确的。零风险智能合约根据科技博客的报道,苏黎世联邦理工学院的研究人员开发了一种开创性的以太网智能合约扫描仪,可以消除合约中的所有错误。该研究小组由系统安全专家组成,包括Petar Tsankov博士,Hubert Ritzdorf博士,Martin Vechev教授和Arthur Gervais博士。他们的新型以太网智能合约扫描器可以识别并消除其他扫描器通常无法识别的隐藏漏洞。桑科夫说:“为智能合约构建有效的安全扫描器的主要技术挑战是找到一种方法来探索接触的所有行为,甚至超过宇宙中原子的数量。现有智能合约的自动安全检查器仅检查合约所有行为的子集,从而从根本上避免了这个问题。由于要检查的行为数量有限,因此当前的检查过程中存在很大的出错空间。 Tsankov相信:“一项关于开源以太合约的研究表明,由于覆盖范围不足,现有解决方案可能会错过多达三分之二的漏洞。”尽管问题十分艰巨,但苏黎世ETH团队还是完成了创作。扫描仪的任务艰巨,它可以仔细检查合同的所有动作。决心将所有漏洞插入ICO项目,加密货币交易所和加密货币领域中的所有公司的智能合约中,“ Code God”已经整合了他们的公司ChainSecurity。该公司称自己为“第一个用于智能合约的自动正式审核平台”。 ChainSecurity使用其智能合约扫描仪Securify作为他们提供的智能合约审核程序包的一部分。寻找完美的智能合约随着黑客和欺诈者变得越来越老练,秘密入侵者必须拥有100%无错的智能合约。令人欣喜的是,ChainSecurity之类的团队正在努力寻找解决方案,以使智能合约不会有失败的余地。
