0
雷鋒網AI金融評論按：智能合約代碼失誤造成以太坊上價值3億美元的代幣“消失”，這究竟是怎么回事?本文從技術角度進行了解析。文章作者為CyberMiles首席科學家Michael Yuan博士。雷鋒網獲得作者授權發布。
Github 用戶 devops199 今天在 Twitter 上說：“I accidentally killed it”。等大家反應過來，他的“小事故”已經“刪除”了以太坊上價值3億美元的代幣，平均每個詞造成 7500 萬美元的損失。
光是 Polkadot 一個項目的一個賬號就有近 9000 萬美元消失?？胺Q是今天最貴的一句話！
事后有人問 devops199，為什么捅這么大一個簍子？他卻無辜地說“我是新手，正在學習。”的確，他是新手，只是在試驗剛學的智能合約語言。
這個新手捅的大簍子告訴我們：價值300億美元的以太坊智能合約開發如同兒戲，非常不專業。
那么，這背后的技術失誤，究竟是怎么回事？
為什么錢可以“消失”？
我們都知道，數字貨幣可以高度匿名?？墒悄涿请p刃劍。錢上沒寫你的名字，錢掉了你也證明不了是你的。
在數字貨幣世界中，一個“錢包”一般指一對密?。公?是錢包的“帳號”，可以隨便宣傳，別人可以往里面打錢。比如下面是我的一個以太坊錢包公?，歡迎大家隨時打錢進來！
0xD69b30FAdf81882253329Ab0149131c67602eEd1
可是，要想從帳號中拿錢出來，你必須得有帳號的私鑰。那么問題來了：
如果我忘記了帳號私鑰怎么辦？
回答是：
那么再也沒人能夠動那個錢包中的錢，那些錢從世界上“消失”了。
中本聰曾經說過“消失的比特幣讓所有其他人的比特幣更值錢一點（因為供給少了）。把你丟失的比特幣當作對社區的捐贈吧！”。
Lost coins only make everyone else's coins worth slightly more. Think of it as a donation to everyone. — Satoshi Nakamoto
這個帳戶密鑰對個人來說挺實用?？墒菍τ诠緛碚f有點難用。首先密鑰切忌亂傳，只能一個人知道。但是一個人掌握全公司數千萬美元的帳戶是一件很危險的事（且不說貪污挪用，就想想個人或者家人被綁架的風險）。
所以有聰明人利用以太坊的“智能合約”機制開發了一個智能合約可以支持多重簽名的帳號。這個帳戶沒有自己的秘鑰。從帳戶中提錢需要智能合約同時驗證幾個人的秘鑰。真是一個聰明的解決方法！
顯然，很多融資項目都需要這樣的智能合約。所以其開發者 Parity 把它放在以太坊公鏈上，作為一個“庫函數”讓大家自由調用。所以，很多 ICO 融資項目，包括 parity 自己的幾個大項目，用的智能合約帳戶都是通過調用這個庫實現的。
可是，我們回憶一下，這個智能合約一開始并不是庫函數。只是后來出于方便，追求效率，要“彎道超車”，被大家當成庫函數用了。
作為一個獨立的智能合約，它有兩個特性是萬萬不該在“庫函數”中出現的：
它可以有一個“擁有者”，而且設置“擁有者”的操作函數沒有任何保護。
“擁有者”可以刪除這個智能合約。
我們現在知道 devops199 歪打誤撞地把自己設成了這個“庫函數”的擁有者，然后刪除了這個庫函數。造成的結果是，所有依賴這個庫函數的智能合約都無法工作了，這些智能合約對應的帳號也都鎖死了，其中的錢沒有人能動了。
可是，系統不都是人設計的嗎？為什么不能進去人為改一下軟件，把刪除的智能合約恢復一下？
區塊鏈的重要特點是“去中心化”與“不可逆”。如果人可以改，又沒有權威中心，那是聽誰的，怎么改呢？而且你憑什么說這是個程序的“錯誤”？也許別人程序就是這么設計的，你理解不了其中的深意而己？
智能合約的一個重要特點是“代碼既是法律”?，F實生活中，律師經常鉆法律的漏洞。在區塊鏈世界，程序員鉆代碼的漏洞，不也是合理的嗎？區塊鏈世界有自己的規則與邏輯。
不過，對于在這個事件中“消失”了3億美元的項目而言，希望還是有的。在以太坊開發的計劃圖上，有一個已經擱置了一年多，優先級不高的小項目：回收被智能合約凍住的資金（見EIP156）。
當然這個“回收”具體怎么做沒人知道，似乎在今天之前也沒人仔細想過。要有優秀程序員能解決這個問題，相信1000萬美元的獎金不是夢。只是千萬不要又引入一個更壞的 bug。
這一次出問題的 Parity 是以太坊生態中最有能力的軟件開發公司之一。它不但開發了不少以太坊核心軟件，而且做了不少銀行的應用。不過，犯這種低級錯誤真是堪憂。
這個出問題的軟件是幾百人用來管理資金的開源軟件。Linus Torvalds 說過：在很多眼球的觀注下，所有的軟件錯誤都很膚淺。這里顯然沒有發生。
不過更深層的問題是為什么以太坊的智能合約總是錯誤百出？以太坊的圖靈完備虛擬機聽上去很好，可是很難編程。有經驗的程序員都知道，用匯編語言是寫不出安全的現代程序的。安全的軟件一定是基于現代的編程語言與框架產生的。而以太坊在系統設計上的“不專業”已經是不爭的事實。
所以，區塊鏈要有真正企業級的應用，我們必須在“改進智能合約”這個方向上創新。比如在區塊鏈上引入經過多年實戰檢驗的企業級軟件框架。我個人認為，這是區塊鏈發展的主要方向之一。
封面圖片來自Sohu
=================
CyberMiles（簡稱CM）是美國知名電商平臺5miles旗下5xlab實驗室近期正式推出的智能商業合約區塊鏈。據介紹，與一般區塊鏈企業不同，CM不但可以直接承載應用，開發社區也可根據CM進行構造全新的區塊鏈來建立自己的公開或者私有區塊鏈。
據稱，目前CM建立了12個大類、371個小類別的商業合約定制模版，以完善對多種商業場景的支持，支持快速創建智能合約建立商業的智能合約市場。
相關文章：
雷峰網特約稿件，未經授權禁止轉載。詳情見轉載須知。
