主页 > 苹果下载imtoken教程 > DeSoc最新研究:二次机制中的反串通与多样性

DeSoc最新研究:二次机制中的反串通与多样性

苹果下载imtoken教程 2023-03-29 06:46:50

贡献者:DAOctor @DAORayaki

审核人:肖恩@DAORayaki

原文:二次机制中的共谋抵抗和多元性

论文获取:

比特币的交易机制_比特币交易确认机制_比特币激励机制

Gen Weyl、Leon Erichsen 和 Joel Miller 最近发表了一篇关于二次机制中的抗共谋性和多重性的论文。 在这篇论文中,作者试图更深入地挖掘 DeSoc 论文附录中提出的一些机制:Pairwise Discounting、Cluster Match 和 Offset Match,并在此基础上提出新的机制。 本文摘录论文的重点部分进行讨论。

概括:

2018年以来,二次方资助机制(Quadratic Funding Mechanism,简称QF)成为在完全理性的个体行为者假设下民主提供公共物品的独特优化设计。 在这篇论文中,作者旨在重新定义对人类的理性和原子化描述,探索多种 QF 机制来识别参与者之间社会联系的影响,并激发跨越社会差异的合作。 考虑到这一目标,作者:

本文的研究结果显示了二次融资机制多样化的巨大潜力。 该研究还可以指导计算设计的原则和实践,弥合古典经济学与社会现实之间的认识论鸿沟。

比特币交易确认机制_比特币的交易机制_比特币激励机制

在 QF 中定义合谋阻力

为了公正地定义“反合谋”,作者借鉴了传统的QF机制。 在传统的 QF 中,随着贡献的增加,收益会递减。

当代理人出资x时,系统将O(√x)添加到外部配套资金中。 如果代理可以贡献 x 并在匹配资金中勉强维持 O(x),这可能是个问题。 然而,如果我们想象代理人可以分组协调,那么这正是普通 QF 中可能发生的情况:一个小组可以集体贡献 x 并获得在 x 上线性增长或更快增长的匹配资金。 (需要明确的是:在作者的模型中,“组”只是具有协调能力的成员的集合。)

因此,将反共谋定义为本质上是这种群体收益递减性质的延伸似乎很自然。 具体来说,我们通过三个子属性来定义共谋阻力:

比特币激励机制_比特币交易确认机制_比特币的交易机制

DeSoc最新研究:二次方机制中的抗共谋和多元性

DeSoc最新研究:二次机制中的反串通与多样性

同时,这个定义将假定组成员信息的完整性。 但这是该定义的不足之一,因为即使是 DeSoc 也难以获得完整准确的成员信息。

回顾DeSci论文中的机制比特币激励机制,进一步优化

比特币交易确认机制_比特币激励机制_比特币的交易机制

DeSoc论文中的三种机制:Pairwise Discounting、Cluster Match和Offset Match各有千秋,但都不符合上述反共谋定义的技术标准。

因此,作者设计了一种新的机制,即面向连接的集群匹配,它本质上结合了成对折扣和集群匹配的思想,以实现我们反共谋定义中的所有三个子属性。 我们还建议进一步探索另外两种有前途的机制。 比如最激动人心的Eigen Match,它利用社交图的邻接矩阵的特征向量来标定资助水平。

Eigen Match:是一个类似于Cluster-Match的过程,但是在更广泛的“组”概念下。 这种机制不是吸收一组群体,而是直接从社交图谱中发挥作用。 该机制从计算社交图的邻接矩阵的特征向量开始。 然后,将所有特征向量的集合作为一组组,并将每个代理包含在每个组中,权重对应于代理对特征向量集的索引。 这些权重然后用于计算“集群贡献”并对组贡献进行正常 QF,就像在集群匹配中一样。 形式上,令 E 为社交图谱的特征向量集。 然后 EigenMatch 可以计算出资金量为:

DeSoc最新研究:二次方机制中的抗共谋和多元性

比特币交易确认机制_比特币激励机制_比特币的交易机制

DeSoc最新研究:二次机制中的反串通与多样性

其中 c 表示所有贡献的向量。 这只是想法阶段。 每个组中每个代理的权重不一定需要恰好是该代理在该组特征向量中的权重。 另外,考虑以某种方式在计算中使用每个特征向量的特征值。

与偏移匹配一样比特币激励机制,该机制包括 n×n 矩阵中的所有代理到代理成对的社交信息,而不是仅形成局部集群。 但就像集群匹配一样,它是关于像人一样集群,而不仅仅是抵消协调的影响(这可能违反 IR)。 作者希望进一步探索这种机制将提高对多元 QF 的理解。

局限性和未来的工作

作者在这里并不是要证明哪种机制是“最好的”——相反,只是从特定的技术角度来看这个领域。 当然还有其他方法来定义抗共谋和其他一般可取的属性(例如,可能需要一种机制来激励人们诚实对待他们的社会关系)。 相关地,探索这些机制在缺乏关于群体的完整信息或缺乏更精细的群体表示(在我们的论文中它们只是聚合)的情况下的行为将很重要。