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

零風(fēng)險(xiǎn)智能合同

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

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

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

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

尋找完美的智能合同

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