一份合約通常可以把合作雙方或多方與未來的某件事物聯系起來,比如買賣房產、汽車保險等。而智能合約與普通合約的不同之處在于,智能合約當中所有的執行條件都由計算機代碼來評估并完成。
在現實生活中,當我們的合約出現問題時,我們只能依賴諸如律師和法院這樣可信的第三方來主持公道;而在智能合約中,根本不存在信不信任第三方的問題,因為計算機代碼就能夠即時客觀的幫我們執行合約的所有條款,它相當于一個優秀的法官。
這樣聽起來“智能合約”似乎很高大上,它應該像人工智能那樣“聰明”。但事實卻并非如此。
一份合格的智能合約,應該包括一切可能發生的情況。因為智能合約的核心要義就是“即使在最陰暗的環境中,也要做出最公正的裁決”。然而從目前的情況來看,我們所接觸到的智能合約都是遵循程序員設定的一系列規則來達到目的的。它完全不考慮規則以外的因素。這也就意味著,在規則之外沒有任何讓你猶豫不決和法外留情的余地。
幣情觀察室 | 給新幣民的建議 炒幣防虧指南:4月1日14:00,金色盤面邀請行情大V幣圈纏論狙擊手做客金色財經《幣情觀察室》直播間,將分享《給新幣民的建議 炒幣防虧指南》,敬請關注,掃描下圖二維碼即可觀看直播![2020/4/1]
這種情況就引出了我們接下來要講的問題。
1.智能合約真的很難保證安全性
這一點從以太坊的身上就能夠看出來。
由于以太坊本身是一個智能合約平臺,因此很多人認為只有以太坊才能夠實現智能合約。但這其實是認知上的一個誤區,從1995年在比特幣被發明之前,智能合約的概念就已經存在了;到了2009年比特幣開發了一種相當廣泛的智能合約語言“腳本(Script)”。
聲音 | 北京青年報:謹防披著區塊鏈外衣的“炒幣”詐騙:北京青年報今日刊文稱,近期,區塊鏈技術大火,包括央行等不斷推進區塊鏈應用。但披著區塊鏈外衣的“炒幣”詐騙也時有發生。區塊鏈技術專業性強、大眾不易懂,很容易被“套路”。區塊鏈不等于虛擬貨幣、區塊鏈不等于挖礦機、區塊鏈不等于拉人頭。弄清楚哪些場景適用區塊鏈技術,只需要問幾個問題:場景是否需要數據庫,是否需要多方寫入數據,寫入數據的各方可信任嗎,各方利益是否一致?區塊鏈作為一種底層協議或技術方案可以有效地解決信任問題,實現價值的自由傳遞,在數字貨幣、金融資產的交易結算、數字政務、存證防偽數據服務等領域具有廣闊前景。[2019/12/20]
而以太坊與比特幣之間的區別在于,以太坊是圖靈完備的,通過該平臺可以實現種類更多、條款更復雜的合約,當然這樣做的代價是,復雜的合約內容使其變得更加難以分析。通常情況下,復雜度與發生漏洞的機率是成正比的;復雜度越高,發生漏洞的機率就越大。
聲音 | 普華永道中國合伙人:炒幣企業或面臨淘汰:普華永道中國合伙人張俊賢表示:“打著區塊鏈旗號的務虛的公司和項目,如果還像以前一樣再通過發幣去募資圈錢的話,會面臨很大的執法力度。P2P和數據爬蟲公司就是個好榜樣。現在已經通過備案和現場核驗等方式,已經能把利用區塊鏈對實體經濟做實做強的企業辨別出來了,同時把炒幣的企業排除在外。”(第一財經)[2019/10/27]
而要在圖靈完備的情況下執行這樣一份合約也是非常棘手的,因為如果這時你想要證明你的合約是安全的,就相當于要證明計算機程序中沒有BUG一樣。但這個世界上就根本不存在沒有BUG的計算機程序啊!
迅雷CEO陳磊:迅雷未來會有持續“大招”出來,試圖通過炒幣“割韭菜”的玩家,如果不迷途知返,最終會落得一場空:陳磊表示將從阻止硬件倒賣、推進玩客云獎勵計劃實名制和玩客幣錢包實名制,以及與監管部門溝通,從源頭切斷類似交易平臺等措施,遏制玩客幣炒幣。[2017/11/23]
一個普通人至少需要多年的學習,通過層層考試并不斷地實踐才能成為一個合格的法官,但是現在寫智能合約的門檻相當低,很多程序員都是新手,他們其實并不知道如何來保證這些合約的安全性。
2.智能合約真的沒有去信任
即使沒有圖靈完備,智能合約聽起來也還不錯,畢竟不需要法院、律師這樣的中介,在不需要信任第三方的情況下就能自動執行,效率?***鼗岜繞脹ê顯幾叩枚唷?
但是這里還有兩個問題:
去信任是智能合約的核心特征。但即使智能合約本身是去信任的,合約的執行依然需要依賴第三方;
在去中心化的環境里,要想智能合約真的起到作用,虛擬世界和現實世界之間必須要有一個強關聯關系才可以;
以買房為例:如果房子相當于以太坊區塊鏈世界中的ETH代幣,那么在虛擬世界里A將房子的所有權轉讓到B的名下,就可以換取一定數量的ETH,而此時在現實世界中,B也要相信這些ETH實際上就相當于房子的所有權。因此他們還是需要一個權威第三方來證明當B交出ETH之后他就能夠在法律上獲得這套房子的歸屬權。
這里就涉及到了“預言機”的問題,預言機是智能合約與外部環境進行數據交互的唯一途徑,外部數據作為智能合約的輸入參數經過預言機流入智能合約程序。只有通過預言機才能夠確定,在虛擬世界和現實世界中你的狀態,以及履行合約的情況是否一致。本質上來說,你還是需要信任流入預言機的數據是客觀準確的,這與智能合約去信任的思想嚴重相悖。
如果想的再長遠一些,即使當權威機構說這個代幣實際上代表房產,但如果這些代幣被盜了呢?被盜之后房子屬于小偷嗎?如果代幣丟失了怎么辦?這座房子就不能再賣了嗎?可以重新換取新的代幣來代表這套房子的所有權嗎?如果是這樣,誰來做這些事情?
而在沒有預言機的情況下,唯一能夠發揮作用的就是數字不記名工具。從本質上來講,“數字不記名工具”意味著代幣的所有權不能在智能合約所屬平臺之外再具備任何有依賴性的關系。因此,智能合約大部分時候,只有在像比特幣這種內生型代幣(不需要外部數據的輸入)上才有可能做到真正的去信任。
我們當然希望智能合約能夠比普通合約更有效,但不幸的是,現實生活中的很多合約,都包含一系列的假設和既定的法律體系;而且事實也證明,圖靈完備的智能合約很容易帶來意想不到的結果。交流請加筆者!
尊敬的BithumbGlobal用戶:BithumbGlobal已對本次"FF1交易大獎賽價值360,000美金FF1等你搶"活動中“周交易大賽”數據進行統計,由前3名用戶瓜分價值10.
1900/1/1 0:00:00為什么說區塊鏈給人類帶來革命性改變區塊鏈熱歸熱,但能說清楚的卻并不多。區塊鏈是一種在完全分布式的點對點分網絡間存在和傳遞的分布式賬本系統,本質上是一個去中心化的、分布式的公共賬本——任何人都可以.
1900/1/1 0:00:00親愛的FatBTC用戶:本站已上架ECOIN(ECOIN)項目,支持ECOIN/FAT交易對,ECOIN充值通道現已開放:https://www.fatbtc.us/balance?curren.
1900/1/1 0:00:00尊敬的FUBT用戶: FUBT即將上線QIC寬客鏈,并支持USDT創新區交易 時間安排: 開放充幣時間:2020年3月17日10:00開放交易時間:2020年3月17日15:00開放提幣時間:2.
1900/1/1 0:00:00親愛的BKEXer: 自LT杠桿代幣專區上線以來,獲得了廣大用戶的青睞。為感謝大家的支持,BKEXGlobal?現決定舉辦“LT爭霸賽”活動,并設置iPhone11Pro、iWatch等豐厚大獎.
1900/1/1 0:00:00致社區: DO手續費回購政策將遵循DO無限通縮計劃規則執行,即所有采取解鎖交易模式的新幣、子幣手續費收入的50%用于在二級市場回購DO,使DO在銷毀后流通總量恒定的情況下,不斷減少二級市場供應.
1900/1/1 0:00:00