蘇黎世研究人員為智能合同構建了一個有效的安全掃描儀

研究表明，以太智能合同塊鏈的失敗率為0.36%。盡管看起來很小，但如果沒有適當?shù)恼{試，那么智能合同中的錯誤可能會使公司損失數(shù)十億美元。在這樣的背景下，蘇黎世ETH公司的一個研究小組創(chuàng)造了一個革命性的智能合同掃描儀，以確保以太合同在任何時候都具有百分之百的準確性。

零風險智能合同

根據科技博客進的一份報告，蘇黎世ETH公司的研究人員開發(fā)了一種開創(chuàng)性的以太智能合同掃描儀，它可以消除合同中的所有錯誤。該研究小組由系統(tǒng)安全專家組成，包括Petar Tsankov博士、Hubert Ritzdorf博士、Martin Vechev教授和Arthur Gervais博士。他們的新以太智能合同掃描儀能夠識別并消除隱藏的漏洞，而這些漏洞通常是其他掃描儀無法識別的。

Tsankov說：“為智能合同構建一個有效的安全掃描儀的主要技術挑戰(zhàn)是找到一種方法來探索接觸的所有行為，甚至可以超過宇宙中原子的數(shù)量?，F(xiàn)有智能合同的自動安全檢查器只檢查合同的所有行為的一個子集，從而從根本上避免了這個問題?！?/p>

由于被檢查的行為數(shù)量有限，因此當前檢查程序存在很大的錯誤空間。Tsankov認為，“一項關于開源以太合同的研究表明，由于覆蓋面不足，現(xiàn)有解決方案可能會錯過多達三分之二的漏洞。”盡管問題的性質令人生畏，蘇黎世ETH團隊還是完成了創(chuàng)建一臺掃描儀的艱巨任務，它能夠仔細檢查合同的所有行為。

決心堵住ICO項目、加密貨幣交易所以及加密空間中所有企業(yè)的智能合同中的所有漏洞，“代碼之神”已經將它們的公司ChainSecurity整合。該公司稱自己為“第一個智能合同的自動化正式審計平臺”。ChainSecurity利用其智能合同掃描儀Securify作為他們提供的智能合同審計包的一部分。

尋找完美的智能合同

隨著黑客和欺詐者變得越來越老練，秘密入侵者必須擁有100%的無差錯智能合同。知道像ChainSecurity這樣的團隊正在勤奮地努力尋找解決方案，使智能合同不會有任何失敗的余地，這是很令人欣慰的。