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框架。
乌克兰新筹款平台United24接受加密货币捐赠:5月11日消息,United24是乌克兰总统Volodymyr Zelenskyy最近宣布的一个新的筹款平台,除了传统的支付方式外,加密社区的成员可以通过加密货币解决方案提供商Whitepay以多种加密货币的方式发送资金。(News.bitcoin)[2022/5/11 3:07:30]
“条件背后”的不可知论规定,使用该机制的技术障碍必须极低。只要DAO能够调用智能合约功能,它就应该能够使用该机制。如果需要一个专门的接口合约,那么就必须作为机制实例化的一部分创建一个合约工厂,以允许合约与机制互动,而不必进行代码修改。这方面的一个例子是合约地址必须实现接收ERC-1155代币,并与Gnosis的条件代币框架互动,而EOA则没有。这一点必须在机制中加以说明,即创建接口合约工厂,由不实现这些方法的DAO拥有,以便在涉及条件代币时与D2D机制对接。
3.2用例
D2D机制有许多潜在的用例,从简单的合资企业到为白名单参与者创建临时市场。虽然简单的D2D合作已经发生,但这些合作依赖于社会和法律协议。而本文概述的D2D机制旨在创建一个机制,通过该机制,这些协议被链上协议所取代,用安全的、基于网络3的合作协议形式取代这些混乱和耗时的做法。
在确定这些用例的范围时,协定被简单定义为A和B同意X发生。这已经发生在DAO内部、多签名钱包和去中心化的第三方托管中;这个机制的目的是在外部代码模块中正式确定这些现有谈判过程的关键之处。
在现实世界中,第三方托管是在满足某种条件之前,通过受信任的第三方来保管贵重物品。智能合约能够承担通常由中间人承担的调解作用,从而大大降低执行成本。通过链上托管机制的迭代,可以满足一个简单的谈判协议,每个社区的选民通过在各自的组织中投票来表达他们对交易的意愿。
BUSD2月审计报告:BUSD抵押在银行的美元资产余额约为7033.90万美元:美国知名会计事务所Withum发布了2020年2月份BUSD抵押的美元银行账户的审计报告。报告显示,截止2020年2月28日下午5:00,BUSD抵押在银行的美元资产余额为70,338,972.78(约7033.90万)美元。以太坊链上数据显示,当前BUSD的总供应量为70,338,972.78(约7033.90万)个。报告数据表明,BUSD储备在银行的美元余额与BUSD的代币数量一致,每1个BUSD被分配1美元赎回价值,严格按1:1比例锚定美元。[2020/3/8]
托管模式严重依赖DAO所产生的单一共识。这样做的一个后果是反对派在这些社区中被边缘化。我们相信可以有不同的机制来允许更广泛的表达。例如,市场允许并奖励细颗粒度的互动。一个资产的独立谈判越多,这个市场就越有深度和信息。因此,我们可以推测,通过D2D机制,有可能创建封闭的市场,只有社区的各自成员可以购买或出售彼此的本地代币。这样,两个社区可以进行有机的价值渗透,这可以被视为一种民主合并。然而,这种机制要复杂得多,在实施之前,需要记忆不研究。
3.3技术概述
以下是在我们研究被评估的基元的概述。需要注意的是,虽然近年来整个生态系统取得了许多发展,但本文只讨论与D2D机制本身有关的方面:特别是促进抵押协议和oracle的代码模块和智能合约。本研究不涉及DAO的具体进展,因为D2D机制的目的是尽可能地对参与合作工作的组织形式不可知,因此具体进展在此并不重要。
李俊:本体项目正在申请加入ID2020联盟:本体创始人李俊在清华大学x-lab区块链公开课上表示,本体目前正在申请加入ID2020联盟。ID2020是一个国际公私合作联盟,致力于联合各国政府、科技巨头和非政府组织采取统一行动,通过区块链技术在2020年之前为全球居民提供合法身份证明。微软、埃森哲均为该联盟创始成员。[2018/5/31]
生态系统基元
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
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。