今年9月初，由Cameron和Tyler Winklevoss創(chuàng)建的加密公司“雙子信托”宣布，該公司已獲得紐約州監(jiān)管機(jī)構(gòu)的批準(zhǔn)，將推出一套與美元價(jià)值掛鉤的數(shù)字代幣。

這種被稱(chēng)為“雙子幣”的代幣可以在以太坊區(qū)塊鏈上通過(guò)一個(gè)叫做“智能合約”的專(zhuān)門(mén)程序來(lái)發(fā)送。為了確認(rèn)它的代幣實(shí)際上是由傳統(tǒng)美元支持的，雙子公司公布了一份獨(dú)立會(huì)計(jì)師事務(wù)所的報(bào)告。該公司還發(fā)布了一份獨(dú)立的審計(jì)報(bào)告，重點(diǎn)不是財(cái)務(wù)，而是來(lái)自紐約一家名為T(mén)rail of Bits的安全公司的基礎(chǔ)軟件代碼。

“評(píng)估的目的是發(fā)現(xiàn)漏洞，讓攻擊者只對(duì)發(fā)行商Gemini進(jìn)行操作，”在Gemini發(fā)布的一封信中，該公司首席執(zhí)行官Dan Guido寫(xiě)道，他解釋說(shuō)，測(cè)試中發(fā)現(xiàn)的任何問(wèn)題都是固定的。

Trail of Bits是數(shù)家為智能合同提供技術(shù)安全審計(jì)的公司之一，這些公司負(fù)責(zé)為區(qū)塊鏈創(chuàng)業(yè)公司募集資金，以及在區(qū)塊鏈網(wǎng)絡(luò)上構(gòu)建的復(fù)雜數(shù)字市場(chǎng)等一切交易，從最初的代幣發(fā)行到融資。智能合約是由支持區(qū)塊鏈的計(jì)算機(jī)運(yùn)行的專(zhuān)用程序，通常具有在滿足某些條件時(shí)接收和分發(fā)加密貨幣或其他數(shù)字代幣的能力。專(zhuān)家們說(shuō)，寫(xiě)這些程序需要新的思維方式，這可能會(huì)讓沒(méi)有經(jīng)驗(yàn)的程序員不知所措。

悉尼區(qū)塊鏈軟件和網(wǎng)絡(luò)安全公司Sigma Prime的主管Mehdi Zerouali說(shuō)：“實(shí)際上，編寫(xiě)智能合約是一個(gè)完整的、不同的新模式?！?/p>

“有一些漏洞是令人震驚的”

所有的軟件都有漏洞，但由于智能合約通常是決定誰(shuí)擁有寶貴的加密資產(chǎn)的唯一方式，所以他們代碼中的缺陷可能是災(zāi)難性的。當(dāng)然，如果他們被發(fā)現(xiàn)，他們可能會(huì)被黑客們利用來(lái)竊取加密資金。根據(jù)ICO追蹤公司CoinSchedule的數(shù)據(jù)，僅今年一年，公司就通過(guò)ICO募集了超過(guò)200億美元的資金。

“有一些缺陷是驚人的，”Guido告訴Fast Company?！叭绻阒谱髁怂鼈儯鼈儾粌H高度嚴(yán)格，而且對(duì)于查看您的智能合約代碼的人來(lái)說(shuō)，它們也是非常明顯的?！?/p>

其中最著名的錯(cuò)誤是一個(gè)分散的、由以太坊驅(qū)動(dòng)的投資基金The DAO，它代表了分布式自治組織。2016年，黑客利用代碼中的漏洞盜取了約5000萬(wàn)美元的加密貨幣，不過(guò)后來(lái)以太坊本身也做了調(diào)整，以歸還被盜的資金。

自那以后，安全專(zhuān)家一直在努力尋找可能導(dǎo)致智能合約發(fā)生故障的因素，并開(kāi)發(fā)工具來(lái)幫助自動(dòng)檢查代碼中的錯(cuò)誤。他們還對(duì)新的智能合同進(jìn)行了審計(jì)，這些合同通常會(huì)公開(kāi)發(fā)布，這些合同可以幫助投資者和最終用戶放心，他們不會(huì)因?yàn)槌绦蚬收隙鴵p失資金。

Trail of Bits發(fā)布了一些開(kāi)源工具，用于分析和測(cè)試用Solidity編寫(xiě)的程序，Solidity是一種常用的編程語(yǔ)言，用于編寫(xiě)智能合約。Guido說(shuō)，開(kāi)發(fā)Solidity程序的標(biāo)準(zhǔn)工具不像開(kāi)發(fā)更成熟的語(yǔ)言那樣復(fù)雜，因此它們可以讓bug在部署專(zhuān)門(mén)的軟件之前一直運(yùn)行。

“它缺乏許多其他現(xiàn)代語(yǔ)言所具有的安全保障，”他說(shuō)。

當(dāng)智能合同被愚蠢的錯(cuò)誤所困擾時(shí)

智能合同可能會(huì)成為可能影響其他軟件的一些相同類(lèi)型的 bug 的犧牲品， 如基本算術(shù)錯(cuò)誤或程序員無(wú)意中重用了多個(gè)值的相同變量名。但是， 它們也可能受到特殊類(lèi)別的錯(cuò)誤的影響： 可利用對(duì)區(qū)塊鏈代碼可用的計(jì)算能力的限制來(lái)觸發(fā)拒絕服務(wù)攻擊， 以超出其處理能力的數(shù)據(jù)來(lái)壓倒智能合同。對(duì)某些數(shù)值的大小的限制會(huì)導(dǎo)致錯(cuò)誤， 在這種情況下， 過(guò)多的數(shù)字會(huì)回退到零， 類(lèi)似于臭名昭著的 Y2K bug。這可能會(huì)導(dǎo)致大量賬戶被削減至幾美分，甚至是負(fù)余額。

一些不安全的代碼可以使用自動(dòng)分析工具檢測(cè)， 而無(wú)需進(jìn)行過(guò)多的人工干預(yù)： 如果一個(gè)合同允許任何用戶提取其資金， 這可能是一個(gè)錯(cuò)誤， 連鎖安全公司聯(lián)合創(chuàng)始人兼首席科學(xué)家Petar Tsankov說(shuō)。該公司是一家瑞士初創(chuàng)公司，從久負(fù)盛名的技術(shù)大學(xué)蘇黎世分校分拆出來(lái)。ChainSecurity 開(kāi)發(fā)了一種稱(chēng)為 Securify 的工具， 它可以快速地發(fā)現(xiàn)和標(biāo)記凝固代碼中潛在的問(wèn)題。

但是其他的bug只是在合同實(shí)際應(yīng)該做的事情的背景下被發(fā)現(xiàn)， 這意味著安全審核的第一階段通常是與開(kāi)發(fā)人員坐下來(lái)， 以準(zhǔn)確理解他們的合同希望完成什么。

Tsankov 說(shuō)： “通常， 關(guān)于合同應(yīng)該做什么， 有非常非正式的文件。

然后，通常會(huì)出現(xiàn)一種混合的人類(lèi)分析和自動(dòng)化測(cè)試，以確定是否有可能使合同違反其規(guī)范。Bits 的蹤跡開(kāi)發(fā)了一種稱(chēng)為Echidna的工具， 它可以通過(guò)各種輸入快速執(zhí)行智能合約，尋找讓代碼出錯(cuò)的方法。當(dāng)發(fā)現(xiàn)錯(cuò)誤時(shí)，安全測(cè)試人員將為開(kāi)發(fā)人員標(biāo)記他們，并幫助確保他們?cè)诖a部署到實(shí)時(shí)的公共區(qū)塊鏈之前就得到了解決。

安全公司通常會(huì)說(shuō)，他們的客戶在了解常見(jiàn)錯(cuò)誤后，在編寫(xiě)安全的智能合同代碼方面越來(lái)越熟練。Zerouali說(shuō)，隨著技術(shù)的成熟和程序員共享有效的實(shí)踐，這種模式以前在包括web本身在內(nèi)的科技行業(yè)的其他角落都出現(xiàn)過(guò)。

但與此同時(shí)加密創(chuàng)業(yè)公司曾一度只需要對(duì)最初發(fā)行代幣的合同進(jìn)行審計(jì)，現(xiàn)在卻在利用其ICO收入來(lái)構(gòu)建更復(fù)雜的產(chǎn)品。Tsankov說(shuō)，其中包括更復(fù)雜的智能合同，它們需要審計(jì)自己的bug。

“現(xiàn)在，他們都開(kāi)始回到我們身邊，”他說(shuō)?！皬?fù)雜性的程度正在迅速上升。