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

零風險智能合同

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

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

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

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

尋找完美的智能合同

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