前言
無心插柳柳成蔭
——技術“錯誤”與智能合約的誕生

人類的技術進步看似必然，其實伴隨許多的偶然，甚至是“錯誤”，難能可貴的是總有一群人孜孜以求，不斷地抓住每一個機會，*終開創(chuàng)了新的天地。
智能合約的出現(xiàn)也是如此，它的出現(xiàn)離不開歷史上的三個“錯誤”，并且改變了計算法學的歷史，甚至改變整個法學。
第*個“錯誤”發(fā)生在1994年，尼克·薩博（Nick Szabo)提出了智能合約的概念，被許多人稱為智能合約之父。不僅如此，根據(jù)許多國外紀錄片和文章，以及對尼克·薩博的許多演講進行分析，2019年筆者在《比特幣的發(fā)明者“中本聰”到底是誰？》中提到
，其非�？赡芫褪潜忍貛诺膭�(chuàng)始人中本聰�！綵W(】參見蔡維德：《比特幣的發(fā)明者“中本聰”到底是誰？》，載微信公眾號“天德信鏈”2019年1月4日�！綵W)】當時有能力做這項技術而且還沒有被排除的只剩一人，就是尼克·薩博�？墒撬�不會承認，如果承認，他可能會因為發(fā)行貨幣而面臨牢獄之災——和他同期發(fā)行貨幣的朋友后來在美國被判刑且入獄。而且如果他承認，還可能需要支付大量的稅金，因為比特幣從開始到高點暴漲至少百萬倍（有報道說千萬倍），他如果要補稅（需要加恐怖的利息），這會是天文數(shù)字。
尼克·薩博既是律師又是計算機工程師。在1994年寫了一篇文章，提出了“智能合約”這個概念。如果大家去讀這文章，會發(fā)現(xiàn)里面有創(chuàng)新思想，但是沒有提出關于系統(tǒng)的設想。這個名詞非常好聽，但是這篇文章卻存在許多漏洞。
尼克·薩博將智能合約定義為：“一個智能合約是一套以數(shù)字形式定義的承諾（promises），包括合約參與方可以在上面執(zhí)行這些承諾的協(xié)議�！敝悄芎霞s就是任何能自行執(zhí)行部分功能的協(xié)議。例如，股票交易后需要支付資金，這可以用智能合約完成。上述定義的第*個重點是協(xié)議或是合同，第二個重點是自動化執(zhí)行。
但是問題馬上來了。這個“數(shù)字形式定義的承諾”是法院認可有法律效用的合同？顯然不是。就算法院認為是，這些計算機語言可以保證執(zhí)行正確的指令？數(shù)據(jù)來源是不是正確？計算是不是正確？誰可以驗證協(xié)議是不是正確？如果出錯，哪個單位應該負責？如果出問題，是協(xié)議出了問題？還是執(zhí)行出了問題？還是數(shù)據(jù)出了問題？因為在計算機端，算法可以正確，代碼也可以正確，但是如果使用不正確的數(shù)據(jù)，還是會出錯。就算數(shù)據(jù)正確，但是支持系統(tǒng)出了問題，例如，網(wǎng)絡（斷網(wǎng)就是一個例子）或是數(shù)據(jù)庫出了問題，還是會有問題。訴諸法院，誰可以判定由誰負責？法官和律師可能都不懂計算機語言，也不懂智能合約，不了解計算機和網(wǎng)絡系統(tǒng)。
這一連串的問題都沒有解釋，所以這次只是提出了一個概念或是想法，這個概念就是“可執(zhí)行的協(xié)議”，但是沒有解決實際問題。
一直到19年后，一個年輕人出現(xiàn)，再一次改變了歷史。這是歷史上的第二個“錯誤”。這個“錯誤”是什么？這個年輕人認為，只要把代碼放在區(qū)塊鏈上運行，該代碼就成為“智能合約”。這是什么邏輯？代碼放在區(qū)塊鏈上運行，就成為合法合規(guī)的合約？在法庭上，法官可以用該合約判斷是非？代碼運行在區(qū)塊鏈上和原來定義的“智能合約”沒有任何關系，原來還假設可以是合同，這里連合同這一概念都不需要了，只要是代碼，運行在區(qū)塊鏈上，就是“智能合約”。
值得注意的是，這個年輕人的確在建設智能合約。他的成果是讓智能合約使用區(qū)塊鏈上的數(shù)據(jù)以及把智能合約結果存放在區(qū)塊鏈上。區(qū)塊鏈上的數(shù)據(jù)是非常難更改的，所以數(shù)據(jù)放在區(qū)塊鏈上“有機會”可以成為有法律效力的證據(jù)。這是因為在法律上，沒有更改過的證據(jù)才有法律效力，而區(qū)塊鏈具有這樣的特性。因此，這樣的代碼“有機會”可以成為智能合約。但是使用“有機會”成為證據(jù)的數(shù)據(jù)，并不代表其就是具有法律效力的證據(jù)，而且代碼和合同差距太大。這樣的智能合約機制距離實際可計算的合同還是非常遙遠。
2015年，筆者在北京航空航天大學和這個年輕人進行了交流，直接表明他的想法太過樂觀。這個年輕人也同意，但是他認為如果不叫“智能合約”，這個機制便賣不出去。這就是在歷史上，包括創(chuàng)始人（年輕人）和評論人（筆者）都認為是錯誤的名詞，卻被保留下來。
這個年輕人就是以太坊的創(chuàng)始人維塔利克·布特林（Vitalik Buterin），一個少年天才。維塔利克說得對，“智能合約”這個名詞響亮得多，比“鏈上代碼”好。鏈上代碼實際是學術名詞，是正確名詞，但是大家都不喜歡（后來維塔利克在2018年10月公開表示他后悔使用這一名詞，因為他開發(fā)的系統(tǒng)的確和法律沒有關系）。
以太坊也是公認的世界上第*個智能合約系統(tǒng)，而尼克·薩博只是提出了這一名詞。后來智能合約的發(fā)展是根據(jù)以太坊的路線（和李嘉圖合約模板）�，F(xiàn)在智能合約如果沒有運行在區(qū)塊鏈上，根本沒有機會成為有法律效力的協(xié)議。
第三個“錯誤”的出現(xiàn)則是真有人相信以太坊的智能合約是“智能”的“合約”，還在2016年開啟了一個大項目The DAO。當時這個項目大受歡迎，融資上億美元。這真是個歷史上的一個認知大錯誤�！睹绹�銀行家》（American Banker）雜志連續(xù)發(fā)表文章批評這個項目，認為是胡鬧，該智能合約并不合法，全世界沒有國家承認這是有法律效力的合同,而且也不智能。2016年筆者撰文《兩種選擇，兩種結構——The DAO事件的反思》也對這一事件進行了討論。
就是在這種環(huán)境之下，項目出了紕漏。出了紕漏后需要追責，The DAO項目方和以太坊都有法律責任，以太坊是技術提供方，技術出了問題也需要負責。于是他們只好退錢給投資人。問題在于沒有國家承認“智能合約”是有法律效力的合同，既然沒有合同，這個項目就沒有法律依據(jù)，必須退錢。
經歷這三個“錯誤”后，人們應該對“智能合約”技術說再見了吧？
結果正好相反，世界開始擁抱智能合約。大家承認以前的錯誤，但是可執(zhí)行的代碼在法律上的革命卻是真實的，而且必定改變世界。
但是這一次世界不再愚蠢，世界開始走上正確的路線：
第*，研究智能合約的法律問題，目標是建立一個可執(zhí)行的法律體系來支持“可執(zhí)行的合同”。這屬于法律范疇，而且會影響到立法、司法和執(zhí)法。
第二，研究如何驗證智能合約軟件，如何設計，如何和區(qū)塊鏈交互。這屬于計算機范疇的工作。
并且這兩個方向必須是交互的，不能單獨獨立出來，不能把計算機和法律分離。
例如，筆者在2019年的《智能合約三個重要原則》一文中提出了“三原則”：（1）數(shù)據(jù)完全來自區(qū)塊鏈；（2）計算結果有共識；（3）計算結果完全存在區(qū)塊鏈上。加上這“三原則”，智能合約會更加進步。
首先，數(shù)據(jù)來源如果有法律效力，而且存在區(qū)塊鏈上,沒有被更改過，智能合約就可使用正確的數(shù)據(jù)來計算，這是第*步。另外，智能合約不能使用沒有存在區(qū)塊鏈上的數(shù)據(jù)，以保證數(shù)據(jù)來源正確。
其次，現(xiàn)在智能合約在多服務器上執(zhí)行，執(zhí)行后，結果必須有共識，減少計算錯誤，這是第二步。假如沒有遵守這一原則，沒有共識，直接認為計算正確，可能導致不正確的計算結果存在區(qū)塊鏈上。
*后，計算結果如果一致，結果完全存在區(qū)塊鏈上，避免被更改，以增加數(shù)據(jù)可以成為有法律效應的證據(jù)的可能性，這是第三步。注意，計算結果必須完全記錄在區(qū)塊鏈上，保證結果可以完全地保留下來，沒有減少，沒有被更改。如果有部分結果沒有存在區(qū)塊鏈上，就有可能證據(jù)出問題。
這些看起來簡單的原則，卻可以提高智能合約成為有法律效力的協(xié)議的可能性。另外，數(shù)據(jù)上鏈也是重要問題，需要由預言機來解決。
當然，這些還不夠，還需要大量算法、模型、代碼、系統(tǒng)開發(fā)和驗證，而且這些不只需要計算機學者的驗證，也需要法官、律師、法學家的驗證。
有了區(qū)塊鏈、智能合約三原則、預言機和大量驗證，智能合約終于有機會成為有法律效力的協(xié)議。當可執(zhí)行的協(xié)議有法律效力的時候，改變是巨大的。因為以前合同從來不是“可執(zhí)行的代碼”，都是自然語言（如中文）�，F(xiàn)在計算機語言可以成為合同，而法規(guī)也可以計算機化，這將改變立法、司法和執(zhí)法。這是人類第*次開始考慮使用計算機語言來表述合同和法規(guī)，是一次歷史性的改革。
智能合約和傳統(tǒng)計算法學（Computational law）大不相同，以前是利用這些工具來分析法律，如使用大數(shù)據(jù)、自然語言處理、軟件工程、機器學習等來分析查詢法規(guī)和案例�，F(xiàn)在面對的是可執(zhí)行的法律，意義上有了巨大差異。分析是輔助，執(zhí)行卻是在第*線上工作，計算機從輔助走到第*線工作。
英國法律委員會（Law Commission）作為一個獨立修法的機構，在2018年正式提出在英國法律中考慮使用智能合約和區(qū)塊鏈，并且認為這會增加英國在數(shù)字經濟上的競爭力。在2019年英國法律協(xié)會研究智能合約后發(fā)表法律聲明支持智能合約（見本書第二部分的討論）。中國也是一樣，在2018年開始探討使用區(qū)塊鏈和智能合約來執(zhí)法，保存證據(jù)。就從這一年開始，人類法學歷史被改變了。因其重要性，筆者在2018年提出這是一個區(qū)塊鏈中國夢，記錄在《區(qū)塊鏈中國夢之三：法律的自動執(zhí)行將顛覆法學研究、法律制度和法律實踐》一文中。
可以預想，區(qū)塊鏈上的智能合約可以建立信任、可編程、不可篡改等特性，可靈活嵌入各種數(shù)據(jù)和資產，幫助實現(xiàn)安全高效的信息交換、價值轉移和資產管理，*終有望深入變革傳統(tǒng)商業(yè)模式和社會生產關系，為構建可編程資產、系統(tǒng)和社會奠定基礎，對于中國以及世界將會有著非常重要的意義。