所有的合約都是不完整的。也就是說(shuō)，人類無(wú)法預(yù)見(jiàn)所有未來(lái)發(fā)生的事情，因此不可能識(shí)別和指定處理所有可能的偶然性。如果存在太多的不確定性，可能就不會(huì)發(fā)生對(duì)其他行業(yè)有利的交易。提高福利的不完整性解決方案是接受不完美的合約，但在出現(xiàn)意外結(jié)果時(shí)同意條款（如仲裁）。具體規(guī)定條款越困難，就必須給予仲裁員更多的自由裁量權(quán)。對(duì)于一些非常難以指定的合約，比如就業(yè)協(xié)議，可能沒(méi)有指定條款。相反，一套原則應(yīng)指導(dǎo)當(dāng)事人的行為，并賦予仲裁員重大的自由裁量權(quán)（盡管在法庭案件中以判例為指導(dǎo)）。人們普遍認(rèn)為，這種靈活性可以提高效率。

分散式合約

最新的創(chuàng)新——或者說(shuō)挑戰(zhàn)——在于區(qū)塊鏈分布式賬本技術(shù)。盡管加密貨幣是利用區(qū)塊鏈的首個(gè)備受矚目的應(yīng)用，但該技術(shù)支持“智能合約”（smart contracts）的能力，為革命性的商業(yè)互動(dòng)帶來(lái)了更大的潛力?！爸悄芎霞s”是指自動(dòng)執(zhí)行兩方協(xié)議條款的電腦化交易協(xié)議。以太坊區(qū)塊鏈就是一個(gè)例子。利用其專有編程語(yǔ)言的圖靈完備特性，可以編寫智能合約代碼（當(dāng)滿足指定的先決條件時(shí)，將在未來(lái)某個(gè)日期自動(dòng)執(zhí)行的指令），在附屬的以太坊虛擬機(jī)運(yùn)行時(shí)環(huán)境上運(yùn)行，該環(huán)境也承載了平臺(tái)的基本共識(shí)機(jī)制。

撤銷法院調(diào)解？

有人提出了智能合約的許多不同用途——例如在國(guó)際貿(mào)易中，買方向賣方付款，在提供發(fā)貨證明（例如，信使系統(tǒng)中記錄貨物離開(kāi)賣方的“智能傳感器”）時(shí)，買方支付給賣方可以自動(dòng)執(zhí)行。然而，一個(gè)特殊的問(wèn)題出現(xiàn)了，因?yàn)閰^(qū)塊鏈交易一旦發(fā)生就不可逆轉(zhuǎn)。如果貨物不是買方所期望的，或者不再需要，會(huì)發(fā)生什么？在現(xiàn)實(shí)世界中，此類事件可以通過(guò)法院或其他商定的仲裁程序出席。有人提出，智能合約的強(qiáng)大功能在于，還可以創(chuàng)建代碼來(lái)自動(dòng)解決爭(zhēng)議。例如，在以太坊區(qū)塊鏈上運(yùn)營(yíng)的Kleros使用區(qū)塊鏈技術(shù)和眾包陪審員以快速、安全、實(shí)惠的方式裁決糾紛。買方和賣方在同意最初交易的條款時(shí)，可以選擇在發(fā)生爭(zhēng)議時(shí)援引Kleros的決定。Kleros的決策不能逆轉(zhuǎn)原始交易，但它可以生成另一個(gè)預(yù)編程交易，以補(bǔ)償判定的輸家。

雖然Kleros解決這個(gè)問(wèn)題的方法似乎直觀上很有吸引力，但它提出了一些重要的問(wèn)題，涉及現(xiàn)實(shí)世界訂約的現(xiàn)實(shí)，在區(qū)塊鏈系統(tǒng)的代碼中能夠現(xiàn)實(shí)地捕捉意圖的程度，以及向這種安排邁進(jìn)是否會(huì)對(duì)合約法的性質(zhì)產(chǎn)生影響。

唯一確定的是不確定性

智能合約的困難之處在于，所有的條款和突發(fā)事件都必須事先指定并編碼到區(qū)塊鏈中。雖然有可能指定預(yù)期事件的偶然性（例如，博弈論中開(kāi)發(fā)智能合約算法和代碼的道德風(fēng)險(xiǎn)行為），但許多結(jié)果無(wú)法預(yù)測(cè)，而且超出了人類的控制。不能開(kāi)發(fā)代碼來(lái)處理參與者同意合約后將發(fā)生的事件。由于智能合約無(wú)法終止，最好的參與者所能期待的，是一個(gè)將損失降至最低、并公平分配損失的過(guò)程。

幾個(gè)世紀(jì)以來(lái)，人們一直相信，在現(xiàn)實(shí)世界中，法庭是由以原則而非明線規(guī)則為指導(dǎo)的人類管理的，可以將他們的智慧運(yùn)用到這類問(wèn)題上。他們的決定是最難轉(zhuǎn)化為簡(jiǎn)單規(guī)則和程序的事情之一，因?yàn)楸仨毧紤]到各種各樣的因素。Kleros等系統(tǒng)建議眾包仲裁機(jī)構(gòu)對(duì)直接由電腦生成的場(chǎng)景和證據(jù)進(jìn)行裁決，對(duì)一系列同樣由電腦生成的問(wèn)題和補(bǔ)救措施做出多數(shù)回應(yīng)。但是，對(duì)于無(wú)法預(yù)料的意外事件，或者當(dāng)事件提供了以前無(wú)法想象的選擇時(shí)，他們?nèi)绾文軌蜃龅竭@一點(diǎn)呢？這似乎是智能合約的最大弱點(diǎn)之一，除了最確定的結(jié)果外，它可能會(huì)阻礙所有人都使用這種合約。

然而，其他人則認(rèn)為，如果法律本身不是圍繞原則構(gòu)建的，而是使用更多的二進(jìn)制明線“是/否”、“輸入/輸出”和“可接受/不可接受”規(guī)則，那么智能合約和其他基于算法的應(yīng)用程序?qū)⒏軞g迎。Primavera De Filippi和Samer Hassan把這描述為從“代碼就是法律”到“法律就是代碼”的轉(zhuǎn)變，并認(rèn)為已經(jīng)有證據(jù)表明，法律在本質(zhì)上比原則更“規(guī)范”（說(shuō)明性）。也就是說(shuō)，唯一可接受的條款是由監(jiān)管機(jī)構(gòu)事先規(guī)定的條款（因此能夠在法規(guī)中加以規(guī)定），即有可能以各種不同的條件自由參與，查明違規(guī)情況，并在事后采取行動(dòng)，并由原則指導(dǎo)的法院作出裁決。如果這種情況發(fā)生，那么合約創(chuàng)新的激勵(lì)似乎就會(huì)減少。結(jié)果將更可預(yù)測(cè)，但不一定會(huì)提高福利。

回到主題

具有諷刺意味的是，更多地使用分散式的智能合約，似乎取決于某種程度的標(biāo)準(zhǔn)化，這種標(biāo)準(zhǔn)化更容易讓人聯(lián)想到預(yù)先設(shè)定的集中控制，而不是基于人類主導(dǎo)的法院事后決議的靈活系統(tǒng)。