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

分散式合約

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

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

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

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

唯一確定的是不確定性

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

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

然而，其他人則認(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ī)范”（說明性）。也就是說，唯一可接受的條款是由監(jiān)管機(jī)構(gòu)事先規(guī)定的條款（因此能夠在法規(guī)中加以規(guī)定），即有可能以各種不同的條件自由參與，查明違規(guī)情況，并在事后采取行動，并由原則指導(dǎo)的法院作出裁決。如果這種情況發(fā)生，那么合約創(chuàng)新的激勵似乎就會減少。結(jié)果將更可預(yù)測，但不一定會提高福利。

回到主題

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