你還記得BM曾說“程式碼意圖即法律”嗎?

買賣虛擬貨幣

昨日,EOSIO 1.14版本在Github上提交更新,併發布文件描述當前計劃交易的CUP計費模糊、區塊錯誤分類等問題。看得出EOSIO正以小步快跑的方式前進,而這一切都遵循了他之前說的“程式碼意圖即法律”,今天我們就來回顧一下這篇舊文——《程式碼意圖即法律》。

下文是翻譯稿,原文可點選下方連結檢視:

https://medium.com/@bytemaster/the-intent-of-code-is-law-c0e0cd318032

EOS社羣已著手進行一項巨集大的實驗,看看它是否可以結合加密合同,人員合同和人為爭議解決方案的最佳方面。這使得EOS成為第一個智慧李嘉圖合同區塊鏈。

新的區塊鏈和治理系統的分散誕生可能會很混亂,因為每個人都在試圖找出規則。有些人希望複製現有的法律結構,有些人希望規範各種行為,而其他人則希望保留“守則”。

從觀看社羣推出基於EOS.IO的區塊鏈開始,我已經學到了很多東西。我已經看到,如果你賦予人們任意權力來解決任意爭議,那麼一切都會成為爭議,所做的決定是任意的。仲裁者擁有的權力越大,爭議變得越惡劣,結果越不可預測。

法律的承諾

Code-is-Law的最引人注目的特徵是消除任何爭議的餘地。所有合同條款均由程式碼規定,如果沒有審查,將嚴格執行。這給了所有各方強有力的保證和可預測性,除非存在錯誤(使用程式碼的各方的期望與實際執行的內容之間存在差異)。

EOS開始認識到錯誤發生,社羣需要一個流程來快速建立智慧合約的意圖並相應地解決問題。這只不過是乙太網用來解決DAO駭客或比特幣用來解決0.7 / 0.8分叉的同類過程的形式化和加速。

自由形式合同的混亂

自由形式合同,也就是我們幾千年來所使用的,都受到各種主觀和不可預測的執法。從確定簽名的有效性,到詞的定義,到術語的有效性,都需要進行辯論。這使得它們執行起來非常昂貴並且給予治理系統無限的權力。

李嘉圖合同

李嘉圖合同規定了自由格式條款和程式碼條款。EOS社羣目前正在討論是否以及如何執行免費條款。這些條款包括要求披露大規模生產者所有權和偽證罪處罰事實的證明。其他人則需要新的條款來規範與政府監管機構的行為類似的一切。

需要客觀邊界

EOS區塊鏈的使用者需要社羣的一些保證,以確保安全。如果區塊鏈上的所有東西都受到暴民統治的影響,那麼沒有人是安全的。如果社羣沒有強大,客觀,組織的原則,那麼一切都需要解釋,變得不可預測和隨意。隨後的辯論和衝突可能會撕裂一個社羣。

Block One要求終止所有仲裁命令,而不是對程式碼的意圖提出非約束性意見。我認為選舉產生的區塊生產者應該是陪審團,必須做出2/3 + 1決定凍結破損的合同和/或用根據原意(按仲裁確定)運作的合同替換破損的合同。

這意味著選舉的區塊生產者具有與乙太網合同中的以太坊所展示的相同的權力,它只是正式化並且在代幣選民的手中,而不是非正式的並且在雜湊權力選民的手中。

執行李嘉圖(主觀)條款

李嘉圖合同的目的是記錄當事人的意圖,並在發生錯誤時提供意圖證據。如果李嘉圖的合同中包含的程式碼無法透過程式碼進行評估和強制執行,那麼它就不受塊生產者和社羣仲裁的管轄,無法進行評估和執行。

正確編寫的李嘉圖合同完全由程式碼強制執行。此,所有爭議都應該透過修改程式碼來解決。如果李嘉圖的合同想要執行其他法律(例如偽證),那麼它必須透過在程式碼中定義提交申訴,任命法官,收取債券付款和呈現決策以及執行這些法律的過程來實現。所有這些必鬚髮生在應用層,而不是基礎協議層。整個執法過程應該是客觀的,所有行為者都在程式碼意圖的限度內行使完全的自主權。

丟失和被盜鑰匙

私鑰的目的是生成客觀的所有權證明。如果我們不能單獨依靠簽名,那麼我們必須依賴於意圖的身份和主觀解釋。這將開啟不可持續的爭議和新的欺詐和/或不公正的程度。

這個問題的解決方案應該是技術性的:實現具有時間延遲的硬體錢包生物識別保護的multisig。社羣的每個成員都負責自己的安全和許可權配置。在區塊鏈不可逆轉地接受簽名之後,允許退回仲裁以對簽名的有效性提出異議,這開啟了比它解決的問題更多的問題。EOSIO的設計支援Apple Secure Enclave,Touch ID,Face ID和時間延遲。一旦部署在錢包中,竊取私鑰應該是聞所未聞的,時間延遲應該處理其餘部分。

EOSIO是從頭開始編寫的,旨在提供真正保護和恢復帳戶所需的基礎設施。這些功能包括支援Apple,Android和許多智慧卡裝置使用的R1橢圓曲線。隨著時間的推移,使用者可以享受使用單個裝置進行簽名的易用性,同時擁有多裝置簽名的安全備份。客觀地讀取智慧合約中帳戶不活動時間的能力使開發人員能夠定義自己的恢復流程,而無需提供第三方潛在的日常控制。

ECAF意見

在ECAF之前提出的第一起爭議涉及一個騙局註冊網站,該網站為使用者提供虛假的公鑰/私鑰對。由於技術限制,即使在以太坊上使用硬體錢包的使用者也會成為騙局的犧牲品。雖然社羣有客觀證據證明以太坊地址的原始所有者,但這些人成為騙局網站的犧牲品,因為他們沒有使用官方的eos.io網站,也沒有遵循官方指示。

我希望看到以前的鑰匙持有人收回他們的代幣,我覺得這種干預所建立的先例對整個EOS生態系統造成的損害要大於他們收到的資金。在這一點上,我建議EOS區塊生產者開展慈善捐款活動,以幫助這些人。EOS社羣透過社羣捐贈來解決這些問題比制定生產者干預的預設要便宜得多。

如何在盜竊鑰匙時執行仲裁令

在協議級爭議解決僅限於修復程式碼中的錯誤的世界中,如何防止欺詐和盜竊金鑰?答案是選擇加入代表其所有者控制代幣的李嘉道銀行合同。如果合同指定的仲裁員有權撤銷交易並凍結令牌,則智慧合約中的轉移將受到爭議解決。退出銀行智慧合約需要延遲3天,之後不能撤銷。

那些希望選舉產生的區塊生產者和/或ECAF保護其利益的人可以選擇加入一個新的智慧合約,其中ECAF/生產者是仲裁系統。希望以超過3天的延遲與這些客戶互動的交易所也可以在銀行智慧合約中開立存款賬戶。仲裁員權力的範圍僅限於該合同。

有些人擔心他們的整個帳戶被盜,而不僅僅是他們的代幣。透過將整個帳戶置於智慧合約的所有權下,可以解決這種情況。作為帳戶的使用者,您可以控制活動金鑰,但不會直接控制所有者許可權。

EOSIO設計有所有工具和功能,可以為那些更願意信任像ECAF這樣的組織來仲裁被盜金鑰爭議的人建立強大的高階治理。可能有數百個這樣的組織,每個組織都以不同的原則運作,所有這些組織都可以建立在相同的基於EOSIO的區塊鏈上。

擬議的EOS憲法公民投票

程式碼意圖是法律,其中意圖由程式碼,李嘉圖合同,使用者介面和實際使用記錄。

如果對程式碼意圖存在爭議,則意圖應由當選生產者的超級多數票或爭議各方共同商定並由生產者制定的仲裁者確定。超級多數可以自行決定在活動爭議期間凍結合同,直到可以獲得修訂合同的程式碼為止。爭議各方必須提出擬議的替代程式碼。生產者可以向爭議各方收取費用和/或提出其他要求。超大多數被定義為2/3 + 1。無法透過正常執行的程式碼強制執行的李嘉圖合同條款超出了生產者評估和執行許可權的範圍。

當選的區塊生產者在任何時候都不得凍結或修改按預期運作的合同。

合同開發人員不對程式碼中的錯誤造成的損害承擔責任。所有締約方均負責在使用前稽覈程式碼和李嘉圖合同。

所有提供工具以促進代表他人建立和簽署交易的服務提供商應提供本憲法和其他參考合同的完整李嘉圖合同條款。

任何一方均不承擔信託責任以支援EOS令牌的價值。雙方不授權任何人代表EOS代幣持有人或區塊鏈共同持有資產,借入,說話或合同。該區塊鏈不得擁有所有者,經理或受託人。

當交易被納入區塊鏈時,Ricardian合約被視為已被接受。

締約方自願同意所有其他締約方永久和不可撤銷地保留所有廣播交易和衍生資訊的副本,分析和分發。

本章程可以任意數量的對應方執行,每個對應方在執行和交付時應構成重複的原件,但所有對應方應共同構成單一協議。使用區塊鏈應構成同意。

本章程可以透過EOS代幣持有人的投票進行修改,該代表持有人在代幣中投票不少於15%,並且在120天內連續30天內持有不少於10%的Yes票數而不是無票數。

免責聲明:

  1. 本文版權歸原作者所有,僅代表作者本人觀點,不代表鏈報觀點或立場。
  2. 如發現文章、圖片等侵權行爲,侵權責任將由作者本人承擔。
  3. 鏈報僅提供相關項目信息,不構成任何投資建議

推荐阅读

;