苏黎世研究人员为智能合同构建了一个有效的安全扫描仪

研究表明，以太智能合同块链的失败率为0.36%。尽管看起来很小，但如果没有适当的调试，那么智能合同中的错误可能会使公司损失数十亿美元。在这样的背景下，苏黎世ETH公司的一个研究小组创造了一个革命性的智能合同扫描仪，以确保以太合同在任何时候都具有百分之百的准确性。

零风险智能合同

根据科技博客进的一份报告，苏黎世ETH公司的研究人员开发了一种开创性的以太智能合同扫描仪，它可以消除合同中的所有错误。该研究小组由系统安全专家组成，包括Petar Tsankov博士、Hubert Ritzdorf博士、Martin Vechev教授和Arthur Gervais博士。他们的新以太智能合同扫描仪能够识别并消除隐藏的漏洞，而这些漏洞通常是其他扫描仪无法识别的。

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

由于被检查的行为数量有限，因此当前检查程序存在很大的错误空间。Tsankov认为，“一项关于开源以太合同的研究表明，由于覆盖面不足，现有解决方案可能会错过多达三分之二的漏洞。”尽管问题的性质令人生畏，苏黎世ETH团队还是完成了创建一台扫描仪的艰巨任务，它能够仔细检查合同的所有行为。

决心堵住ICO项目、加密货币交易所以及加密空间中所有企业的智能合同中的所有漏洞，“代码之神”已经将它们的公司ChainSecurity整合。该公司称自己为“第一个智能合同的自动化正式审计平台”。ChainSecurity利用其智能合同扫描仪Securify作为他们提供的智能合同审计包的一部分。

寻找完美的智能合同

随着黑客和欺诈者变得越来越老练，秘密入侵者必须拥有100%的无差错智能合同。知道像ChainSecurity这样的团队正在勤奋地努力寻找解决方案，使智能合同不会有任何失败的余地，这是很令人欣慰的。