區塊鏈:智能合約在司法體系中的應用

感謝OpenLaw對本文進行校對，并對智能合約應用于司法體系的前景提供深刻洞察。智能合約能夠實現無紙化流程，由于其采用了去中心化的架構，因此可以保障合約內容無法被篡改，并實現商業流程的全自動化。雖然智能合約具有如此巨大的商業價值，但它是否具有法律約束力呢？為了找到這個問題的答案，我們探究了法律協議的本質，以及將傳統法律協議轉型成智能合約的途徑。從技術上理解傳統合約如何向智能合約轉型，不僅有助于看清智能合約的法律地位，還有助于更好地思考其未來發展方向。傳統法律協議概述

康奈爾法學院對于合約的定義如下：“由各方創建的協議，協議約定了各方義務，并受到法律約束。具有法律效力的合約在多數司法管轄區內具有以下幾個特征，即：1.經各方同意，不存在脅迫或強迫的情況；2.各方表示愿意對合約做出承諾；3.經過了充分考慮；4.合約各方具有一定能力；5.具有合法性。”大部分法律合約是基于行業標準模板撰寫的，并根據實際需求做出適當調整。企業不會為每一筆交易起草新合約，而是會在行業模板中添加具體條款或制定一套定制化協議，作為此類商業行為的基礎模板。如今大多數法律文件都是紙質版或PDF電子版文檔，分別儲存在文件柜或計算機硬盤中。紙質版合約需要各方親筆簽名才能生效；而電子版合約與紙質版具有同樣特征，唯一的不同是電子版只需電子簽名即可生效。Chainlink的CEOSergeyNazarov曾多次指出，如今的傳統合約是一場概率游戲，合約各方有可能會履行合約按時付款，也有可能會有意或無意地違背合約承諾。對手方如果違約，那么則會導致現金流緊張、成本上漲、預算偏差、法律訴訟等各種各樣的問題。

flash.sx閃電貸智能合約遭攻擊，項目方發起提案更改黑客EOS賬號權限以轉回資產:官方消息，EOS Nation旗下閃電貸被黑客攻擊后，項目方發起提案直接更改了黑客EOS賬號權限轉回資產。據悉，項目方發起的提案，把黑客地址權限改成了BP，BP通過后執行。此前消息，flash.sx閃電貸智能合約遭攻擊，120萬EOS和46.2萬USDT被盜。[2021/5/15 22:05:44]

傳統合約之所以具有不確定性，是因為在過程中需要各方交替操作才能執行和交割合約。合約一方需要等待另一方做出操作，并信任對方能按時完成操作，然后必須對其操作進行驗證。因此，在整個過程中雙方需要多次通過郵件或電話溝通，并可能會耍心機，試探彼此的底線，或給對方施壓。大企業可能會欺壓小供應商，延遲付款。跨國合約中也存在類似的對手方風險，企業會拖延時間甚至違約。由于國際訴訟成本高昂且過程復雜，此類糾紛很難得到圓滿解決。逐漸向智能合約過渡

智能合約是在去中心化網絡中運行的數字合約，具有高確定性、可靠性和防篡改性。一旦雙方或多方就合約條款達成一致意見，就可以將全部或部分合約編成代碼，發送至共享的基礎架構中進行儲存、維護、執行和交割。合約通過分布式賬本*在共享基礎架構中運行，為合約各方都帶來了全新的價值。*注：分布式賬本主要指區塊鏈，但也可能是有向無環圖，DAG是一個不基于區塊鏈的分布式賬本，由于其獨特的共識算法而具有更高的可擴展性。分布式賬本是運行和儲存合約的后端系統，合約結果完全受數據驅動，因此具有高確定性。合約各方無須等待對手方進行操作、驗證操作或手動輸入數據，整個流程可以完全自動化。智能合約還可以在接收到合約事件數據后，依照代碼自動維護合約、輸入數據、執行合約并進行交割。合約任何一方都沒有權力控制基礎架構或數據，因此各方必須履行合約義務并且無法篡改合約結果。

Acala Contributor Yuzhu : Acala 正致力于沖破智能合約沙箱:據官方消息，幣贏CoinW《共識52》第九期《Polkadot的進化之路——Acala能否掀起下一輪DeFi熱潮?》主題AMA主題中Acala Contributor Yuzhu講到:

目前市面上的智能合約僅僅只是一個封閉的沙箱，合約與鏈本身擁有一定的屏障，正如以太坊 EVM 所發行的 ERC-20 資產或是 Dapp 是無法直接用于以太坊原鏈本身的。而此前 Acala 已經添加了智能合約模塊，Acala 團隊正致力于沖破 EVM 封閉的智能合約沙箱，讓基于 Acala 上層智能合約所構建的 Dapp 能與 Acala 原鏈本身的穩定幣 aUSD 以及其他內置模塊相互兼容，為未來基于 Acala 網絡中的各式各樣的上層 DeFi 應用打好堅實的基礎。[2020/11/19 21:22:46]

OpenLaw在最近一篇文章中指出：“OpenLaw通過智能合約，將傳統法律協議變成了結構化的可計算文件，即可以讀寫與交互的數據對象。因此，法律協議不再是文件柜里厚重的文件，也不再是無法破解的Word或PDF文檔，而是可以輕松操作的軟件。簡而言之，智能合約就像是可編程軟件，儲存在數據驅動的共享框架下，并具有去中性化的特征。那么，我們來比較一下傳統的國際貿易合約與智能合約到底有何不同。合約條款：歐洲制藥企業諾華和美國零售企業Walgreens簽署合約，規定Walgreens向諾華購買藥品，在滿足下述條件時即支付費用：1）貨物按時送達2）數量符合合約規定3）貨物送達時完好無損。貨物從諾華送往Walgreens的過程涉及到幾個中間環節，其中包括第三方檢察員、海關、貨運公司以及融資企業。主流合約：雙方就合約內容達成一致意見，并多次傳真收集雙方代表親筆簽名。兩家企業與各自銀行對合約進行評估，并備份紙質或電子版文件。由于缺少統一數據接口，貨物經過每一個環節時雙方都需要多次查看確認。物流運輸過程中每一個環節，紙質版文件都需要在多個運營平臺之間多次轉手，某些環節還需要手工輸入數據并進行驗證。這樣做不僅大幅降低了流程效率并增加了協調成本，而且還容易產生誤解和糾紛。智能合約：雙方就智能合約內容達成一致意見，并附上電子簽名。將合約上傳至區塊鏈，直到合約最終交割為止。合約過程中每一個環節都使用電子簽名、WebAPI以及物聯網設備，將相關數據直接上傳至智能合約，并使用私鑰簽名。一旦數據證明所有合約條件都滿足，那么智能合約就會自動放款，因此在合約整個執行過程中雙方都無法進行任何干預。從傳統法律合約到智能法律合約

聲音 | IOHK首席執行官：智能合約模型已被打破:IOHK首席執行官Charles Hoskinson在最近的一次采訪中表示，在加密貨幣領域有一大群人要么認為PoS是龐氏騙局，要么認為Cardano的獨特風格是有缺陷的。現在智能合約模型已被打破，“人們認為整個應用程序都在區塊鏈上，”但事實上，這是一個面向服務的體系結構。（Ambcrypto）[2020/1/21]

國際掉期和衍生品協會與國際律所Linklaters曾共同發布過一份文件，指出：“法律協議可以分成兩個部分，一部分是操作性條款，另一部分是非操作性條款。”操作性條款指合約的具體行為，比如：如果發生車禍，則申請理賠；如果理賠申請被判定真實有效，則根據保險條款進行理賠。智能合約完全可以替代此類操作性條款，因為計算機代碼可以表示“如果x發生則執行y”的布爾邏輯。正如OpenLaw所言，要實現從傳統合約到智能合約的轉型，需要三大核心要素：1.嵌入智能合約的區塊鏈或DAG，儲存合約條款，并在滿足條件的情況下執行合約。另外，還可以用私鑰簽名，并記錄全部過程，供合約各方和監管方追蹤審查。可以運行智能合約的區塊鏈平臺包括以太坊、Hedera、Polkadot和Tezos。2.內嵌數據庫和工具的法律軟件，創建并部署各種法律文件模板。這些模板能夠將法律合同的關鍵內容編寫成標準化的代碼。OpenLaw在最近發布的一篇名為《智能合約堆棧》的文章中指出，這樣做可以創建IanGregg所謂的“李嘉圖合約”OpenLaw和Clause等初創企業目前可以提供這種軟件，Clause還建立了一個名為Accord項目的基金會，致力于開發法律文件模板。3.預言機將鏈上智能合約連接至原生區塊鏈以外的系統。智能合約可以連接至webAPI、物聯網和云端等鏈下數據流，觸發合約執行；連接至銀行、金融科技或其他區塊鏈等任意支付系統，以在鏈下進行合約交割；連接至第三方機構，向其輸出交易元數據，以供監管、審計和分析。預言機還可以驗證合約執行和交割所需的數據，以提高數據質量。Chainlink是領先的標準數據層，可連接鏈上和鏈下兩個世界。

現場 | 以太坊行業峰會第一場圓桌 如何應對智能合約安全問題:金色財經9月8日現場報道，Loi Luu (KyberNetwork 創始人)、Shawn Douglass

(Amberdata 聯合創始人兼CEO)、Jay Zhou (Loopring Protocol 聯合創始人)、Alan Li (FBG X 研發部負責人)、Antoine Cote (Enuma Technologies 聯合創始人兼CEO) 參與了討論，嘉賓們一致認為，由于智能合約涉及資產交易且不可篡改，一旦發生安全問題將引起資產嚴重受損，關注智能合約安全是必要的。Loi Luu指出,區塊鏈行業項目方，需要為開發者設立預警機制。開源代碼要引入第三方檢測，避免犯一些顯而易見的錯誤。

Jay zhou認為，需要更有經驗的開發者去開發用戶易用、以人為本的合約，同時也有必要引入交叉審計。

Shawn Douglass說：“因為智能合約的不可篡改性，在程序員開發前，就必須告知開發者未來可能造成的后果，特別是在涉及資產的領域必須確保事前萬無一失甚至考慮保險。”

Antoine Cote表示，可以在早期時候引入懸賞機制讓黑客或者社區成員共同發現漏洞。大家討論后得出共識，每一個開發者都必須在開發速度和安全性之間做一個平衡。在區塊鏈領域，注重安全和責任心是必須的。[2018/9/8]

非操作性條款的作用是為合約各方的法律關系創建語境，比如本體和形式語義。根據劍橋大學出版社的定義，“形式語義是研究語義的一種方式，根植于邏輯學、語言哲學以及語言學。”斯坦佛法學院的法律設計實驗室主任瑪格麗特?哈根認為本體“為某一領域中所有人事物、概念和關系建立了清晰的結構，為該領域所有人制定了一套語言體系，并且統一了與計算機的交互方式。”

阿里巴巴曾鳴：當前智能合約的應用還非常簡單:近日，阿里巴巴學術委員會主席曾鳴在公開演講中表示，區塊鏈要創造價值必須跨過的四個坎：1.現在區塊鏈能實現的，只是“記賬”的可信，還只是人對機器的相信，而不是人對人的相信；2.信任的問題是讓市場繁榮的關鍵，如何用去中心化的方式解決信任問題，是個必須跨過去的坎；3.以太坊一直在強調“智能合約”，但其實也只實現了一種非常簡單的應用即眾籌，而真正的合約，制定和執行過程都是非常復雜的, 很依靠人的智能；4.區塊鏈的本質是實現大規模的社會化協同，目前除比特幣外，目前還沒有看到更好的機制設計。[2018/5/12]

兩者可以合二為一——形式語義可以定義合約中文字和概念的邏輯關系，而本體則可以建立清晰的結構并提供某一領域的背景知識，將法律概念之間的關系加以分類。舉個例子，形式語義可以為“誠信”這個詞賦予特定的解釋，而本體則可以識別與這個詞相關的司法管轄區、法律、數據庫和法庭案例。非操作性條款較難簡化成純粹的代碼邏輯。一些文字無法完全用代碼表述出來，比如“誠信”這個詞，它背后連帶著個人主觀的理解或相關背景知識，因此就容易出現問題。智能合約可以迫使合約各方將一些可能由理解不同而產生分歧的點事先約定清楚，這是一個進步，而且隨著機器學習的不斷發展，智能合約會變得越來越聰明跟靈活。然而，在一些情況下則沒必要使用智能合約，因為成本可能會過于高昂。遇到這些需要主觀判斷的條款，就需要法院介入解決分歧了。有必要指出，智能合約不會徹底消除法律訴訟，而是會大幅減少訴訟案件。由于智能合約具有高確定性，可以自動執行并驗證各方是否履約，因此還可以大幅降低運營成本。智能合約的法律地位

卡多佐法學院發布過一篇名為《智能合約與法律可執行性》的研究報告，報告中指出：“由于智能合約是創新技術，因此其代碼是否具有可執行性仍待美國法院評估。所幸，各州已經生效的各項法律可以驗證智能合約是否具有可執行性，如反詐騙法、統一商法典、全國和全球商務電子簽名法以及基于統一電子交易法的各項州立法等。雖然智能合約獲得法律地位仍然任重道遠，但許多法學專家都相信現存的電子簽名和電子合約/交易法律可以應用于智能合約，保障其法律可執行性。要驗證智能合約是否具有法律可執行性，就必須研究其在法律文件中的具體表示方式，其中可分為外部表示和內部表示。ISDA和LinkLaters共同發布的文檔中對此作了具體闡述。外部表示

外部表示指合約雖然真實存在且用自然語言撰寫，但其中一些有關操作條款的商業邏輯仍可通過智能合約處理。合約代碼與合約本身相互獨立，因此代碼不具有法律約束性。在這個模式中，如果代碼觸發的交易對象有誤，那么就存在明確的法律判例，可以對交易對手方提起訴訟并最終獲勝。因此這個模式為早期的智能合約提供了一定糾錯空間。智能合約的外部表示通常是“請求——允許”模式，比如生成事件數據，而非直接觸發付款。舉個例子，智能合約基于當前利率生成債券付款請求，而非直接觸發券商付款給債券持有者。甚至可以在區塊鏈上發起請求，并以加密的方式驗證時間、付款金額、參與方和事件數據等，而且這些數據可以在法庭上作為呈堂證供。這種模式最適合產權或其他所有權合約，但我們仍需探究它與傳統的數字化合約是否具有本質區別，因為在這個模式中，一方仍需等待對手方做出交割付款的操作。

內部表示

智能合約的內部表示仍然是由自然語言撰寫，但合約部分內容會引用某段代碼，因此被引用的代碼具有法律約束性。在這個模式下，智能合約產生的結果將具有法律約束性，即使結果出現錯誤也被“允許使用”，因為操作條款的底層代碼是具有約束力的。由于合約代碼具有法律效力而且涉及到所有權轉讓，因此合約各方必須派出懂技術的人員事先審核代碼以及合約運行的平臺。然而，當有充分證據證明錯誤發生時，就會出現法律判例，推翻智能合約的結果。智能合約的內部表示將實現合約的“自動執行”，事件數據可以直接觸發付款。Chainlink已成功對智能債券合約結合SWIFT網絡的應用進行了概念驗證。智能債券合約根據前五家銀行的平均利率自動執行，之后在SWIFT網絡中觸發支付消息，從合約執行到交割完全無須人為干預。未來發展方向

雖然智能法律合約領域已經有了許多開拓性的嘗試，但這個領域仍處于發展初期，要實現大規模應用還需解決許多關鍵問題。標準

智能合約要在行業中實現大規模應用，首先需要解決的問題就是建立行業標準。需要統一法律合約的編程語言，讓律師可以輕松起草和查看具有法律約束性的智能合約代碼。因此，必須采用李嘉圖合約，輕松將計算機編程語言轉換成自然語言。如果不能做到這一點，那么每家律所就必須雇傭技術人員。然而，智能合約可以用許多不同的標記語言編寫，因此來自不同項目或不同司法管轄區的律師很難看懂協議條款。所以統一智能合約編程語言或開發通用的轉換工具是實現全球范圍應用的唯一途徑。可信模板

智能合約與目前主流合約一樣，都需要建立可信模板，輕松將信息導入并根據實際情況做出調整。OpenLaw和Clause這樣的初創企業都在Accord項目中用標記語言設計便于使用的開源合同模板。企業和行業專家將不斷完善這些模板，直到市場找到最安全、合規且符合要求的模板。一旦制定了適用于簡單商業流程的智能合約基礎模板，就會接著涌現出更為復雜靈活的模板。訴訟程序

必須建立正式的法律訴訟程序以處理智能合約糾紛。現在許多政府部門和法律聯盟組織都在討論處理此類法律糾紛所需的訴訟程序和法律判例。隨著日后出現越來越多此類訴訟和判決，該領域會得到進一步發展。不同司法管轄區的法律解釋可能存在差異，但最終判決仍應依據統一的訴訟程序，并為市場釋放清晰信號。德國耶拿大學國際私法系教授GieselaRühl表示：“智能合約與普通合約一樣，都需要獲得法律解釋。因此，關鍵問題不是智能合約是否應該遵守法律，而是它們應該遵守什么樣的法律。”數據安全

由于數據直接觸發后續操作，而且一切依照代碼執行，因此數據質量至關重要。如果合約繼續向數據驅動和自動執行的方向發展，那么就需要提高目前數據安全和驗證的標準。由于單一預言機會出現單點失效問題，會導致系統攻擊和宕機風險，所以自動執行的智能合約必須要建立去中心化的預言機網絡。Chainlink為法律智能合約提供了一套可靠的工具，確保數據輸入和輸出是經過驗證且無法篡改的。將傳統合約轉型成具有法律約束力的自動化合約

全世界都在往大規模自動化的方向發展。現在人工智能替代人力勞動的話題被廣泛討論，除此之外，智能合約也在加快自動化的進程，通過各種去中心化開源協議進入主流應用場景。智能合約將大幅削減法律交易中繁重的后臺工作量。智能合約得到企業和個人大規模應用的最后一個壁壘就是建立具有法律效力的統一標準，這方面目前已經取得了巨大進展。Linklaters等律所正在與ISDA緊密合作，為金融衍生品智能合約制定法律標準；全球法律區塊鏈聯盟和數字商會也在聯手與各個利益攸關方就法律標準達成共識。一旦標準制定完成，智能合約就將更好地幫助協調各方工作流程，大幅提升速度降低成本。新的去中心化驗證模式也會推動建立無需信任的社會，在這個社會中，你可以與任何人展開交易而無須擔心對手方風險。

Tags：區塊鏈ALAACACAL區塊鏈通俗易懂的例子gala幣最新消息ACA幣值得購買嗎ethical

FTX