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

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

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

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

觀點：攻擊者地址12億枚aUSD尚未轉移，Acala或通過公投進行回滾:8月14日消息，Cryptolingo DAO 創始人、推特用戶 @IamJulianaC 在社交媒體上發文表示，Acala 使用 Honzon Fungibility Pallet 使 aUSD 在 Acala 和 Karura 之間進行流通。Honzon 協議的創建是為了讓 aUSD 作為原生 Stablecoin 和流動性來源，跨越 Polkadot 和 Kusama 多鏈生態系統。

由于該協議出現漏洞，攻擊者地址（26JmEcghNmggvT46sojckg34Py9zFRKkCcFy3gr49hrFgT2k）能夠轉移超 10 億枚 aUSD。

據猜測，Acala 已經阻止該錢包轉移資產。攻擊者地址中的 12 億枚 aUSD 尚未離開 Acala 鏈，且 Acala 很有可能通過公投進行回滾。Acala 團隊尚未證實 iBTC/aUSD 池和 Honzon 協議漏洞之間的關系。[2022/8/14 12:24:28]

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

觀點：YFII等去中心化產品的優勢在于沒有準入許可和隱私危機:Primitive Ventures創始合伙人萬卉（Dovey Wan）在微博表示，二姨夫是一個狹義定義上的基于智能合約的去中心化被動投資平臺，二姨夫這類產品的優勢在于：

1. 透明和無第三方資金托管，可以在鏈上清晰看到每一步的錢都是怎么用的，隨時贖回。08年的金融危機和前兩年各種P2P暴雷，就是因為中心化金融產品是一個黑盒。

2. 沒有準入許可，沒有隱私危機。中心化金融的準入許可和手續繁多，并且有極高的隱私維護成本。并且中心化金融就是利用手里的用戶隱私數據做了很多定價上的操作，我們常說的價格歧視，這個價格歧視可能是因為信用差距，也可能是因為其他的差異。去中心化相當于讓每筆錢都在同一個平臺上，每個地址都是平等的 ，每筆錢和每筆錢享受一樣的服務。

3. 現在無法自動化的瓶頸是無法做鏈上的合約審計，保證合約安全是可以去做合約交互的第一步。Formal Verification等常用的合約審計手段暫時還無法上鏈，而且邏輯漏洞很多時候也只能靠人腦，等AI編程成熟，外加基礎鏈的性能大幅度提高，預言機升級多N個版本。可能鏈上合約審計才有可能實現..[2020/8/26]

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

觀點：ADA技術指標可能會出現回落:8月7日消息，盡管在Shelley成功啟動升級后，Cardano吸引了800多個股份池運營商和眾多加密貨幣愛好者的興趣，但由于近期ADA的價格表現過于平談，一些散戶對其并不看好，如果這個趨勢繼續下去，ADA的技術指標將會很快回落。（CryptoBriefing）[2020/8/8]

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

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

觀點：提前布局區塊鏈的企業將占據很大優勢地位:7月3日消息，中國人民大學助理教授王鵬在接受采訪時表示，在政策支持下，區塊鏈+金融區塊鏈+生活服務區塊鏈+生產區塊鏈等一系列的應用正在形成，未來區塊鏈的產業化落地肯定會迎來一個非常高速的發展期，那些能夠提前布局到區塊鏈當中的企業，尤其是巨頭類的企業，一定會占據非常大的優勢地位。?（證券日報）[2020/7/3]

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

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

聲音 | BM 關于 RAM 觀點今日總結:據 IMEOS 總結 BM 在 RAM 電報群發表言論總結如下：

1.BM 表示可以通過調整一些 bancor 的參數來減少 RAM 市場的波動。他們也在對磁盤分頁性能進行基準測試。目前他本人在致力于降低價格和增加供應，當然，這是在保持基于市場定價的條件下。今天也測試了 bancor ，對當前的代碼進行大量的檢查。

2.經驗告訴我們只有少數人可以做到在恐慌的拋售中獲利。

3.對于像在 otcbtc.com 平臺上的備用 eosram 市場的看法是：他們的流通性會減少。

4.減少 RAM 市場波動的做法：BM 團隊將會發布一份提案供社區參考。提案中會包括使用新高性能的 SSD 擴容物理 RAM 的計劃。如果該方案可行，那么內存價格會更加便宜。

5.BM 同意目前的 RAM 市場是一個 “真正自由” 的市場：穩定，小幅波動，可持續增長。RAM 的供應由社區推選的出塊節點把控，所以最終的控制權還是在持幣者手中。

6.人為造成的稀缺和保護 RAM 價格并不是方案的目標。RAM 不是一種可以投機的 Token。它的價格只受供需驅動。每個人都可以自由地在價格上做推測，但是 RAM 持有者唯一擁有的是合約中的存儲空間。[2018/7/4]

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

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

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：區塊鏈RAMCALALA區塊鏈最新應用ZeptagramLocal TradersALAB

以太坊交易所