DAO2DAO是Curve實驗室和BlockScience受PrimeDAO委托進行的一項研究合作。本文旨在分享關于去中心化談判協議設計的理論和技術見解。
在過去的幾個月里,研究團隊分析了談判協議方面的文獻,并調查了加密貨幣生態系統的適用基元,以便為DAO空間的潛在部署提出設計模式。該工作組正在策劃一個實時更新的文獻集,用于定位對設計方法論的理論理解,調整多個研究領域,如網絡中的社會選擇、組合博弈理論、適應性結構理論和復雜合約談判。
1.背景
本研究旨在明確不同的去中心化自治組織之間的協調機制。這些互動的范圍可以從合資企業到代幣交換或分布式貨幣政策。為了圍繞這個問題確定理論認識,研究團隊就談判協議的研究進展進行梳理。
什么是談判協議?
“一般來說,談判是由兩方或多方共同決定的過程。各方首先將相互矛盾的要求用語言表達出來,然后通過妥協或尋找新的替代方案的過程來達成協議。”——Jin,Lu,2004
談判無處不在。為了降低交易成本,社會傾向于圍繞這些過程制定規范和協議。在國際關系、社會選擇和網絡理論等領域都有談判。拍賣、投票模塊和策展清單都是可以被視為生成性談判協議的博弈。
通過D2D研究的實施,我們希望將上述形式化的東西帶到組織間的框架中。一旦DAO能夠通過這些談判機制相互對接,我們預計會出現諸如合并、合資、社區互換和多中心政策模式等用例。
2.文獻回顧
接下來讓我們著眼于一些理論坐標,來圍繞去中心談判的問題定位我們的理解。
我們的目標是:
1.制定一個去中心的自治組織的可操作定義;
2.建立博弈論和社會選擇的坐標;
數據:0xD275開頭巨鯨從Compound借出5900萬USDC買入USDT:6月15日消息,據Lookonchain監測,0xD275開頭巨鯨地址在2小時前從Bitfinex提取5萬枚ETH(約合8180萬美元)存入Compound,然后從Compound借出5900萬枚USDC買入USDT,試圖讓USDT恢復錨定。
此前報道,0xD275開頭巨鯨地址在USDT脫鉤后,從Aave借了5000萬枚USDC,并開始購買USDT進行套利。[2023/6/15 21:39:50]
3.收集關于簡單和復雜合約的談判協議的相關研究。
在討論主要是DAO的實體之間的談判時,為了從實操上理解參與協調游戲的代理人,需要一個分類學的基礎。由Wittgenstein推廣的家族相似性的概念使我們能夠從一個非單一的角度來看待這些組織實體。縱觀游戲的分類學變化,他得出結論:
“我們可以用同樣的方式去看很多其它的博弈組;我們可以看到相似性是如何出現和消失的。而這種檢查的結果是:我們看到了一個復雜的相似性網絡,相互重疊,縱橫交錯:有時是整體的相似性。”
近年來,確定組織分類學中這些重疊的相似性取得了進展。KeiKreutler在《去中心化自治組織的八個特征》中探討了DAO中作為家族相似性的典型特征。為了適應這種多樣化的行為者本體,本研究提出了一種行為者無關的設計模式,后文將討論。
不出所料,談判分析大量運用了博弈論。我們相信DAO之間的互動可以用博弈論的具體框架進行適當的分析和整合。特別是,馮·諾伊曼和莫根斯坦的合作博弈理論為洞察合謀的行為方式奠定了基礎,也就是玩家的一部分是如何就哪些行動進行談判的。斯特林最近對網絡社會選擇理論的迭代是另一種更高級的形式,它完善了“個人理性行為的概念,即影響網絡的成員將他們的利益擴大到他們自己狹隘的個人福利之外,以便將他人的影響納入自己的理性范圍”。
0xD2ac開頭地址買入20枚Doodles系列NFT:5月31日消息,據 NFT Whale Alert 監測,0xD2ac 開頭地址買入 20 枚 Doodles 系列 NFT,花費約 40.12 ETH,價值約 7.47 萬美元。[2023/6/1 11:51:11]
也許在實操上最相關的是在談判協議領域進行的研究。這方面的工作主要集中在簡單合約上——由一個或幾個獨立問題組成的合約。然而,復雜合約談判協議擴展到具有大量相互依賴的問題的復雜合約。考慮到相互依賴的偏好排序的復雜性,這一特點使這種框架更適用于現實世界。
如前所述,文獻綜述旨在成為一份實時的文獻集,并將在本研究計劃的過程中進行更新,為技術設計和實施過程提供參考和背景。
3.技術研究
除了將文獻綜述中所涉及的材料作為創建一個通用技術框架的概念性鋪墊外,技術研究還受益于兩個研究子目標的約束:創建一個盡可能模塊化和不可知的框架。
3.1設計目標
模塊化是軟件開發的一個標準目標,也是去中心化應用設計的一個關鍵方面。創建一個盡可能模塊化的機制,并利用已經存在的代碼模塊,可以適當地關注應用層面的安全模型,并確保該機制易于交接;減少代碼的復雜性通常也會減少攻擊面。此外,可重復使用和模塊化的代碼減少了將該模塊集成到現有的智能合約架構中所需要的時間和精力,增加了潛在的使用量。
不可知性是指軟件或硬件的一種特性,它不依賴于特定的系統或設備一起工作。在我們的機制中,我們的目標是通過創建一個模塊來降低集成和用戶體驗的復雜性,該模塊既與代理無關,也與在創建共享協議之前發生的過程無關。
代理不可知性指的是需要創建一個機制,無論使用它的DAO的規模和復雜性如何,都能發揮作用:每個DAO被抽象為類型代理的實例。該機制必須能夠說明由外部擁有的賬戶或合約地址所代表的DAO,以僅通過調用智能合約函數來創建協議,而不管它們所代表的成分數量和它們建立在上面的DAO框架。
Solana社區成員提議創建可將Ed25519密鑰對轉換為Curve25519密鑰對的加密標準:4月10日消息,Solana社區成員Valentin發起一項提案,建議創建一個將Ed25519密鑰對轉換為為Diffie Hellman密鑰交換協議設計的Curve25519密鑰對的標準,這將支持非對稱加密,而不必生成單獨的密鑰來執行這種操作。
Valentin解釋稱,隨著Solana生態系統的發展,對于保護敏感數據(如帳戶狀態或IPFS和Arveawe等分布式文件系統上的文件),對Solana密鑰對加密標準的需求變得越來越重要。雖然Ed25519密鑰對對簽名消息有效,但它們不能用于非對稱加密,而非對稱加密對于用戶隱私和數據保護至關重要。再次,提出這個建議是為了就如何派生Solana密鑰對以兼容Diffie Hellman密鑰交換或其他類型的加密機制兼容達成一致。一旦就此主題達成一致,錢包就可以開始實施加密功能,作為錢包標準的一部分。
Valentin還提到,作為從常規Solana密鑰對派生Curve25519密鑰對來執行加密的替代方案,Jordan Sexton建議可以從任何錢包(包括硬件錢包)的簽名消息中派生密鑰對來派生加密密鑰。這種方法的一個問題可能是,一旦兩個dApp請求使用相同種子的簽名,密碼就可能被破解。需要某種在每次加密時都必須不同的一次性隨機數,這很難實現。[2023/4/10 13:54:02]
“條件背后”的不可知論規定,使用該機制的技術障礙必須極低。只要DAO能夠調用智能合約功能,它就應該能夠使用該機制。如果需要一個專門的接口合約,那么就必須作為機制實例化的一部分創建一個合約工廠,以允許合約與機制互動,而不必進行代碼修改。這方面的一個例子是合約地址必須實現接收ERC-1155代幣,并與Gnosis的條件代幣框架互動,而EOA則沒有。這一點必須在機制中加以說明,即創建接口合約工廠,由不實現這些方法的DAO擁有,以便在涉及條件代幣時與D2D機制對接。
烏克蘭新籌款平臺United24接受加密貨幣捐贈:5月11日消息,United24是烏克蘭總統Volodymyr Zelenskyy最近宣布的一個新的籌款平臺,除了傳統的支付方式外,加密社區的成員可以通過加密貨幣解決方案提供商Whitepay以多種加密貨幣的方式發送資金。(News.bitcoin)[2022/5/11 3:07:30]
3.2用例
D2D機制有許多潛在的用例,從簡單的合資企業到為白名單參與者創建臨時市場。雖然簡單的D2D合作已經發生,但這些合作依賴于社會和法律協議。而本文概述的D2D機制旨在創建一個機制,通過該機制,這些協議被鏈上協議所取代,用安全的、基于網絡3的合作協議形式取代這些混亂和耗時的做法。
在確定這些用例的范圍時,協定被簡單定義為A和B同意X發生。這已經發生在DAO內部、多簽名錢包和去中心化的第三方托管中;這個機制的目的是在外部代碼模塊中正式確定這些現有談判過程的關鍵之處。
在現實世界中,第三方托管是在滿足某種條件之前,通過受信任的第三方來保管貴重物品。智能合約能夠承擔通常由中間人承擔的調解作用,從而大大降低執行成本。通過鏈上托管機制的迭代,可以滿足一個簡單的談判協議,每個社區的選民通過在各自的組織中投票來表達他們對交易的意愿。
托管模式嚴重依賴DAO所產生的單一共識。這樣做的一個后果是反對派在這些社區中被邊緣化。我們相信可以有不同的機制來允許更廣泛的表達。例如,市場允許并獎勵細顆粒度的互動。一個資產的獨立談判越多,這個市場就越有深度和信息。因此,我們可以推測,通過D2D機制,有可能創建封閉的市場,只有社區的各自成員可以購買或出售彼此的本地代幣。這樣,兩個社區可以進行有機的價值滲透,這可以被視為一種民主合并。然而,這種機制要復雜得多,在實施之前,需要記憶不研究。
李俊:本體項目正在申請加入ID2020聯盟:本體創始人李俊在清華大學x-lab區塊鏈公開課上表示,本體目前正在申請加入ID2020聯盟。ID2020是一個國際公私合作聯盟,致力于聯合各國政府、科技巨頭和非政府組織采取統一行動,通過區塊鏈技術在2020年之前為全球居民提供合法身份證明。微軟、埃森哲均為該聯盟創始成員。[2018/5/31]
3.3技術概述
以下是在我們研究被評估的基元的概述。需要注意的是,雖然近年來整個生態系統取得了許多發展,但本文只討論與D2D機制本身有關的方面:特別是促進抵押協議和oracle的代碼模塊和智能合約。本研究不涉及DAO的具體進展,因為D2D機制的目的是盡可能地對參與合作工作的組織形式不可知,因此具體進展在此并不重要。
生態系統基元
Gnosis的條件代幣框架,雖然主要是為預測市場的創建提供一個基礎,但也為任何人提供都了“在特定事件發生的條件下交易任何資產”的可能性。可以利用這一點,使D2D合作的關鍵要素在鏈上“鎖定”,避免了對昂貴和冗長的法律協議的需要或對誠信的依賴。雖然簡單的D2D合作可以由其他模塊來促進,如托管合約,但CTF允許更復雜的條件環境,并使用相同的核心基元來創建,不需要為復雜協議編寫自定義托管智能合約。此外,CTF允許在DAO之間創建新的安排,這些安排目前還沒有被現有的代碼模塊所推動,同時還提供多層條件的創建,這可以用來在DAO之間更大的傘狀協議中創建子合約。CTF已經被預測市場Omen和社會影響平臺Alice使用。
上述依賴CTF的用例的簡化版本是一個去中心化的托管服務,如Kleros提供的服務,其中雙方可以鎖定開發基金,用于一個合資企業的創建過程。一旦雙方達成協議,這些資金將可用于商定的賬戶,例如由兩個DAO的成員控制的多重簽名。
API3的Airnode是一個“完全無服務器的Oracle節點,專門為API供應商運營自己的Oracle而設計”,其旨在激勵第一方Oracle也維護他們的服務。Airnode的一個優勢是,它依靠建立Oracle節點的沉沒成本和節點運營商的聲譽來加強對其決定的信任,以及與其他Oracle服務相比相對較少的維護。Reality.eth采取了相反的方法,而是提供了一個“眾包的鏈上智能合約Oracle系統”,作為一個獨立的dapp和可以直接互動的智能合約。問題必須遵守他們的模板才能被接受。
Kleros還經營“一個開源的在線爭端解決協議,該協議使用區塊鏈和眾包來公平裁決爭端”,并有可能有助于將決策外包給一個專門設計的協議,而不是為D2D合作尋找裁決者,進一步簡化開發。Omen利用它作為他們的CTF實現的Oracle角色。他們使用ERC-1497證據標準和ERC-792仲裁標準。
Keep3r為項目創造了將某些工作外包給項目之外的賬戶的可能性,無論這些賬戶是合約、機器人還是EOA。這是一個主要與開發和功能調用/工作有關的用例,“他們希望執行的行動是‘善意的’而不是惡意的結果”,因此可能不適合CTF所使用的大規模Oracle功能。然而,對于可能出現的較小的“內務”功能,這個可以保留。
3.4高階裝配
這個高層次的概述簡要描畫了一個D2D合作,其允許通過托管智能合約進行迭代談判和共享基金。該機制可以清楚地分成兩個階段。
階段1:D2D談判
1.DAO1在內部討論其成員之間的潛在合資企業,然后寫一份提案。
2.DAO1的成員根據DAO利用的任何共識模型對該提案進行投票。
3.假設投票通過,DAO1就會將該提案發送給DAO2。
4.DAO2內部討論該提案。
5.然后DAO2對這個提案進行投票。如果這次投票通過,第二階段開始。如果沒有,那么DAO2就有可能向DAO1提出相反建議,或者DAO完全拒絕,過程結束。
第二階段:托管資金
1.兩個DAO中的一個從工廠智能合約中創建一個托管合約,該合約以商定的提案中指定的合約參數進行初始化。來自這個DAO的資金也被發送到托管合約中,時間鎖定期開始。
2.另一個DAO必須在時間鎖定結束前用他們商定的代幣數量為托管提供資金。如果不這樣做,則時間鎖定期可能會被延長,或者操作被中止,鎖定的資金返回到DAO1。如果資金在時間鎖定結束前發生,那么談判是成功的,并發生指定為“操作X”的功能。
在設計上述第一個抽象概念時,我們優先考慮已經在D2D合作空間內發生的過程,創建一個獨立的機制,可以很容易地取代對法律或社會協議的需求。為了模塊化、安全性和參與的DAO的整體易用性,我們采用了一個托管模型。
將機制的互動分離成兩個不同的階段,主要是為了促進兩個DAO之間的迭代建議談判,允許雙方之間交換相反的建議,直到雙方成員對合作條款感到滿意。
在未來,這個模型可以很容易地被修改,來創建一個機制,其中一方單獨創建時間鎖定的托管,消除相反建議的可能性,并通過合作以更類似于賞金或公開任務的方式提出建議。
4.未來研究主題
在需要Oracle的情況下,如果機制要利用多結果條件,可能會出現對Oracle分類學的需求。這些差異可能取決于正在讀取的數據的位置,數據的類型,或者在一個非常主觀的條件下,條件的答案是否可以眾包。此外,某些方面可能希望指定用于特定決策的Oracle。在以下D2D互動的情況下,對于所使用的Oracle類型有明顯的偏好。
l合資企業:首選情況是與雙方都有基于聲譽的聯系的第一方oracle,因為合資條款涉及鏈上和鏈下的主觀和客觀信息。
l交換:第三方oracle就足夠了,因為只用鏈上信息就可以確定,即檢查DAO1和DAO2的代幣余額是否在預定的時間X前按約定的金額變化。
關于該機制的安全性:盡管用于許多D2D協作的代碼庫非常簡單,通過減少可能的攻擊面,減輕了許多安全問題,利用與不同資產價格相關的條件進行更大規模的D2D交互的更廣泛的影響可能會打開類似于過去一年中所看到的涉及閃貸的攻擊向量。在D2D協議中納入基本保險或限制有條件賠償可能有助于減輕這些風險。對蜜罐的創建和減輕以及更廣泛的脆弱性進行適當建模還有待進一步推進。
5.結論
由于談判協議無處不在,以及“協定”分類發的無限多樣性,實現的可能性空間非常大。多數情況下,可以在D2D機制中概述的每個階段利用多個基元中的一個。進一步的研究和經驗迭代應為實現更完整的設計產生切實的協同作用。
為了制定可實現的目標,我們已經應用了一些選擇標準,以提高可用性和引導實施研究的重點。在我們的范圍界定中,將每個DAO定義為一個單一的代理,大大降低了機制的復雜性,同時為創建DAO可以與之交互的單個接口契約提供可能。通過利用整個以太坊堆棧的現有基元,我們想要創建一個開放的談判環境,在其中可以滿足DAO生態系統的多種需求。
DAOrayakiDAO研究獎金池:資助地址:0xCd7da526f5C943126fa9E6f63b7774fA89E88d71投票進展:DAOCommittee/7通過賞金總量:150USDC研究種類:DAO,D2D,DecentralizedNegotiationProtocols,GameTheory原文作者:?MaxHampshire&CemDagdelen貢獻者:Demo,DAOctor@DAOrayaki原文:D2D:TowardsDecentralizedNegotiationProtocols
巴比特訊,7月8日,“京津冀征信鏈”共建協議簽約和啟動儀式在石家莊舉行,在人民銀行征信管理局的統籌協調下.
1900/1/1 0:00:00RedBlock將依托第九城市的行業布局在海外業務、資產數字化等方向與第九城市及其麾下企業開展戰略合作.
1900/1/1 0:00:00原文標題:《UNDERSTANDINGTHELIGHTNINGNETWORK,PART3:COMPLETINGTHEPUZZLEANDCLOSINGTHECHANNEL》原文作者:AARONVA.
1900/1/1 0:00:00俄羅斯是一個對Crypto行業進行監管的國家,但現在,他們可能正在軟化其在資產類別問題上的立場,就像最近發生的事件所表明的那樣.
1900/1/1 0:00:001914年,美國聯邦儲蓄銀行成立以后,就發行了今天站在貨幣地位頂端的貨幣——美元。自從1944年布雷頓森林會議以來,美元一直是無可爭議的全球儲備貨幣,在全球貿易中占據主要地位.
1900/1/1 0:00:00注:原文作者是以太坊2.0開發者BenEdgington。本周的“奧運金牌”要頒給EIP-3675,這將是朝著以太坊網絡合并邁出的一大步.
1900/1/1 0:00:00