一、智能合約的起源
彼特·托德（Peter Todd）是比特幣核心開(kāi)發(fā)者之一。他總結(jié)了智能合約（Smart contract）的現(xiàn)狀，認(rèn)為“智能合約討論的結(jié)論是：沒(méi)有人理解智能合約究竟是什么。如果我們要實(shí)施智能合約，應(yīng)該需要預(yù)言機(jī)（oracles）”。
確實(shí)，要想闡明智能合約的理念和本質(zhì)并非易事。
我們從智能合約理念的起源開(kāi)始。“智能合約”概念由計(jì)算機(jī)科學(xué)家、加密大師尼克·薩博（Nick Szabo）于1993年左右提出來(lái)。1994年他寫成了《智能合約》（Smart contracts）論文，是智能合約的開(kāi)山之作。
尼克·薩博對(duì)智能合約的闡述以一個(gè)自動(dòng)售貨機(jī)的例子開(kāi)始。我們可以認(rèn)為智能合約的原始祖先，是不起眼的自動(dòng)售貨機(jī)。在經(jīng)過(guò)潛在的、損失有限的評(píng)估后，自動(dòng)售貨機(jī)使錢箱里的錢遠(yuǎn)遠(yuǎn)少于破壞者付出的代價(jià)。售貨機(jī)根據(jù)顯示的商品價(jià)格收取投幣，通過(guò)一個(gè)簡(jiǎn)單的機(jī)制形成了最初的計(jì)算機(jī)設(shè)計(jì)科學(xué)，并且有限自動(dòng)、根據(jù)投幣金額傳遞變化和產(chǎn)品。自動(dòng)售貨機(jī)是一種搬運(yùn)合約：任何持有硬幣的人都可以與供應(yīng)商交易。鎖定錢箱和其他安全機(jī)制保護(hù)售貨機(jī)儲(chǔ)藏的硬幣和貨物不被破壞，從而支撐在各種各樣的區(qū)域部署自動(dòng)售貨機(jī)，并且產(chǎn)生盈利。
在自動(dòng)售貨機(jī)概念的基礎(chǔ)上，尼克·薩博給出智能合約的定義如下：
“智能合約超越了自動(dòng)售貨機(jī)中嵌入各種有價(jià)屬性的范疇，通過(guò)數(shù)字方式控制合約。智能合約涉及具有動(dòng)態(tài)性、頻繁主動(dòng)執(zhí)行屬性的財(cái)產(chǎn)，且提供更好的觀察和驗(yàn)證點(diǎn)，其中主動(dòng)積極的措施必須絲毫不差?！?/p>
尼克·薩博告訴我們的是，智能合約本質(zhì)上的抽象概念是在個(gè)人、機(jī)構(gòu)和財(cái)產(chǎn)之間形成關(guān)系的一種公認(rèn)工具，是一套形成關(guān)系和達(dá)成共識(shí)的協(xié)定。智能合約的條款（如抵押品、產(chǎn)權(quán)劃分等）可以嵌入到處理硬件和軟件中，以這樣的方式使違約成本非常昂貴（甚至令人望而卻步）。例如，為房屋而設(shè)計(jì)出的數(shù)字保障智能合約，根據(jù)智能合約設(shè)計(jì)策略，持續(xù)完善房屋抵押品協(xié)議以便其更充分地嵌入到處理合約條款中。根據(jù)合約條款，這些協(xié)議將使加密密鑰完全控制在具有操作屬性的人手中，而此人也將正當(dāng)?shù)負(fù)碛性摲课葚?cái)產(chǎn)。最簡(jiǎn)單地，為了防止偷竊，使用者需要完成正確的解鎖過(guò)程，否則房屋將切換至不可使用狀態(tài)，比如門禁失效和設(shè)施失效等。在傳統(tǒng)方式中，如果房屋被用做還貸，有一個(gè)令債權(quán)人頭痛的問(wèn)題是很難查收賴賬的房屋，需要通過(guò)頻繁溝通才能收回房屋鑰匙等。為了解決這一問(wèn)題，我們可以創(chuàng)建一個(gè)智能扣押權(quán)協(xié)議：如果物主不交費(fèi)，智能合約調(diào)用扣押權(quán)協(xié)議，把房屋鑰匙的控制權(quán)交給銀行。該協(xié)議可能會(huì)比雇傭追債人更便宜、更有效。
同時(shí)，尼克·薩博提出了智能合約的三要素：
①一把可以允許業(yè)主同時(shí)排除非法第三方的鎖；
②一個(gè)允許債權(quán)人秘密接入的后門；
③后門只在違約且沒(méi)有付款的一段時(shí)間被打開(kāi)；最后的電子支付完成后將永久地關(guān)閉后門。
從本質(zhì)上講，這些智能合約的工作原理類似于計(jì)算機(jī)程序的if-then語(yǔ)句。智能合約以這種方式與真實(shí)世界的財(cái)產(chǎn)進(jìn)行交互。當(dāng)一個(gè)預(yù)先定義的條件被觸發(fā)時(shí)，智能合約就執(zhí)行相應(yīng)的合同條款。尼克·薩博關(guān)于智能合約的工作理論遲遲沒(méi)有實(shí)現(xiàn)，是因?yàn)槿狈μ焐軌蛑С挚删幊毯霞s的數(shù)字系統(tǒng)。如果金融機(jī)構(gòu)仍然需要手動(dòng)批準(zhǔn)資產(chǎn)的轉(zhuǎn)移，那么智能合約的目標(biāo)就沒(méi)有實(shí)現(xiàn)。瑞波實(shí)驗(yàn)室的市場(chǎng)和交易主管菲利·拉波波特（Phil Rapoport）說(shuō)，“實(shí)現(xiàn)智能合約的一大障礙是現(xiàn)在計(jì)算機(jī)程序不能真正地觸發(fā)支付”。區(qū)塊鏈技術(shù)的出現(xiàn)和被廣泛使用，正在改變阻礙智能合約實(shí)現(xiàn)的現(xiàn)狀，從而使尼克·薩博的理念有了實(shí)現(xiàn)的機(jī)會(huì)。智能合約技術(shù)現(xiàn)在正建立在區(qū)塊鏈基礎(chǔ)之上，因?yàn)閰^(qū)塊鏈本身就是一個(gè)計(jì)算機(jī)程序，智能合約能夠與它進(jìn)行交互，就像它能與其他程序進(jìn)行交互一樣。
在已提出智能合約理念的基礎(chǔ)上，結(jié)合近幾年區(qū)塊鏈技術(shù)的不斷發(fā)展，我們將試圖給出對(duì)智能合約更為具體和詳細(xì)的闡述。
二、智能合約的定義
智能合約是一套以數(shù)字形式定義的承諾，承諾控制著數(shù)字資產(chǎn)并包含了合約參與者約定的權(quán)利和義務(wù)，由計(jì)算機(jī)系統(tǒng)自動(dòng)執(zhí)行。
承諾定義了智能合約的本質(zhì)和目的。以一個(gè)銷售合約為例：賣家承諾發(fā)送貨物，買家承諾支付合理的貨款。數(shù)字形式意味著合約需要被寫入計(jì)算機(jī)可執(zhí)行的代碼中，只要參與者達(dá)成協(xié)定，智能合約建立的權(quán)利和義務(wù)，就由一臺(tái)計(jì)算機(jī)或者計(jì)算機(jī)網(wǎng)絡(luò)執(zhí)行。
我們舉個(gè)簡(jiǎn)單的例子，形象化地描述智能合約。
If Event_X_Happened:
Send(愛(ài)麗絲, 1000$)
Else:
Send(鮑伯, 1000$)
意思是：如果事件X發(fā)生，則合約給愛(ài)麗絲發(fā)送1000美元；否則，給鮑伯發(fā)送1000美元。
這就是最簡(jiǎn)單的合約。
如圖4-1所示是一個(gè)智能合約模型示意，其中各組成部分的定義如下。
①合約參與者：執(zhí)行智能合約的相關(guān)參與者。
②合約資源集合：智能合約執(zhí)行涉及的參與者資源，比如參與各方賬戶、擁有的數(shù)字財(cái)產(chǎn)等。
③自動(dòng)狀態(tài)機(jī)：智能合約下一步執(zhí)行的關(guān)鍵，包括當(dāng)前資源狀態(tài)判斷、下一步合約事務(wù)執(zhí)行選擇等。
④合約事務(wù)集合：智能合約的下一步動(dòng)作或行為集合，控制著合約資產(chǎn)并對(duì)接收到的外界信息進(jìn)行回應(yīng)。
圖4-1 智能合約模型示意圖
智能合約程序不只是一個(gè)可以自動(dòng)執(zhí)行的計(jì)算機(jī)程序，它本身就是一個(gè)系統(tǒng)參與者，對(duì)接收到的信息進(jìn)行回應(yīng)，可以接收和儲(chǔ)存價(jià)值，也可以向外發(fā)送信息和價(jià)值。這個(gè)程序就像一個(gè)可以被信任的人，可以臨時(shí)保管資產(chǎn)，總是按照事先的規(guī)則執(zhí)行操作。
智能合約的實(shí)現(xiàn)需要底層協(xié)議支持，選擇哪個(gè)協(xié)議取決于許多因素，最重要的因素是在合約履行期間被交易資產(chǎn)的本質(zhì)。再次以銷售合約為例。假設(shè)參與者同意貨款以比特幣支付，選擇的協(xié)議很明顯將會(huì)是比特幣協(xié)議。在此協(xié)議上，智能合約被實(shí)施。因此，合約必須要用到的數(shù)字形式就是比特幣腳本語(yǔ)言。比特幣腳本語(yǔ)言是一種非圖靈完備的、命令式的、基于棧的編程語(yǔ)言。
