比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > 非小號 > Info

炒幣:智能合約其實并不智能 ?_比特幣

Author:

Time:1900/1/1 0:00:00

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

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

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

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

聲音 | 趙東:不是炒幣的料所以不炒 創業是我擅長干的事情:DGroup創始人趙東發微博稱,我炒過幣,才知道靠炒幣賺錢有多難,我自認為不是炒幣的料,所以不炒幣,創業是我擅長干的事情。僅此而已。也不是幣圈齷齪,群體本就是愚昧的,只要有人帶節奏,永遠不缺起哄的。但你要是跟傻子理論,自己也會被變成傻子,還是一笑而過吧。[2019/7/24]

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

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

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

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

動態 | 二三四五涉嫌炒幣再添新證:代理商合作授權書浮出水面:據財聯社報道, 二三四五(002195.SZ)區塊鏈項目近期陷入涉嫌發幣炒幣、用戶維權等風波。上述風波仍在繼續發酵。財聯社記者日前獲得了一份代理商合作授權協議書。這份協議顯示,此前被二三四五否認存在關聯的代理商——天津中優正網絡科技有限公司,的確是章魚星球京津冀晉遼總代理。而此前二三四五對此予以否認。[2018/12/24]

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

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

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

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

金色財經現場報道 快的打車創始人陳偉星:以后沒那么多機會炒幣:金色財經現場報道,在4月3日舉辦的2018年世界區塊鏈峰會現場,快的打車創始人陳偉星表示,區塊鏈發展肯定每一年都會有進步,但是五年會是一個很大的進步,最終要實現到股權的多貨幣體系里面,可能還需要二十年或者更久。但是每五年度,都會有一個很巨大的進步。肯定不是現在大家看到的炒幣,以后沒那么多機會炒幣,估計炒幣也是機器人炒,人炒不過機器人。股市肯定不是現在的狀態,最終我們一定能找到區塊鏈可以用來解決什么問題。[2018/4/3]

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

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

但是這里還有兩個問題:

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

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

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

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

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

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

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

Tags:區塊鏈比特幣以太坊ETH區塊鏈運用的技術中不包括哪一項比特幣行情圖分析ETH以太坊今日行情Ethereum Royalty

非小號
炒幣:比特幣有價值有信用 但離錢還很遙遠_區塊鏈

比特幣最新幣值高達2.7萬余元。而第一筆可查的比特幣交易為1萬個比特幣才能兌換兩張比薩優惠券。瘋漲的幣值引來瘋狂的追捧.

1900/1/1 0:00:00
MoliEX交易所關于OTC商戶招募公告_DAO

尊敬的用戶: Moliex交易所OTC致力于為全球有數字資產兌換需求的用戶提供一個可信賴的第三方媒介平臺,將于近期上線,敬請留意。現面向全球招募OTC實力商家.

1900/1/1 0:00:00
關于注冊賬戶將贈送HET活動公告_ETB

尊敬的Hetbi用戶: 為了回饋廣大Hetbi社區用戶一直以來對Hetbi的支持,Hetbi自2020年03月17日20:30開啟邀請好友和新用戶注冊hetbi賬戶,贈送HET活動.

1900/1/1 0:00:00
冠狀病危機可能會造成監視病狀態與加密貨幣行業之間的重疊_GRO

據報道,以向沙特阿拉伯和其他政府出售間諜軟件而聞名的以色列科技公司NSOGroup正在研究一種新產品,該產品可用來監測冠狀病的傳播,目前有近十二個國家正在測試該軟件.

1900/1/1 0:00:00
Coinfloor CEO:大型投資者面臨的流動性危機是導致比特幣近腰斬的原因之一_OIN

3月22日消息,在最新一期的播客中,Coinfloor的首席執行官ObiNwosu稱,大型投資者面臨的流動性危機是導致比特幣價格下跌近50%的原因之一.

1900/1/1 0:00:00
HomiEx上線NIRX,注冊送\"奈拉\"_ALPH

親愛的用戶: HomiEx紅米交易所即將上NIRX并支持交易對:NIRX/USDT 具體開放時間如下: 開放充值時間:3月24日15:00開放提現時間:3月25日15:00開放交易時間:3月25.

1900/1/1 0:00:00
ads