ART:觀點 | 不完全合約與區塊鏈擴展

編者注：本文引述了合約經濟學領域著名的“不完全合約”理論，雖然有生搬之嫌，但在論述自動化與擴展的關系時不乏洞見。另外，該文中的“scale”和“scalability”也沒有明確的定義，但如果這種模糊性可以給我們帶來更多見解，也許不妨維持這種模糊性。

在分析不同的區塊鏈項目時，我們可借助合約理論的視角。該法學領域有一句格言：“除了最簡單的合約，所有合約都是不完全的。”也就是說，合約安排不可能預見到所有可能發生的事態，因為合約所協調的人類事務總是復雜且瞬息萬變的。

因為具體合約的不完整性，合約的運行必然依賴于意料之外的事態發生之時的重新談判，這些意料之外的事項比如公司破產、監管變化甚至是細枝末節上的簡單變化。一旦出現這些情況，締約雙方往往需要像法律系統這樣的第三方來居中調解，雖然調解的結果仍是難以預料的。因此，合約總是與對未知事態的處理、合約雙方激勵以及治理權聯系在一起。

觀點：FCA加密衍生品禁令保護消費者，但不夠成熟:昨日，英國金融市場行為監管局(FCA)禁止加密貨幣期貨和交易所交易票據的決定生效。自律貿易組織CryptoUK主席Ian Taylor對這一決定發表了評論，他稱監管機構顯然把重點放在了消費者保護上，這是合情合理的。衍生品允許使用杠桿，使投資者能夠放大收益，但同樣也放大損失。FCA擔心，散戶投資者可能面臨重大損失和波動，他們可能不會完全升值。然而，FCA對零售加密衍生品投資者的描述不夠成熟。FCA本可以選擇更嚴格的杠桿限制，而不是全面禁止。（Cointelegraph）[2021/1/7 16:40:02]

但是，只要我們接受了“合約即是決策邏輯，可類比為計算機程序”這一觀念，我們就可以像合約理論分析合約那樣、思考不同類型的智能合約和區塊鏈項目以及它們的可擴展性。

先做個思想實驗：我們把區塊鏈項目分成兩類：一類致力于打造“完全合約”，另一類則由于自身的復雜性，只能是“不完全合約”。雖然這樣區分顯然過于簡單了，但我們這樣做的目的是凸顯出這些項目如何可能實現擴展。

觀點：比特幣大漲之年過后仍被看漲，但可能面臨監管審查:在線交易平臺eToro的美國董事總經理Guy Hirsch稱：“盡管比特幣漲勢如虹，但前方也有一些暴風云，”包括特朗普政府在卸任前采取的行動。德意志銀行調查發現，大多數受訪者看漲2021年的比特幣，41%受訪者的目標價是20000-49999美元，12%預測將升穿10萬美元。資管公司CoinShares的首席戰略官Demirors認為，拜登政府對加密貨幣的潛在影響令人關切。“總的來說，民主黨會帶來挑戰，他們傾向于加強監管和監督，”Demirors表示。許多策略師和投資者表示，在拜登入主白宮后，該行業可能會受到更多審查和更嚴格的監管。（金十）[2020/12/28 15:50:03]

先來定義一下那些是“完全合約”的項目。這類項目的目標是實現一個端到端的系統，盡可能減少對主觀解釋、重新談判以及外部治理的需要。在編程技術中，這類系統的目標是“自建立之始即妥當的”。比特幣的工作量證明挖礦就是這樣一個系統。比特幣的完全性來自于其可驗證的計算過程：確定性的哈希算法，加上硬編碼的博弈激勵機制。這兩者合作無間，讓整個系統朝向一條符合形式的區塊鏈而不斷運動，同時也盡可能減少了對主觀解釋或者說外部治理的需要。

觀點：比特幣仍處于一種新資產類別的“誕生”階段:10月19日，宏觀投資者Dan Tapiero發布推文稱，距離比特幣成熟還為時尚早。比特幣仍處于一種新資產類別的“誕生”階段。而據其發布的Statista數據，只有7%的美國人使用過比特幣。[2020/10/19]

以太坊也符合這個條件，因為以太坊網絡中的工作量證明也是相似的。在以太坊上開發的應用程序也連帶地繼承了這種“完全性”，而且可以延伸這種完全性、創造出自動化的軟件應用。其中一個例子是Uniswap，這是一個設計巧妙的代幣交易所，其邏輯和激勵機制都完全編碼為不可更改的智能合約。硬編碼在合約中的激勵機制，使得做市商自愿參與進來，在完全沒有持續的中心化運營者的條件下打開了流動性的網絡效應。

在上述所有例子中，完全性都是與自動化聯系在一起的。一個設計完備的系統可以無需人為干預而自動運行。NickSzabo的著名觀點是：這類自動化系統具備“社會可擴展性”，因為它們的協作機制提供了一種保障，能維持參與者的數量乃至吸引他人參與。最小化外部的主觀因素影響減少了協調活動的復雜性，并讓整個系統能夠隨著成員增加而擴展。

觀點：比特幣可以幫助環境移民旅行和定居:比特幣支持者、金融分析師Max Keiser發推稱，由于全球生態系統變得越來越難以預測，有時對人類也越來越不友好，人為造成的氣候變化越發嚴重。環境移民已經開始尋找環境更好的地方居住，而比特幣可以幫助他們旅行和定居，因為比特幣現在在歐洲、亞洲和美國的許多地方都被接受了。他聲稱，黃金也可以用于同樣的目的，但比特幣更容易攜帶和大量運輸。此外，BTC不能被當局沒收，也不能被強盜取走。（U.Today）[2020/8/22]

存在于這個“完全合約”世界里的項目，其設計空間必然是受限的。因為，能夠通過自動化來實現可擴展性的工作，僅限于那些可以用計算機確定性地驗證的那些工作。如果說計算機程序即合約即決策邏輯，則這類程序一般都要求輸入的決策是數字化的、可量化的，或者說是機器可讀的。

我們先從那些幾乎完整的計劃入手。這些計劃致力于打造端對端的系統，力求降低主觀解釋、再協商和外部管理的可能性。在軟件術語中，這類系統所追求的目標被稱為“構建的正確性”。比特幣工作量證明式系統正是這類系統。比特幣的完整性歸功于其驗證運算的函數，該函數具有確定性的哈希算法和硬編碼博弈論激勵。這些因素只為產出一條避免人為干預或受外部決定影響的鏈。

觀點：比特幣因其供應上限而成為改變世界的發明:人權基金會首席戰略官Alex Gladstein今日發推稱，比特幣之所以是一項改變世界的發明，而不僅僅是“有趣的科技”，原因在于供應上限。“稀缺性”是突破。如果一小部分人使其通貨膨脹，價值支柱就會很快消失。顯然，很少有人理解這一點。[2020/8/9]

那什么是“不完全合約”項目呢？不完全合約項目就是那些需要動態、主觀的輸入來維持其運行、很難用計算來驗證并自動化的項目。

MakerDAO就是這樣一個項目。雖然Maker的大部分邏輯都是確定性地運行在以太坊上的，但它在小部分關鍵領域保留了“不完全”的屬性，即，它要求參與者動態地調整參數來維持穩定幣Dai的價格錨定及其底層的抵押品率。今時今日，設定這些參數的工作過于復雜，因此很難自動化；相反，它是由社區投票來決定參數的。

類似地，MolochDAO是一個致力于促進以太坊基礎設施建設的協會，他們也是用投票來決策的，比如選擇誰可以加入這個協會、哪個項目可以得到他們的資金支持。雖然投票結果是由智能合約得出來的，Moloch的組織架構非常地“不完全”，因為組織架構的輸入包括復雜而不可量化的輸入，比如榮譽、社會資本、項目可行性；這些輸入都要經過人類的主觀解讀才有意義。

雖然這些項目可以適應變化，但它們無法通過自動化來實現擴展。而且，拿投票來作為協調機制，可能遭遇“人越多越拖拉”的風險。因此，“不完全合約”項目需要別的方式來實現社會可擴展性。

概括一下：

“不完全合約”項目：治理和擴展

如果“不完全”的合約依賴于人為決策，那么它們會怎樣復制比特幣和以太坊的成功呢？又怎么在規模上超過這些先行者呢？有人認為可像在相互合作的企業中那樣，通過代理人來治理，并用所有權來保證決策者的激勵相容。從歷史上看，隨著時間推移，最成功的合作組織已經融入了與公司類似的層級決策模式：股東專門指派一支管理團隊來代表他們的利益并作出日常決策。這比事事都要全體投票更具擴展上的優勢。其它像維基百科這樣的社區支持的項目也發展出了基于社區信譽的結構性治理模型。雖然層級式治理體系與彌漫在圈子中的去中心化文化格格不入，但對于多數復雜的、正在開發的“不完全”合約項目來說，這可能是更可行的一條路。

“不完全合約”項目可行嗎？

人們常常批評“不完全”的系統——這些系統沒有充分利用底層計算平臺的確定性或者“免信任”的優點。但我想主張：原生于區塊鏈的屬性仍將為不完全合約提供強大的新工具：

價值分發能力。因為區塊鏈把價值分發變得像信息分發那樣簡單，區塊鏈計算機讓社區可以創立業務原生于網絡的初創公司，并且股東的所有權和表達權可以默認是一致的。

用于組織經營的確定性流程，比如指定具有權威來做決策的代理人、觸發獎金、轉移資金，等。

隨時退出的能力。因為我們可以復制代碼，這就降低了遷移到競爭產品上的成本

一般而言，有趣的項目適應能力強、能演變，會給人帶來驚喜。我總預感著，在區塊鏈上構建的最有趣的項目會是“不完全的”。也許我們最終會證明，“不完全合約”是不是充分利用了底層平臺來執行其商業邏輯，并不那么重要；更重要的是，這些基于區塊鏈的組織是否充分利用了高效的組織可擴展性模型。軟件不可能一步到位地解決所有合約的完全性問題，但可以有所幫補——而且，通過代幣來實現所有權，社區就可以克服啟動問題、促進創新。

原文鏈接:

https://medium.com/dydxderivatives/getting-started-with-dydx-part-2-borrowing-d7d1236a572d

作者:EverettHu

翻譯&校對:ViolaH&阿劍

你可能還喜歡：

干貨|USV:胖協議觀點|智能合約被忽視的一面科普|Cosmos區塊鏈的工作原理，Part-1：比較Cosmos與比特幣、以太坊

Tags：比特幣區塊鏈以太坊ART比特幣價格今日行情價格美元區塊鏈游戲幣拍賣以太坊幣最高價格是多少人民幣SmartCash

LTC