第三個人物是維塔利克·巴特林(Vitalik Buterin),他是一個90后,17歲開始研究
比特幣,18歲創辦了《Bitcoin Magazine》雜志,并發表了很多觀點性文章,成為當時很有影響力的一位意見領袖。當他看到由于比特幣系統功能過于固化,導致眾多山寨幣系統泛濫,因此提出要做“下一代智能合約和去中心化應用平臺”,并發起了
以太坊(Ethereum)項目,受到眾多人追捧。
這所謂“下一代智能合約”,實際上就是“支持圖靈完備的智能合約”。
一個支持圖靈完備的智能合約模型,是這么樣一個東西:
●它是建立在
區塊鏈技術(Blockchain)或分布式賬本技術(DLT)基礎上;
●它即可以從外部接收交易(Transaction)和事件(Event),也能夠對外輸出交易或事件;
●它在內部即保存了合約價值(Value),還保存了合約狀態(State);
但是,智能合約支持圖形完備性,有利也有弊。
●優點是靈活和方便,可以討好去中心化應用(Dapp)的開發人員。開發人員很容易寫出一個智能合約,實現滿足具體業務場景的上層應用。
●缺點則是在于過度靈活和方便,帶來的復雜性。由于針對開發人員友好,它內部可以容納極大的復雜性,因此,也就需要一個復雜的環境來執行,比如以太坊虛擬機EVM等。
復雜性帶來惡劣的效果,就是低效和不安全。
●復雜性通常意味著低效。一方面是在單節點環境下的執行低效。例如簡單計算一個哈希值,在以太坊EVM虛擬機中執行的時間,要比直接執行慢約50倍。另一方面,智能合約執行不是僅僅執行一次,而是需要在所有的區塊鏈全節點上都從頭到尾地重復執行。
●復雜性永遠是安全的敵人。在復雜的分布式場景下,圖靈完備的智能合約本身以及智能合約執行環境中,都可能隱含這未知的安全性問題。之前介紹圖靈完備的概念是,我們知道,圖靈完備的計算機語言是可以互相模擬的,因此,我們常見的C/C++、Java、C#、Python等計算機編程語言的源代碼,理論上都可以翻譯成圖靈完備的智能合約。但是,當我們如果去問任一位軟件工程師,“能否保證自己開發的軟件程序沒有缺陷(BUG),沒有安全問題呢?”,你就會發現,誰也不敢拍著胸脯保證這些。
版權申明:本內容來自于互聯網,屬第三方匯集推薦平臺。本文的版權歸原作者所有,文章言論不代表鏈門戶的觀點,鏈門戶不承擔任何法律責任。如有侵權請聯系QQ:3341927519進行反饋。