基本介紹
- 中文名：智慧型契約
- 外文名：Smart contract
- 出現時間：1995年
- 提出者：尼克·薩博（Nick Szabo）
術語簡介,數字形式,協定,安全問題,案例,流行文化,參見,
術語簡介
“智慧型契約”（Smart contract）這個術語至少可以追溯到1995年，是由多產的跨領域法律學者尼克·薩博（Nick Szabo）提出來的。他在發表於自己的網站的幾篇文章中提到了智慧型契約的理念，定義如下：
“一個智慧型契約是一套以數字形式定義的承諾（commitment），包括契約參與方可以在上面執行這些承諾的協定。”
數字形式
數字形式意味著契約不得不寫入計算機可讀的代碼中。這是必須的，因為只要參與方達成協定，智慧型契約建立的權利和義務，是由一台計算機或者計算機網路執行的。
更進一步地說明：
（1）達成協定
智慧型契約的參與方什麼時候達成協定呢？答案取決於特定的智慧型契約實施。一般而言，當參與方通過在契約宿主平台上安裝契約，致力於契約的執行時，契約就被發現了。
（2）契約執行
“執行”的真正意思也依賴於實施。一般而言，執行意味著通過技術手段積極實施。
（3）計算機可讀的代碼
另外，契約需要的特定“數字形式”非常依賴於參與方同意使用的協定。
協定
協定是技術實現（technical implementation），在這個基礎上，契約承諾被實現，或者契約承諾實現被記錄下來。選擇哪個協定取決於許多因素，最重要的因素是在契約履行期間，被交易資產的本質。
再次以銷售契約為例。假設，參與方同意貨款以比特幣支付。選擇的協定很明顯將會是比特幣協定，在此協定上，智慧型契約被實施。因此，契約必須要用到的“數字形式”就是比特幣腳本語言。比特幣腳本語言是一種非圖靈完備的、命令式的、基於棧的程式語言，類似於Forth。
安全問題
智慧型契約是“執行契約條款的計算機交易協定”。區塊鏈上的所有用戶都可以看到基於區塊鏈的智慧型契約。但是，這會導致包括安全漏洞在內的所有漏洞都可見，並且可能無法迅速修復。
這樣的攻擊難以迅速解決，例如，2016年6月The DAOEther的漏洞造成損失5000萬美元，而開發者試圖達成共識的解決方案。DAO的程式在黑客刪除資金之前有一段時間的延遲。以太坊軟體的一個硬分叉在時限到期之前完成了攻擊者的資金回收工作。
以太坊智慧型契約中的問題包括契約編程Solidity、編譯器錯誤、以太坊虛擬機錯誤、對區塊鏈網路的攻擊、程式錯誤的不變性以及其他尚無文檔記錄的攻擊。
案例
部署智慧型契約的案例有：
- 以太坊在其區塊鏈上實施了一種近乎圖靈完備的語言，這是一個突出的智慧型契約框架。
- RootStock(RSK) 是一個智慧型契約平台，通過側鏈技術連線到比特幣區塊鏈。 RSK兼容為以太坊創造的智慧型契約。
