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之間的互動可以用博弈論的具體框架進行適當的分析和整合。特別是,馮·諾伊曼和莫根斯坦的合作博弈理論為洞察合謀的行為方式奠定了基礎,也就是玩家的一部分是如何就哪些行動進行談判的。斯特林最近對網絡社會選擇理論的迭代是另一種更高級的形式,它完善了“個人理性行為的概念,即影響網絡的成員將他們的利益擴大到他們自己狹隘的個人福利之外,以便將他人的影響納入自己的理性范圍”。
Hedera攻擊事件相關的EOA錢包地址0x2fD2已將203.5枚ETH:金色財經報道,據CertiK監測,Hedera攻擊事件相關的EOA錢包地址0x2fD2已將203.5枚ETH(約38.7萬美元)轉入Tornado Cash。詳見:https://skynet.certik.com/alerts/security/e355c915-a714-449a-b8a0-838527e376a9[2023/4/13 14:01:03]
也許在實操上最相關的是在談判協議領域進行的研究。這方面的工作主要集中在簡單合約上——由一個或幾個獨立問題組成的合約。然而,復雜合約談判協議擴展到具有大量相互依賴的問題的復雜合約。考慮到相互依賴的偏好排序的復雜性,這一特點使這種框架更適用于現實世界。
如前所述,文獻綜述旨在成為一份實時的文獻集,并將在本研究計劃的過程中進行更新,為技術設計和實施過程提供參考和背景。
3.技術研究
除了將文獻綜述中所涉及的材料作為創建一個通用技術框架的概念性鋪墊外,技術研究還受益于兩個研究子目標的約束:創建一個盡可能模塊化和不可知的框架。
3.1設計目標
模塊化是軟件開發的一個標準目標,也是去中心化應用設計的一個關鍵方面。創建一個盡可能模塊化的機制,并利用已經存在的代碼模塊,可以適當地關注應用層面的安全模型,并確保該機制易于交接;減少代碼的復雜性通常也會減少攻擊面。此外,可重復使用和模塊化的代碼減少了將該模塊集成到現有的智能合約架構中所需要的時間和精力,增加了潛在的使用量。
不可知性是指軟件或硬件的一種特性,它不依賴于特定的系統或設備一起工作。在我們的機制中,我們的目標是通過創建一個模塊來降低集成和用戶體驗的復雜性,該模塊既與代理無關,也與在創建共享協議之前發生的過程無關。
Web3內容分發與版權NFT交易平臺Read2N宣布將使用Greenfield作為存儲基礎設施:2月17日消息,版權治理NFT交易平臺Read2N宣布將使用BNB Greenfield作為存儲作者作品、用戶閱讀數據及評論、作品版權治理DAO討論區內容的基礎設施。
Read2N是一個文學作品分發平臺+內容資產交易所,幫助文學創作者發行版權治理NFT,并提供NFT交易/租賃服務的交易平臺。目前日交易額超過10萬美元。[2023/2/17 12:13:54]
代理不可知性指的是需要創建一個機制,無論使用它的DAO的規模和復雜性如何,都能發揮作用:每個DAO被抽象為類型代理的實例。該機制必須能夠說明由外部擁有的賬戶或合約地址所代表的DAO,以僅通過調用智能合約函數來創建協議,而不管它們所代表的成分數量和它們建立在上面的DAO框架。
“條件背后”的不可知論規定,使用該機制的技術障礙必須極低。只要DAO能夠調用智能合約功能,它就應該能夠使用該機制。如果需要一個專門的接口合約,那么就必須作為機制實例化的一部分創建一個合約工廠,以允許合約與機制互動,而不必進行代碼修改。這方面的一個例子是合約地址必須實現接收ERC-1155代幣,并與Gnosis的條件代幣框架互動,而EOA則沒有。這一點必須在機制中加以說明,即創建接口合約工廠,由不實現這些方法的DAO擁有,以便在涉及條件代幣時與D2D機制對接。
3.2用例
D2D機制有許多潛在的用例,從簡單的合資企業到為白名單參與者創建臨時市場。雖然簡單的D2D合作已經發生,但這些合作依賴于社會和法律協議。而本文概述的D2D機制旨在創建一個機制,通過該機制,這些協議被鏈上協議所取代,用安全的、基于網絡3的合作協議形式取代這些混亂和耗時的做法。
逾7193枚BTC從以bc1qd2開頭錢包地址轉出 價值超8000萬美元:據Block.Info大額播報數據顯示:北京時間2020年7月28日09:59:29,7193.53273527BTC從以bc1qd2開頭錢包地址轉出,按當時價格價值80,344,602.09美元,交易哈希07eb7753ba1b74be6d3b93fc5bd46233a9cb6b791250604af90f3998d5db1733[2020/7/28]
在確定這些用例的范圍時,協定被簡單定義為A和B同意X發生。這已經發生在DAO內部、多簽名錢包和去中心化的第三方托管中;這個機制的目的是在外部代碼模塊中正式確定這些現有談判過程的關鍵之處。
在現實世界中,第三方托管是在滿足某種條件之前,通過受信任的第三方來保管貴重物品。智能合約能夠承擔通常由中間人承擔的調解作用,從而大大降低執行成本。通過鏈上托管機制的迭代,可以滿足一個簡單的談判協議,每個社區的選民通過在各自的組織中投票來表達他們對交易的意愿。
托管模式嚴重依賴DAO所產生的單一共識。這樣做的一個后果是反對派在這些社區中被邊緣化。我們相信可以有不同的機制來允許更廣泛的表達。例如,市場允許并獎勵細顆粒度的互動。一個資產的獨立談判越多,這個市場就越有深度和信息。因此,我們可以推測,通過D2D機制,有可能創建封閉的市場,只有社區的各自成員可以購買或出售彼此的本地代幣。這樣,兩個社區可以進行有機的價值滲透,這可以被視為一種民主合并。然而,這種機制要復雜得多,在實施之前,需要記憶不研究。
3.3技術概述
以下是在我們研究被評估的基元的概述。需要注意的是,雖然近年來整個生態系統取得了許多發展,但本文只討論與D2D機制本身有關的方面:特別是促進抵押協議和oracle的代碼模塊和智能合約。本研究不涉及DAO的具體進展,因為D2D機制的目的是盡可能地對參與合作工作的組織形式不可知,因此具體進展在此并不重要。
微軟向ID2020機構注資100萬 基于區塊鏈推進數字身份認證網絡:去年,微軟聯合服務巨頭埃森哲(Accenture)借助區塊鏈技術創建了數字身份認證網絡;今天這家科技巨頭再次宣布聯合ID2020聯盟進一步開發安全數字認證系統。 ID2020項目是一個公私合作聯盟,致力于聯合各國政府、科技巨頭和非政府組織采取統一行動,在2020年之前為所有人提供合法身份證明。除了以聯合創始成員身份加入ID2020聯盟之外,微軟還向這家非盈利機構投資了100萬美元。借助后者的資源,微軟計劃在未來將身份認證系統部署到政府和機構中。[2018/1/23]
生態系統基元
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
1.吉爾吉斯斯坦當局突襲非法礦場,查獲118臺比特幣礦機2.外媒:Robinhood股價本周收于35.15美元.
1900/1/1 0:00:00據Cryptoglobe7月15日消息,意大利奢侈時尚品牌Dolce&Gabbana將在基于Polygon的數字市場UNXD上推出其首個NFT系列作品.
1900/1/1 0:00:00來源:21財經 作者:胡天姣 “也許數字貨幣的時代已經來臨。”當地時間7月22日,在介紹印度央行近期規劃時,其副行長桑卡爾(T.RabiSankar)如是說,“印度央行正考慮分階段引入由中央支持.
1900/1/1 0:00:00巴比特訊,BeInCrypto報道,在過去幾天里,熱門NFT項目CryptoPunks的活動激增.
1900/1/1 0:00:00巴比特訊,7月20日,以太坊擴展方案Polygon推出新工作室PolygonStudios,推進其區塊鏈游戲和NFT工作.
1900/1/1 0:00:00前天在文章中我寫到了股市,引起了一些讀者的爭議,不少讀者對此發表了不同的看法。我寫股市的初衷除了看到近期各種監管措施的綜合出臺讓我覺得國家明顯希望將社會資金引入股市之外,還有近期發生在身邊的兩個.
1900/1/1 0:00:00