-
智能合約
鎖定
智能合約(英語:Smart contract )是一種旨在以信息化方式傳播、驗證或執行合同的計算機協議。智能合約允許在沒有第三方的情況下進行可信交易,這些交易可追蹤且不可逆轉。智能合約概念於1994年由Nick Szabo首次提出
[5]
。
智能合約的目的是提供優於傳統合約的安全方法,並減少與合約相關的其他交易成本。
智能合約術語簡介
“智能合約”(Smart contract)這個術語至少可以追溯到1994年
[5]
,是由多產的跨領域法律學者尼克·薩博(Nick Szabo)提出來的。他在發表於自己的網站的幾篇文章中提到了智能合約的理念,定義如下:
智能合約數字形式
數字形式意味着合約不得不寫入計算機可讀的代碼中。這是必須的,因為只要參與方達成協定,智能合約建立的權利和義務,是由一台計算機或者計算機網絡執行的。
更進一步地説明:
(1)達成協定
智能合約的參與方什麼時候達成協定呢?答案取決於特定的智能合約實施。一般而言,當參與方通過在合約宿主平台上安裝合約,致力於合約的執行時,合約就被發現了。
(2)合約執行
“執行”的真正意思也依賴於實施。一般而言,執行意味着通過技術手段積極實施。
(3)計算機可讀的代碼
智能合約協議
協議是技術實現(technical implementation),在這個基礎上,合約承諾被實現,或者合約承諾實現被記錄下來。選擇哪個協議取決於許多因素,最重要的因素是在合約履行期間,被交易資產的本質。
再次以銷售合約為例。假設,參與方同意貨款以比特幣支付。選擇的協議很明顯將會是比特幣協議,在此協議上,智能合約被實施。因此,合約必須要用到的“數字形式”就是比特幣腳本語言。比特幣腳本語言是一種非圖靈完備的、命令式的、基於棧的編程語言,類似於Forth。
[2]
智能合約安全問題
智能合約是“執行合約條款的計算機交易協議”。區塊鏈上的所有用户都可以看到基於區塊鏈的智能合約。但是,這會導致包括安全漏洞在內的所有漏洞都可見,並且可能無法迅速修復。
這樣的攻擊難以迅速解決,例如,2016年6月The DAOEther的漏洞造成損失5000萬美元,而開發者試圖達成共識的解決方案。DAO的程序在黑客刪除資金之前有一段時間的延遲。以太坊軟件的一個硬分叉在時限到期之前完成了攻擊者的資金回收工作。
智能合約案例
部署智能合約的案例有:
- 以太坊在其區塊鏈上實施了一種近乎圖靈完備的語言,這是一個突出的智能合約框架。
智能合約流行文化
Karl Schroeder的2002年小説“Permanence”提出了一種“權利經濟”,其中所有的物理對象都有合同要求的納米標記,這樣就可以對專有信息的所有用途實施付款,例如,深空軍事任務必須不斷證明每艘船舶的效益比率否則將停止工作。
[3]
智能合約合約特點
規範性。智能合約以計算機代碼為基礎,能夠最大限度減少語言的模糊性,通過嚴密的邏輯結構來呈現。內容及其執行過程對所有節點均是透明可見的,後者能夠通過用户界面去觀察、記錄、驗證合約狀態。
不可逆性。一旦滿足條件,合約便自動執行預期計劃,在給定的事實輸入下,智能合約必然輸出正確的結果,並在顯示視界中被具象化。
不可違約性。區塊鏈上的交易信息公開透明,每個節點都可以追溯記錄在區塊鏈上的交易過程,違約行為發生的幾率極低。
智能合約參見
- 參考資料
-
- 1. Thomas Bocek. Digital Marketplaces Unleashed. Springer-Verlag GmbH. 2017-09-15: 169-184. ISBN 978-3-662-49274-1.
- 2. 什麼是智能合約? .巴比特[引用日期2016-06-25]
- 3. Tapscott, Don; Tapscott, Alex. The Blockchain Revolution: How the Technology Behind Bitcoin is Changing Money, Business, and the World. May 2016: 72, 83, 101, 127. ISBN 978-0670069972.
- 4. 今日熱搜丨智能合約 .澎湃網[引用日期2022-05-02]
- 5. 原創|智能合約的前世今生與刑事風險 .百家號-新浪財經官方賬號[引用日期2022-12-10]