火星链 火星链
Ctrl+D收藏火星链

DAO:如何使用计算机模拟的方式来进行DAO的治理研究?

作者:

时间:1900/1/1 0:00:00

研究种类:DAO,ComputationalGovernance

贡献者:WillHolden@DAOrayaki

原标题:《DAO的计算治理》

Q1背景介绍

DAO作为一个新兴的技术和组织形态,有潜力改变整个社会。截至2021年3月,DAO生态系统管理资产已经达到9.3亿美元,并且其中还不包含使用DAO的组织形式或者使用独立DAO框架的加密协议。现在,它已经成为加密领域不可或缺的治理结构。

但是,目前对于DAO的研究主要关注在治理框架的定义和治理现状的研究上,主要以理论探讨和案例分析为主,这些研究虽然有用,但是还不够支撑DAO的快速发展。DAO作为一个复杂的社会实践,需要背后的理论框架来支撑。以多智能体建模为代表的复杂系统研究,自提出以来,发展迅速,已经在经济学、学、社会学和生态学领域应用广泛。复杂系统科学的目的是对系统一般属性的理解和探讨,“复杂系统“也没有精确的定义,一般认为是由多个相互作用的部分组成的整体,而整体的行为超过了个体行为的总和,达到了一加一大于二的效果。DAO是典型的具有社会复杂性和工程复杂特性的复杂系统,而基于多智能体系统的计算机辅助研究方法已经在复杂系统领域应用多年,因此本文尝试探讨如何利用多智能体模拟的方法来进行DAO治理机制的研究。

Q2研究问题

早在20世纪90年代,西方学者就已经将多智能体应用于复杂系统的研究当中,并发展出多样的多智能体平台和设计语言。依据复杂系统的研究思路,可以借助计算机从以下三个方面对DAO进行研究:

韩国金融监管局今日将与各交易所开会讨论如何判断加密资产的证券属性:6月2日消息,韩国金融监管局(FSS)将于今日召集Gopax、Bithumb、Upbit、Korbit、Coinone等5家加密交易所与数字资产交易所协会DAXA举行非公开会议,就判断个别虚拟资产的证券属性的细节问题等进行讨论。FSS计划在审查虚拟资产证券时提出注意事项,并分享Upbit和Korbit等虚拟资产交易所自行判断证券的例子。[2023/6/2 11:53:48]

DAO中的涌现。DAO是由组织成员之间相互协作组成的新型组织,其个体之间的协作关系如何表现为DAO的整体组织形态,可以认为是DAO这个复杂系统的一个涌现现象。DAO的临界点和相变。DAO的硬分叉属于DAO组织的一次系统状态的巨大改变,可以看作是复杂系统的一种相变。相变之后会产生新的稳定状态,也就是说,可以通过研究DAO系统的临界状态来观察导致DAO分叉的因素。DAO的多智能体建模。由于真实的DAO系统的复杂性,将其完全地还原和仿真是难以做到的。依据复杂系统的研究思路,可以通过将重要的特征抽象,以计算机模拟的形式来仿真DAO系统,以观察和研究其中的涌现、相变和临界状态。另一方面,依据DAO治理研究的内容及其研究目的,计算机辅助系统又可以用于进行以下三个方面的研究:

1.??治理机制的可行性验证。

治理机制的设计是一个同时具有社会复杂性和工程复杂性的任务,设计过程中很难预估其在实际系统是否有效。

Curve社区讨论如何分配Synthetix跨资产交易费:根据YFI创始人Andre Cronje此前发布的链接,在Curve用900万USDT兑换895.3万枚sUSD,随后利用这些sUSD在Synthetix交易所完成交易,获得6689.94枚sETH。有社区成员指出,26859美元的费用收入将分配给Synthetix(SNX)质押者。

Curve团队成员向社区征求意见,Curve跨资产互换将Synthetix作为桥梁,Synthetix将小部分交易费返给Curve,如何分配这些费用?其中列出四个选项:veCRV持有者、LP、两者都分配、两者都不分配。[2021/1/21 16:41:10]

例如,GnosisDAO的futarchy机制,由于其提案成本问题,在第三轮投票以后被逐渐弃用。

借助于计算机辅助模拟,可以在机制投入实际环境前对其可行性进行验证,并不断迭代反馈改进机制的设计。

2.?极端场景下的计算实验。

由于DAO生态天然的复杂性,项目的可重复叠加、治理代币之间的繁杂嵌套关系,使得DAO的复杂度远超传统组织。

而在极端场景下,DAO的治理机制能否按照预定的轨迹运行,则关系着DAO的稳定性及鲁棒性。

使用多智能体系统,可以对治理机制在极端环境下的反应进行研究。

3.?治理风险的检测及其损失的预估。

回溯3.12 如何跨越从爆仓到回本的鸿沟:4月27日20:00,波哥做客金色财经《币情观察室》直播间,将分享《回溯3.12 如何跨越从爆仓到回本的鸿沟》,敬请关注,欲进群观看直播扫描海报二维码报名即可。[2020/4/27]

DAO治理机制的设计过程中极易引入逻辑漏洞,例如2021年7月13日,以太坊和币安智能链上的借贷协议DeFiPie由于逻辑漏洞而遭受黑客攻击,造成了PIE代币在24小时内跌幅约66%。

这种漏洞一般很难在设计早期发现,而一旦投入应用后被发现将会造成巨大损失。

Q3研究方法

基于计算机辅助的方法进行DAO的研究,可以选择传统复杂系统的建模工具,例如Netlogo、AnyLogic和Jade等。这类建模工具在复杂系统的研究中已经被大量使用,但是这类建模工具用于DAO的研究中还存在以下问题:

a.?将实际系统作为唯一真实系统,人工构建的系统作为该系统的仿真。这种建模方式对于研究复杂系统的演化规律、发现系统的临界状态、研究复杂系统的相变诱因等是一个有效的方法,但是对于从零开始构建一个机制来讲并不合适。对于设计一个治理机制来说,更重要的是从众多可能的结果中选择最优解,因此需要将不同的人工系统视为等价,并从中选择演化路径最优的系统进行研究。

b.?仿真实验的交互方式效率低下,无法快速迭代机制的更新。通常,利用仿真实验进行机制更新要遵循从模型到实际系统再到运行数据再到改进后的模型的循环过程。其中,其过程需要耗费大量的精力,而且未经过充分验证的机制在实际环境中使用也存在风险。

动态 | 受监管代币交易商寻求SEC澄清数字资产如何符合美国证券法:据Coindesk报道,受监管的代币交易商Templum希望美国证券交易委员会(SEC)澄清在区块链上跟踪或代币化的数字资产如何符合美国证券法规。为此,该公司上周向SEC提交了一份规则制定请愿书,其中概述了在某些形式的证券交易中如何利用加密资产和区块链技术。Templum联合创始人兼首席执行官Vince Molinari表示,该公司要求明确这些新生技术如何适应当前的监管计划。 至少在他们看来,它们并不存在于现有框架中。具体而言,Templum希望SEC解释区块链平台何时必须注册为清算公司或清算公司可以如何使用区块链,以及区块链平台何时必须注册为转账代理或告知数字资产发行人何时必须使用区块链转账代理人。该公司还试图了解SEC会何时可对现有的托管和客户保护规则进行改善,以允许用于跟踪证券交易的区块链。[2018/12/21]

Aletheia是基于数字仿真构建的DAO治理工具,能有效解决去中心化治理系统中机制的建模、实验与决策相关问题。其基本思想是通过形式化地描述去中心化治理系统的静态特征与动态特征来构建人工治理系统,并与实际治理系统虚实交互与闭环反馈。Aletheia通过搭建聚集各类通用治理机制的治理规则库,以及基于链上数据挖掘分析出的智能体行为规则库,并配套进行计算实验的实验平台,从而为实现治理系统与虚拟治理系统的双向引导和协同演化提供一体化工具。

Digital Asset建筑与技术战略首席技术官:对于智能合约 如何将资产与外部系统整合非常重要:据coindesk消息,区块链初创公司Digital Asset的建筑与技术战略首席技术官Shaul Kfir在Synchronize 2018会议上举例美国财政部的回购国债,表示1亿美元是一个小型交易,这是一个非常适合智能合同用例。在现实世界中,资产始终会被创造和摧毁。如何将资产与外部系统整合的问题非常重要。对于智能合约来说,最好的例子是“当人们想拥有这个逻辑上集中的IT系统,但是不希望它实际上是中心化的时候,任何时候在多个设备上都有一个工作流程。[2018/4/20]

在Aletheia中,实际运行的系统机制及运行数据将被用来构建一个仿真治理系统,同时构建的还有与该仿真系统平行运行的多个人工系统。不同的人工系统将会代表着不同的参数配置、机制改进、计算实验等,而仿真系统则可以代表真实系统的演化。

无论是采用哪种方式对DAO进行建模,通常都需要分为四个步骤:智能体建模、实际系统建模、计算实验构建、人工数据分析。

3.1智能体建模

智能体(Agent)一般是指一个具有自主活动的物理或者抽象的实体,它能感知到自己所处的环境,并能够通过自身所具备的能力,对环境作出相应的反应。智能体从简单到复杂通常可以分为三个层次:

a.?被动智能体或“无目标智能体”

b.?具有简单目标的智能体

c.?认知智能体

在DAO的建模中使用的一般属于第二类智能体,这类智能体拥有对环境的感知能力,并可以根据环境作出反应。例如,在Futarchy的模拟实验中使用的零策略智能体,就是一个简单的二类智能体,它可以依据市场中资产的价格以及随机生成的期望价格来决定是否购买某一资产。而依据其构建方式不同,智能体又可以分为:

a.?基于反射的智能体:忽略历史,相应基于事件-条件-行为的规则;

b.?基于模型的智能体:依然是基于事件-条件-行为的规则,但是对环境应有更深刻的理解。一般都会将环境以面向对象的方式编程到模型的规则中。

c.?基于目标的智能体:这类模型扩展了基于模型的智能体,将目标信息及理想情况也编写到规则逻辑中。

d.?基于效应函数的智能体:这类智能体拥有一个效应函数,并基于最大化效应函数的方式采取行动。

e.?学习智能体:这类智能体具备学习能力,并可以随着事件不断学习与周围环境的交互规则。

但是,无论采用哪种构建方式,一个智能体至少应该包含以下2个组成部分:

1.感知器。

智能体通过感知器来获得环境信息。

2.决策模块。

决策模块用来决定智能体如何根据当前的环境信息作出行为。

3.2?实际系统建模

对实际系统的建模根据研究的治理机制及建模方法,可能会多种多样。通常,系统可以看作是一个离散动态系统,系统中的所有状态都可以由一组状态变量表示,如DAO中的提案数量、智能体投票状态等。而对于DAO来说,一个治理系统一般会包含提案、审核、投票、执行、争议、仲裁几个过程的一个或多个。每个模块,每个过程都可以看作是输入和输出都是提案,并且持有一组状态变量的模块。

通常,对于实际系统的建模部分会采用UML统一建模语言进行构建,并在代码中编写每个模块的运行逻辑。而Aletheia则采用数据和逻辑分开管理的方法,所有系统数据以及智能体数据都以知识图谱的方式统一存储在图数据库中,而代码只负责业务逻辑,这样的好处有三个:

数据和逻辑分开,数据统一存在在同一个图谱中,易于管理和迁移。采用图谱的方式描述虚拟系统,更加直观和易于理解。可以随时捕捉的整个虚拟系统的状态,易于分析和扩展。

3.3计算实验构建

在实际系统仿真的基础上构建的一个或多个人工系统,每个人工系统都是对原机制的一次探索与尝试。这种设计的核心优势在于可以借助数字孪生和计算实验,快速对治理机制进行迭代更新、实验与评估等。人工系统的构建方式多种多样,大体上可以分为两大类:

1.通过算法自主演化的方式构建人工系统。

基于遗传算法,网格搜索等算法等,自主地构建人工系统,依据损失函数对人工系统进行筛选,并与原仿真系统协同演化,最终获得治理机制的改进的灵感以及治理机制的优缺点的洞察。

2.通过设置参数、修改机制等方式手工构建人工系统。

这种方式用于对治理机制的验证、压力测试以及风险监测。

3.4人工数据分析

人工系统运行过程中会产生大量的人工数据,这些数据虽然并不是真实世界产生的数据,却是对数据进行全方位测试,可以更好地设计和研究治理机制。

Q4结论

我们脑海中都有一个对现实世界的建模,我们的日常行为其实都是该模型在现实世界中的应用。因此,本文从复杂系统的角度出发,探索如何使用计算机模拟的方式来进行DAO的治理研究。

DAOrayakiDAO研究奖金池:

资助地址:?DAOrayaki.eth

投票进展:DAOCommittee2/0通过

赏金总量:150USDC

标签:DAOTHE区块链ETHPieDAO DEFITHERADIO价格区块链技术发展现状和趋势ETHYS价格

以太坊价格热门资讯
OpenSea:“OpenSea漏洞事件”致使大量NFT被窃取,多方分析疑为网络钓鱼攻击

2月20日上午,“OpenSea新迁移合约疑似出现bug导致大量高价值NFT被窃取”一事引发热议.

1900/1/1 0:00:00
ITA:Vitalik Buterin:协议设计中的封装复杂性和系统复杂性权衡

作者:VitalikButerin,原文来源:vitalik.ca?以太坊协议设计的主要目标之一是最小化复杂性:使协议尽可能简单,同时仍然使区块链能够完成一条有效区块链需要做的事情.

1900/1/1 0:00:00
ETA:千行万业的元宇宙化,核心是经济体系、沉浸感、社交关系的代入

来源:中关村科金作者:冯晟作者介绍:人工智能研究院生成式AI团队顾问。曾任职世界医药巨头法国赛诺菲公司、美国新墨西哥大学社会科学研究所等机构,拥有丰富的AI产品规划及咨询经验.

1900/1/1 0:00:00
COI:印度广告协会发布加密货币相关广告准则

据CoinDesk2月23日消息,印度广告协会已经发布了加密货币或虚拟数字资产相关广告的准则,该准则将在4月1日后适用.

1900/1/1 0:00:00
:美联储主席鲍威尔今晚将发表国会证词演讲

据新浪财经消息,北京时间3月2日23:00,美联储主席鲍威尔将在众议院金融服务委员会就半年度货币政策报告做证词陈述。明晚23:00,他还将在参议院银行委员会就进行一场类似的证词演讲.

1900/1/1 0:00:00
TRU:加拿大总理撤销紧急法案,相关银行账户已开始解冻

据Cointelegraph援引CBC新闻报道,2月24日,加拿大总理JustinTrudeau宣布,他将废除用于冻结与加拿大“自由车队”抗议者有关的210个银行账户的800万美元的紧急法案.

1900/1/1 0:00:00