合約設(shè)計(jì)的維度

經(jīng)濟(jì)學(xué)家在設(shè)計(jì)良好的合約中外永，強(qiáng)調(diào)兩個(gè)重要屬性：對(duì)當(dāng)事人的可觀察性件炉，對(duì)第三方包括審計(jì)者和仲裁者的可驗(yàn)證性缤谎。在合同法以及數(shù)據(jù)安全的目標(biāo)形成的慣例下炊汹，我們還能夠發(fā)現(xiàn)第三種目標(biāo)：相對(duì)性册着。 我們把合約設(shè)計(jì)的各個(gè)維度剝離出來拴孤，將精神耗費(fèi)的成本從交易的計(jì)算成本中分離出來，將可強(qiáng)制執(zhí)行性進(jìn)行分級(jí)甲捏，為合約的各個(gè)中間階段做出表征演熟，在三個(gè)設(shè)計(jì)目標(biāo)之間討論平衡的性質(zhì)。

心智耗費(fèi)和交易計(jì)算成本

智能合約所強(qiáng)調(diào)的成本司顿，被經(jīng)濟(jì)學(xué)家糊涂的混在了“交易成本”這個(gè)大口袋中芒粹。我們可以將之分解到心智耗費(fèi)及交易運(yùn)算成本中。

成本中的一個(gè)大類大溜，是預(yù)期化漆、同意、并清楚列出各種意外事件的成本钦奋。 這些大部分都是心智耗費(fèi)上的交易成本座云。比如說，在線搜索工具付材，就能給意外事件提供更多的信息朦拖。

大部分的合約爭議，都事關(guān)無法預(yù)料厌衔、難以認(rèn)清的意外事件璧帝。對(duì)此，我們?nèi)狈α己玫哪Ｐ汀?良好的模型富寿，應(yīng)該能夠?qū)深A(yù)見的意外計(jì)算成本睬隶，其中有些是難以計(jì)算的（所以也是無限的成本）锣夹。當(dāng)意外事件沒有完全確定清楚，那么合約就是不完整的理疙。

如果合約雙方?jīng)]有聚焦點(diǎn)晕城，那么他們就還沒達(dá)到“一致性的意見”。而議價(jià)過程就是要解決這個(gè)問題窖贤； 聚焦點(diǎn)相距越遠(yuǎn)（在價(jià)值角度）砖顷，則議價(jià)過程越昂貴。在議價(jià)上赃梧，存在很多種方法滤蝠，經(jīng)濟(jì)學(xué)家對(duì)這些方法進(jìn)行研究，并賦予其專門的名字“機(jī)制”授嘀。這些機(jī)制物咳，包括從簡單的討價(jià)還價(jià)蹄皱，到復(fù)雜的拍賣和交易巷折。

合約階段

對(duì)于合約的中間階段油吭，我們使用下面的范式，所用依據(jù)來自經(jīng)濟(jì)學(xué)中所用的兩階段模型：

事前
? ? ?調(diào)查
? ? ?議價(jià)
? ? ?承諾

事后
? ? ?執(zhí)行
? ? ?仲裁

智能合約，常常涉及可信的第三方蟹腾，類似中介，參與到合約執(zhí)行過程珊随。還包括仲裁者鲫凶，當(dāng)執(zhí)行過程中產(chǎn)生糾紛時(shí)艺晴，需要出面仲裁然评。 中介在調(diào)查、議價(jià)、承諾和執(zhí)行過程中纳像，都可能參與耙考。隱藏的知識(shí)斗遏，或者逆向的選擇，在事前發(fā)生枚碗。 隱藏的活動(dòng)（道德風(fēng)險(xiǎn)），在事后發(fā)生陌宿。

下面的例子舶得，是現(xiàn)代的電子商務(wù)活動(dòng)蝎亚，以及他們需要處理的合約過程:

EDI ? ? ? ? ? ? ? ? ? ? ? ? ?承諾、執(zhí)行

合同起草 ? ? ? ? ? ? ? ? ? 議價(jià)協(xié)商

網(wǎng)絡(luò)瀏覽 ? ? ? ? ? ? ? ? ? ?調(diào)查

付款 ? ? ? ? ? ? ? ? ? ? ? ? ? 執(zhí)行

在線交換 ? ? ? ? ? ? ? ? ? ? 調(diào)查个唧、議價(jià)江解、承諾

"我同意" 按鈕 ? ? ? ? ? ? ?承諾

本文覆蓋所有節(jié)點(diǎn)，并在執(zhí)行上重點(diǎn)論述徙歼。

可觀察性犁河，隱藏知情權(quán)，隱藏行為

智能合約設(shè)計(jì)的第一個(gè)目標(biāo)就是“可觀察性”魄梯，讓當(dāng)事人能夠觀察到彼此的合約執(zhí)行情況桨螺，或者能夠向?qū)Ψ降漠?dāng)事人證明自己的執(zhí)行情況。大概說來酿秸，會(huì)計(jì)領(lǐng)域的主要任務(wù)就是讓合同對(duì)組織來說灭翔，更加可觀察。

經(jīng)濟(jì)學(xué)家探討的“隱藏知情權(quán)”辣苏，也稱為“逆向淘汰”肝箱，在調(diào)查和議價(jià)階段，由于缺乏對(duì)潛在合作者的觀察能力稀蟋，就會(huì)發(fā)生煌张。另一個(gè)重要問題是“隱藏活動(dòng)”，也就是所謂的“道德風(fēng)險(xiǎn)”退客，在合約執(zhí)行階段骏融，如果缺乏可觀察性，或者缺乏合約退出機(jī)制，就會(huì)發(fā)生绎谦。

智能合約最重要的任務(wù)管闷，也是傳統(tǒng) EDI 所忽略的，而且是合約的核心屬性窃肠，“頭腦會(huì)議”至為重要：對(duì)涉及的各方包个，充分交流協(xié)議的語義。 在智能合約中冤留，有大量的機(jī)會(huì)可以設(shè)置“聰明的小字體”（意指將字體打印的很小碧囊，讓閱讀者忽略）：由軟件執(zhí)行的動(dòng)作，但對(duì)交易的某一方不可見纤怒。

下面是“聰明的小字體”的一個(gè)例子：

if (x == true) {

printf("x is false");

}

如果沒有用戶界面糯而，則智能合約大部分是不可見的，就像新型汽車引擎中的電子電路泊窘。這既是好事熄驼，也是壞事。從好的方面講烘豹，合同主體人無需跟麻煩的計(jì)算機(jī)打交道瓜贾。從壞的方面講，就是存在“聰明的小字體”這種隱藏動(dòng)作問題携悯。

要精準(zhǔn)的傳遞交易語義祭芦，我們需要針對(duì)合約的元素提出良好的可視化隱喻。這樣憔鬼，就能夠?qū)f(xié)議的細(xì)節(jié)隱藏起來龟劲，但對(duì)知情權(quán)和合約條款執(zhí)行的控制，又并不妥協(xié)轴或。例如昌跌，在將文件放入到信封時(shí)，可以進(jìn)行加密編碼侮叮，在給文件或者信封蓋章的時(shí)候避矢，可以使用數(shù)字簽名悼瘾。

在線可執(zhí)行性

在“信息戰(zhàn)爭”中的各種吹噓中囊榜，一個(gè)事實(shí)卻被忘卻，這個(gè)事實(shí)就是在網(wǎng)絡(luò)的世界中亥宿，無法進(jìn)行人身上的暴力卸勺。 不僅僅是暴力實(shí)施的人身傷害，也不能進(jìn)行逮捕烫扼、 關(guān)押和其他傳統(tǒng)的法律強(qiáng)制措施曙求。 由于這個(gè)事實(shí)，以及國際化的互聯(lián)網(wǎng)造成的司法困境，本文專注于防范違約及第三方的種種手段悟狱，而并不關(guān)注于法律強(qiáng)制手段静浴。

針對(duì)防范違約、竊取和干擾的安全手段挤渐，我們進(jìn)行了下面的分類：

預(yù)先
? ? ?- 讓違約行為不可能發(fā)生
? ? ?- 在對(duì)方違約時(shí)苹享，另一方可以退出，且損失最小

應(yīng)對(duì)
? ? ?威懾
? ? ?- 商譽(yù)
? ? ?- 物理強(qiáng)制
? ? ? ? 第三方: 侵權(quán)法律
? ? ?損失恢復(fù)
? ? ?- 抵押交易
? ? ?- 商譽(yù)
? ? ?- 物理強(qiáng)制
? ? ? ? ?當(dāng)事人: 合同法
? ? ? ? ?第三方: 侵權(quán)法律

當(dāng)前浴麻，安全軟件最流行的形式，不是預(yù)先防范的密碼學(xué)方式，而是被動(dòng)應(yīng)對(duì)桨嫁，全面檢查的方法强法，例如病毒掃描軟件，防火墻過濾膏萧，黑客追蹤等等漓骚。 一旦現(xiàn)代的密碼學(xué)協(xié)議廣為應(yīng)用，則天平將傾斜到預(yù)防性安全防范一邊榛泛。

仲裁者的可驗(yàn)證性

應(yīng)對(duì)模式的方法认境，依賴兩個(gè)因素： 可驗(yàn)證性和懲罰。 ?如同在會(huì)計(jì)控制一章中討論的那樣挟鸠，在理想的經(jīng)濟(jì)環(huán)境下叉信，驗(yàn)證失效的分布概率是已知的，所以艘希，就可以在驗(yàn)證成本和懲罰之間進(jìn)行平衡硼身。 但若是信息不充分，進(jìn)入司法陷阱覆享，又缺乏擔(dān)保和抵押佳遂，那么損失賠償?shù)那鍍斁蜁?huì)非常有限，遠(yuǎn)遠(yuǎn)不如依據(jù)傳統(tǒng)司法歸屬原則所簽訂的合同撒顿。 商譽(yù)的損失成本丑罪，在很多情況下，可能是唯一的懲罰凤壁。若要應(yīng)對(duì)模式的方法生效吩屹，高度可驗(yàn)證性是非常關(guān)鍵的。

所以拧抖，我們的第二個(gè)目標(biāo)就是可驗(yàn)證性煤搜，即賦予合同當(dāng)事人以能力，讓他能夠?qū)χ俨谜咦C明合約執(zhí)行良好或者合約已被違反唧席，或者給予仲裁者以能力擦盾，令其可以用其它方法查證合同執(zhí)行情況嘲驾。審計(jì)和調(diào)查的原則，大致上與合同執(zhí)行的驗(yàn)證相符迹卢。

相對(duì)性原則：針對(duì)第三方的防護(hù)

智能合約的第三個(gè)涉及目標(biāo)是相對(duì)性原則辽故，這個(gè)原則是指對(duì)合約內(nèi)容和執(zhí)行情況的了解和控制，必須僅只在必要的范圍內(nèi)傳播腐碱，以便合同能夠執(zhí)行下去榕暇。這個(gè)原則來源于合同相對(duì)性的普通法原則，該原則指出喻杈，除非是指派的仲裁和中介彤枢，第三方對(duì)于合約的執(zhí)行，無權(quán)發(fā)表意見筒饰。為了維持知情權(quán)和控制缴啡，執(zhí)行情況必須被密封：以防范來自外界的影響，尤其是復(fù)雜的攻擊瓷们。這個(gè)觀念來自于兩方面业栅，一方面是法律相對(duì)性的教義，它限制了合同的修改權(quán)力谬晕；另一方面是產(chǎn)權(quán)的觀念碘裕。

對(duì)相對(duì)性原則的攻擊，體現(xiàn)為第三方的監(jiān)聽者 Eve攒钳，她是無意獲取了內(nèi)容和執(zhí)行情況的人帮孔，還有惡意的 Mallet (Eve 和 Mallet 都是密碼學(xué)中常用來舉例的人名)。Mallet 是故意干擾執(zhí)行或者盜取服務(wù)的人不撑。在這種模型下文兢，隱私和機(jī)密，或者保護(hù)合約的價(jià)值信息焕檬、合約參與方姆坚、以及合約的執(zhí)行情況，免于 Eve的監(jiān)聽实愚，都可以歸于相對(duì)性原則兼呵，或者叫做產(chǎn)權(quán)。在網(wǎng)絡(luò)世界里腊敲，常用的定義“安全”击喂，大致和相對(duì)性原則的概念一致。

因此兔仰，我們廣泛意義上的相對(duì)性茫负，就包括了產(chǎn)權(quán)，將之視作與某種合約相聯(lián)系的穩(wěn)定對(duì)象（也就是類似合約中相對(duì)性的當(dāng)事人乎赴，即“所有者”）忍法。 相對(duì)性原則給出了清楚的邊界，邊界里面是一套完整的權(quán)利榕吼，責(zé)任饿序，以及用來執(zhí)行這些責(zé)任，并保護(hù)這些權(quán)利的知識(shí)羹蚣。清楚界定的邊界原探，也就厘清了責(zé)任。防范來自外界的干擾顽素，讓我們能夠?qū)⒇?zé)任聚焦到合約的當(dāng)事方咽弦，他們才應(yīng)該對(duì)合約相關(guān)活動(dòng)帶來的后果負(fù)責(zé)。

在合約設(shè)計(jì)的目標(biāo)之間平衡

相對(duì)性要求我們將第三方的影響降到最小胁出。 可驗(yàn)證性和可觀察性型型，常常要求我們調(diào)用它們。某些內(nèi)容和合約的執(zhí)行全蝶，要對(duì)中介公開闹蒜。某些內(nèi)容，以及合約的執(zhí)行歷史抑淫，要對(duì)仲裁者公開绷落，并信任仲裁者去解決糾紛，公平的執(zhí)行懲罰始苇。 在智能合約的設(shè)計(jì)中砌烁，我們希望最大化的利用中介和仲裁者，但最小化的對(duì)他們公開信息催式。 常見的結(jié)論是往弓，只在發(fā)生糾紛的時(shí)候，才去打破保密性蓄氧。

很多方面的執(zhí)行情況函似，是要對(duì)中介公開的。 我們必須能夠信任中介（信用代理喉童，殺毒軟件廠商撇寞，認(rèn)證中介，數(shù)字貨幣發(fā)行商堂氯，等等）蔑担，相信他們特定的聲明（關(guān)于商譽(yù)，危險(xiǎn)的代碼范式咽白，身份啤握，貨幣供應(yīng)量的保護(hù)，等等）晶框。如同里根總統(tǒng)在一個(gè)不同的場合所說的那樣排抬，“信任但是核查”懂从。為了保護(hù)我們的信任，中介必須說服我們他們的聲明是真實(shí)的蹲蒲。我們必須能夠去“檢測”他們的真實(shí)性番甩，驗(yàn)證某個(gè)聲明了的交易實(shí)際發(fā)生了。 在市場經(jīng)濟(jì)中届搁，存在的一個(gè)完整的職業(yè)來執(zhí)行這個(gè)功能：審計(jì)缘薛。

理想情況下，可觀測性和可驗(yàn)證性也包含這種能力卡睦，去區(qū)分有意違約和無心錯(cuò)誤這兩者宴胧。但實(shí)際上，在操作中是很困難的表锻，因?yàn)槟菂^(qū)別往往在于某種主觀的恕齐、無從知曉的個(gè)人意圖。