區塊鏈入門知識——智能合約

當今社會,執行合約需要耗費大量社會資源。比方說,A、B兩家公司簽訂合同,後來A違反合同條約,導致B損失重大。B想要拿回屬於自己的東西,於是向法院起訴。就算B打官司贏了,判決書生效後,他還需要向法院申請強制執行,包括立案,提供財產線索……整個流程下來,每個參與人都很憔悴,尤其是本來就是受害方的B。

而智能合約能讓這一切變得簡單很多。智能合約和上述傳統合約的區別,就在於“智能”,不涉及人類主觀想法,一切皆代碼。

那麼,什麼是智能合約呢?我們簡單來了解一下。

智能合約(英語:Smart contract )是一種旨在以信息化方式傳播、驗證或執行合同的計算機協議。

智能合約允許在沒有第三方的情況下進行可信交易,這些交易可追蹤且不可逆轉。智能合約概念於1994年由Nick Szabo首次提出。

智能合約的目的是提供優於傳統合約的安全方法,並減少與合約相關的其他交易成本。

可以把智能合約看作是電子版的合同,是數字化時代的產物。

傳統的合同,有兩個缺點,一個是:合約是由人來執行的,但是人可以被七情六慾、三姑六婆所影響,可以隨時耍賴違約,第二個是:為了防止對方不承認,通常要請一個第三方可信機構參與到合約中來,這個就是中介。例如需要收取高額佣金的房產中介。

而智能合約,是由計算機系統來執行的,並且是去中心化的計算機網絡系統,任何人不可以篡改合約內容。去中心化的系統是沒有七情六慾也沒有三姑六婆,沒有後門可以走,也就不用擔心合約得不到執行了,這樣就連第三方中介也省去了。

自然而然,中介費和中介時間也都省去了。智能合約還可以用於許許多多行業節省大量的人力物力,這就是智能合約的價值。

智能合約是“執行合約條款的計算機交易協議”。區塊鏈上的所有用戶都可以看到基於區塊鏈的智能合約。但是,這會導致包括安全漏洞在內的所有漏洞都可見,並且可能無法迅速修復。

這樣的攻擊難以迅速解決,例如,2016年6月The DAOEther的漏洞造成損失5000萬美元,而開發者試圖達成共識的解決方案。DAO的程序在黑客刪除資金之前有一段時間的延遲。以太坊軟件的一個硬分叉在時限到期之前完成了攻擊者的資金回收工作。

以太坊智能合約中的問題包括合約編程Solidity、編譯器錯誤、以太坊虛擬機錯誤、對區塊鏈網絡的攻擊、程序錯誤的不變性以及其他尚無文檔記錄的攻擊。

部署智能合約的案例有:

以太坊在其區塊鏈上實施了一種近乎圖靈完備的語言,這是一個突出的智能合約框架。

區塊鏈入門知識——智能合約


分享到:


相關文章: