Q1背景介绍
DAO作为一个新兴的技术和组织形态，有潜力改变整个社会。截至2021年3月，DAO生态系统管理资产已经达到9.3亿美元，并且其中还不包含使用DAO的组织形式或者使用独立DAO框架的加密协议。现在，它已经成为加密领域不可或缺的治理结构。
但是，目前对于DAO的研究主要关注在治理框架的定义和治理现状的研究上，主要以理论探讨和案例分析为主，这些研究虽然有用，但是还不够支撑DAO的快速发展。DAO作为一个复杂的社会实践，需要背后的理论框架来支撑。以多智能体建模为代表的复杂系统研究，自提出以来，发展迅速，已经在经济学、学、社会学和生态学领域应用广泛。复杂系统科学的目的是对系统一般属性的理解和探讨，“复杂系统“也没有精确的定义，一般认为是由多个相互作用的部分组成的整体，而整体的行为超过了个体行为的总和，达到了一加一大于二的效果。DAO是典型的具有社会复杂性和工程复杂特性的复杂系统，而基于多智能体系统的计算机辅助研究方法已经在复杂系统领域应用多年,因此本文尝试探讨如何利用多智能体模拟的方法来进行DAO治理机制的研究。
Q2研究问题
早在20世纪90年代，西方学者就已经将多智能体应用于复杂系统的研究当中，并发展出多样的多智能体平台和设计语言。依据复杂系统的研究思路，可以借助计算机从以下三个方面对DAO进行研究：
Makerdao联创设立1400万美元气候基金的提议遭到社区质疑:2月7日消息，Makerdao联合创始人Rune Christensen最近提出 Maker 改进提案 (MIP) 建议使用 20,000 个makerdao (MKR)代币来资助科学可持续发展基金。一个旨在应对气候变化和有关能源解决方案的错误信息的想法。目前 20,000 个makerdao (MKR)代币的大约价值为 1,400 万美元。该草案在社交媒体上受到批评，有人将Christensen的想法与有效利他主义运动进行了比较，该运动得到了 FTX 联合创始人Sam Bankman-Fried的支持。还有用户表示：他为什么不用自己的钱，而是用MKR国库？[2023/2/7 11:52:58]
DAO中的涌现。DAO是由组织成员之间相互协作组成的新型组织，其个体之间的协作关系如何表现为DAO的整体组织形态，可以认为是DAO这个复杂系统的一个涌现现象。
DAO的临界点和相变。DAO的硬分叉属于DAO组织的一次系统状态的巨大改变，可以看作是复杂系统的一种相变。相变之后会产生新的稳定状态，也就是说，可以通过研究DAO系统的临界状态来观察导致DAO分叉的因素。
DAO的多智能体建模。由于真实的DAO系统的复杂性，将其完全地还原和仿真是难以做到的。依据复杂系统的研究思路，可以通过将重要的特征抽象，以计算机模拟的形式来仿真DAO系统，以观察和研究其中的涌现、相变和临界状态。
BendDAO上Ape Staking服务已质押149万枚APE:金色财经报道，据BendDAO网站数据显示，BendDAO上的Ape Staking服务已质押149万枚APE。据悉，BendDAO在12月7日上线Ape Staking服务，支持BAYC/MAYC生息。[2022/12/12 21:39:36]
另一方面，依据DAO治理研究的内容及其研究目的，计算机辅助系统又可以用于进行以下三个方面的研究：
1.治理机制的可行性验证。
治理机制的设计是一个同时具有社会复杂性和工程复杂性的任务，设计过程中很难预估其在实际系统是否有效。
例如，GnosisDAO的futarchy机制，由于其提案成本问题，在第三轮投票以后被逐渐弃用。
借助于计算机辅助模拟，可以在机制投入实际环境前对其可行性进行验证，并不断迭代反馈改进机制的设计。
2.极端场景下的计算实验。
由于DAO生态天然的复杂性，项目的可重复叠加、治理代币之间的繁杂嵌套关系，使得DAO的复杂度远超传统组织。
而在极端场景下，DAO的治理机制能否按照预定的轨迹运行，则关系着DAO的稳定性及鲁棒性。
Solana生态PFP项目DeGods宣布DeDAO已收购一支BIG3联盟的球队:4月28日消息，Solana生态PFP项目DeGods宣布其社区DeDAO已收购一支BIG3联盟的球队，计划以DUST代币提供门票、商品和部分所有权，还将授权社区使用IP来构建独立的收入流。
DeGods是一个通缩NFT项目，初始总量为1万枚。在DeGods生态系统中，DeGod持有者可以选择质押NFT来铸造DUST代币，也可以选择销毁DeGod来获取DUST代币，稀有度越高，获得的DUST代币越多。DeGods整个系列一天最多能销毁一个，而且会筛选稀有度最低的那个来销毁。[2022/4/28 2:37:45]
使用多智能体系统，可以对治理机制在极端环境下的反应进行研究。
3.治理风险的检测及其损失的预估。
DAO治理机制的设计过程中极易引入逻辑漏洞，例如2021年7月13日，以太坊和币安智能链上的借贷协议DeFiPie由于逻辑漏洞而遭受黑客攻击，造成了PIE代币在24小时内跌幅约66%。
这种漏洞一般很难在设计早期发现，而一旦投入应用后被发现将会造成巨大损失。
Q3研究方法
基于计算机辅助的方法进行DAO的研究，可以选择传统复杂系统的建模工具，例如Netlogo、AnyLogic和Jade等。这类建模工具在复杂系统的研究中已经被大量使用，但是这类建模工具用于DAO的研究中还存在以下问题：
MakerDAO发起有关稳定费变更及等一系列执行投票:据官方消息，1月16日，治理促进者和Maker Foundation智能合约团队已将一系列执行投票纳入投票系统，投票内容如下：1.将变更多种保险库类型的稳定费；2.将Set Protocol列入多个oracle白名单；3.将Gnosis列入多个oracle白名单；4.增加盈余拍卖缓冲（也称“系统盈余”）从400万枚DAI至1000万枚DAI；5.撤销禁用清算的稳定币保险库类型的清算断路器的权限，这将意味着清算不能在没有等待GSM暂停延迟的情况下启用这些保险库类型。[2021/1/16 16:18:48]
a.将实际系统作为唯一真实系统，人工构建的系统作为该系统的仿真。这种建模方式对于研究复杂系统的演化规律、发现系统的临界状态、研究复杂系统的相变诱因等是一个有效的方法，但是对于从零开始构建一个机制来讲并不合适。对于设计一个治理机制来说，更重要的是从众多可能的结果中选择最优解，因此需要将不同的人工系统视为等价，并从中选择演化路径最优的系统进行研究。
b.仿真实验的交互方式效率低下，无法快速迭代机制的更新。通常，利用仿真实验进行机制更新要遵循从模型到实际系统再到运行数据再到改进后的模型的循环过程。其中，其过程需要耗费大量的精力，而且未经过充分验证的机制在实际环境中使用也存在风险。
MakerDAO添加BAL和YFI为抵押品:金色财经报道，MakerDAO官方发推文称，BAL和YFI现在已可用作Maker Vaults的抵押品。[2020/11/13 14:10:50]
Aletheia是基于数字仿真构建的DAO治理工具，能有效解决去中心化治理系统中机制的建模、实验与决策相关问题。其基本思想是通过形式化地描述去中心化治理系统的静态特征与动态特征来构建人工治理系统，并与实际治理系统虚实交互与闭环反馈。Aletheia通过搭建聚集各类通用治理机制的治理规则库，以及基于链上数据挖掘分析出的智能体行为规则库，并配套进行计算实验的实验平台，从而为实现治理系统与虚拟治理系统的双向引导和协同演化提供一体化工具。
在Aletheia中，实际运行的系统机制及运行数据将被用来构建一个仿真治理系统，同时构建的还有与该仿真系统平行运行的多个人工系统。不同的人工系统将会代表着不同的参数配置、机制改进、计算实验等，而仿真系统则可以代表真实系统的演化。
无论是采用哪种方式对DAO进行建模，通常都需要分为四个步骤：智能体建模、实际系统建模、计算实验构建、人工数据分析。
3.1智能体建模
智能体(Agent)一般是指一个具有自主活动的物理或者抽象的实体，它能感知到自己所处的环境，并能够通过自身所具备的能力，对环境作出相应的反应。智能体从简单到复杂通常可以分为三个层次：
a.被动智能体或“无目标智能体”
b.具有简单目标的智能体
c.认知智能体
在DAO的建模中使用的一般属于第二类智能体，这类智能体拥有对环境的感知能力，并可以根据环境作出反应。例如，在Futarchy的模拟实验中使用的零策略智能体，就是一个简单的二类智能体，它可以依据市场中资产的价格以及随机生成的期望价格来决定是否购买某一资产。而依据其构建方式不同，智能体又可以分为：
a.基于反射的智能体：忽略历史，相应基于事件-条件-行为的规则；
b.基于模型的智能体：依然是基于事件-条件-行为的规则，但是对环境应有更深刻的理解。一般都会将环境以面向对象的方式编程到模型的规则中。
c.基于目标的智能体：这类模型扩展了基于模型的智能体，将目标信息及理想情况也编写到规则逻辑中。
d.基于效应函数的智能体：这类智能体拥有一个效应函数，并基于最大化效应函数的方式采取行动。
e.学习智能体：这类智能体具备学习能力，并可以随着事件不断学习与周围环境的交互规则。
但是，无论采用哪种构建方式，一个智能体至少应该包含以下2个组成部分：
感知器。
智能体通过感知器来获得环境信息。
2.决策模块。
决策模块用来决定智能体如何根据当前的环境信息作出行为。
3.2实际系统建模
对实际系统的建模根据研究的治理机制及建模方法，可能会多种多样。通常，系统可以看作是一个离散动态系统，系统中的所有状态都可以由一组状态变量表示，如DAO中的提案数量、智能体投票状态等。而对于DAO来说，一个治理系统一般会包含提案、审核、投票、执行、争议、仲裁几个过程的一个或多个。每个模块，每个过程都可以看作是输入和输出都是提案，并且持有一组状态变量的模块。
通常，对于实际系统的建模部分会采用UML统一建模语言进行构建，并在代码中编写每个模块的运行逻辑。而Aletheia则采用数据和逻辑分开管理的方法，所有系统数据以及智能体数据都以知识图谱的方式统一存储在图数据库中，而代码只负责业务逻辑，这样的好处有三个：
数据和逻辑分开，数据统一存在在同一个图谱中，易于管理和迁移。
采用图谱的方式描述虚拟系统，更加直观和易于理解。
可以随时捕捉的整个虚拟系统的状态，易于分析和扩展。
3.3计算实验构建
在实际系统仿真的基础上构建的一个或多个人工系统，每个人工系统都是对原机制的一次探索与尝试。这种设计的核心优势在于可以借助数字孪生和计算实验，快速对治理机制进行迭代更新、实验与评估等。人工系统的构建方式多种多样，大体上可以分为两大类：
通过算法自主演化的方式构建人工系统。
基于遗传算法，网格搜索等算法等，自主地构建人工系统，依据损失函数对人工系统进行筛选，并与原仿真系统协同演化，最终获得治理机制的改进的灵感以及治理机制的优缺点的洞察。
2.通过设置参数、修改机制等方式手工构建人工系统。
这种方式用于对治理机制的验证、压力测试以及风险监测。
3.4人工数据分析
人工系统运行过程中会产生大量的人工数据，这些数据虽然并不是真实世界产生的数据，却是对数据进行全方位测试，可以更好地设计和研究治理机制。
Q4结论
我们脑海中都有一个对现实世界的建模，我们的日常行为其实都是该模型在现实世界中的应用。因此，本文从复杂系统的角度出发，探索如何使用计算机模拟的方式来进行DAO的治理研究。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。