區塊鏈:炒幣：智能合約其實并不智能 ？_比特幣

一份合約通常可以把合作雙方或多方與未來的某件事物聯系起來，比如買賣房產、汽車保險等。而智能合約與普通合約的不同之處在于，智能合約當中所有的執行條件都由計算機代碼來評估并完成。

在現實生活中，當我們的合約出現問題時，我們只能依賴諸如律師和法院這樣可信的第三方來主持公道;而在智能合約中，根本不存在信不信任第三方的問題，因為計算機代碼就能夠即時客觀的幫我們執行合約的所有條款，它相當于一個優秀的法官。

這樣聽起來“智能合約”似乎很高大上，它應該像人工智能那樣“聰明”。但事實卻并非如此。

一份合格的智能合約，應該包括一切可能發生的情況。因為智能合約的核心要義就是“即使在最陰暗的環境中，也要做出最公正的裁決”。然而從目前的情況來看，我們所接觸到的智能合約都是遵循程序員設定的一系列規則來達到目的的。它完全不考慮規則以外的因素。這也就意味著，在規則之外沒有任何讓你猶豫不決和法外留情的余地。

何一：幣安員工不允許炒幣，買入后必須Hold 90天以上才能交易:1月10日消息，幣安聯合創始人兼CMO、Binance Labs負責人何一參與“POW'ER 2023香港Web3創新者峰會”在線對談時表示，沒有想到當時FTX那么瘋狂，是看到CoinDesk的文章才意識到問題的嚴重性，那個時候我們還不知道FTX根本就是完全挪用用戶的資產，之前就覺得FTX花錢太大手大腳。

此外，何一表示，幣安在內部控制上特別嚴格，幣安內部無論多么高職位的員工，也不允許炒幣，買入后必須Hold90天以上才能交易。[2023/1/10 11:04:17]

這種情況就引出了我們接下來要講的問題。

動態 | 新華網：炒幣、挖礦再度火爆，警惕披著區塊鏈馬甲的金融詐騙重出江湖:新華網發文《新華視點：“炒幣”“挖礦”再度火爆，警惕披著區塊鏈“馬甲”的金融詐騙“重出江湖”》。文章指出，一些不法分子打著區塊鏈旗號推廣宣傳虛擬貨幣、資金盤，將區塊鏈技術等同于虛擬貨幣，甚至出現“防范代幣發行融資風險政策已過時”等言論，有的用“鏈”“挖礦”“IMO”“STO”等花樣翻新的名目，披著區塊鏈的“馬甲”開展非法金融活動。目前，上海、北京、廣東等多地金融監管部門相繼出臺措施，對虛擬貨幣交易場所進行摸排整治。國家互聯網金融安全技術專家委員會區塊鏈研究室主任毛洪亮告訴記者，近期傳銷、資金盤等不法活動利用區塊鏈概念和發行虛擬貨幣進行包裝，本身與區塊鏈技術無關，涉及資金多，危害嚴重。[2019/12/4]

1.智能合約真的很難保證安全性

動態 | 神魚微博調侃收費炒幣群:F2Pool 魚池聯合創始人神魚發微博稱，最近貌似收費炒幣群挺火的，本老年人也與時俱進下，現收關門弟子一名，學費3BTC/月。 只教關門，現在報名還教關燈和關窗關空調。其在微博下方回復用戶評論稱，難怪收費群這么火呢，超過幣圈90%企業利潤了，要不明天歇業，再收個關窗弟子，想想都激動啊，月入百幣。[2019/7/23]

這一點從以太坊的身上就能夠看出來。

由于以太坊本身是一個智能合約平臺，因此很多人認為只有以太坊才能夠實現智能合約。但這其實是認知上的一個誤區，從1995年在比特幣被發明之前，智能合約的概念就已經存在了;到了2009年比特幣開發了一種相當廣泛的智能合約語言“腳本(Script)”。

金色財經現場報道比特幣資深研究人士肖磊：炒幣的一個形態就一個數字化的故事:金色財經現場報道，在2018中國區塊鏈高峰論壇以“用什么姿態擁抱區塊鏈”的圓桌論壇上，比特幣資深研究人士肖磊表示，“不同的歷史資產有不同的定義，資產的形態對于人就是精神支柱，未來資產形態不一樣，大家炒幣的一個形態就一個數字化的故事。”[2018/5/20]

而以太坊與比特幣之間的區別在于，以太坊是圖靈完備的，通過該平臺可以實現種類更多、條款更復雜的合約，當然這樣做的代價是，復雜的合約內容使其變得更加難以分析。通常情況下，復雜度與發生漏洞的機率是成正比的;復雜度越高，發生漏洞的機率就越大。

而要在圖靈完備的情況下執行這樣一份合約也是非常棘手的，因為如果這時你想要證明你的合約是安全的，就相當于要證明計算機程序中沒有BUG一樣。但這個世界上就根本不存在沒有BUG的計算機程序啊!

一個普通人至少需要多年的學習，通過層層考試并不斷地實踐才能成為一個合格的法官，但是現在寫智能合約的門檻相當低，很多程序員都是新手，他們其實并不知道如何來保證這些合約的安全性。

2.智能合約真的沒有去信任

即使沒有圖靈完備，智能合約聽起來也還不錯，畢竟不需要法院、律師這樣的中介，在不需要信任第三方的情況下就能自動執行，效率?***鼗岜繞脹ê顯幾叩枚唷?

但是這里還有兩個問題：

去信任是智能合約的核心特征。但即使智能合約本身是去信任的，合約的執行依然需要依賴第三方;

在去中心化的環境里，要想智能合約真的起到作用，虛擬世界和現實世界之間必須要有一個強關聯關系才可以;

以買房為例：如果房子相當于以太坊區塊鏈世界中的ETH代幣，那么在虛擬世界里A將房子的所有權轉讓到B的名下，就可以換取一定數量的ETH，而此時在現實世界中，B也要相信這些ETH實際上就相當于房子的所有權。因此他們還是需要一個權威第三方來證明當B交出ETH之后他就能夠在法律上獲得這套房子的歸屬權。

這里就涉及到了“預言機”的問題，預言機是智能合約與外部環境進行數據交互的唯一途徑，外部數據作為智能合約的輸入參數經過預言機流入智能合約程序。只有通過預言機才能夠確定，在虛擬世界和現實世界中你的狀態，以及履行合約的情況是否一致。本質上來說，你還是需要信任流入預言機的數據是客觀準確的，這與智能合約去信任的思想嚴重相悖。

如果想的再長遠一些，即使當權威機構說這個代幣實際上代表房產，但如果這些代幣被盜了呢?被盜之后房子屬于小偷嗎?如果代幣丟失了怎么辦?這座房子就不能再賣了嗎?可以重新換取新的代幣來代表這套房子的所有權嗎?如果是這樣，誰來做這些事情?

而在沒有預言機的情況下，唯一能夠發揮作用的就是數字不記名工具。從本質上來講，“數字不記名工具”意味著代幣的所有權不能在智能合約所屬平臺之外再具備任何有依賴性的關系。因此，智能合約大部分時候，只有在像比特幣這種內生型代幣(不需要外部數據的輸入)上才有可能做到真正的去信任。

我們當然希望智能合約能夠比普通合約更有效，但不幸的是，現實生活中的很多合約，都包含一系列的假設和既定的法律體系;而且事實也證明，圖靈完備的智能合約很容易帶來意想不到的結果。交流請加筆者！

Tags：區塊鏈比特幣以太坊ETH區塊鏈工程專業學什么女生比較好比特幣十年后能漲多少以太坊幣在中國合法嗎togetherbnb換裝都有什么衣服

歐易交易所