关于改善配对协调补贴的一个方法探讨

背景介绍

自2018年以来,Vitalik一直主张二次方融资作为一种在去中心化的、自组织的生态系统中生成最优公共产品供应的方法。QF面临的最具挑战性的问题之一是共谋。例如,一个参与者或一组协调的参与者可能控制多个地址或共谋“游戏系统”,并在QF中提取不合理的补贴。

自2019年以来,GitcoinGrants已经运行了多轮的QF。GitcoinGrants使用了一种创新的方法:双界协调补贴。然而,Zoudavid认为Buterin中的不协调系数的说明不是很直观,也不太令人信服。此外,Buterin中的可调整参数主要用于约束任何一对投资者的可提取价值,但在调整他们之间的共谋方面做得不够。在《关于改善配对协调补贴的提议》一文中,Zoudavid提出了一种新的方法来改进具有丰富经济意义的配对协调补贴。

不协调系数的一种新规范

采用Buterin(2019)的符号,Zoudavid提出了一种新的不协调系数的规范:

其中

是向量i和j的不协调系数,

以及

表示投资者i和j对项目p的投资,

是所有项目的总和。不协调系数衡量的是衡量的是一对投资者在作出投资决策时的独立性。有两种视角来理解等式的经济含义。

一种视角是,考虑两个向量

以及

,其中p表示项目的总数。

央行数研所公布两项关于区块链共识、数字货币支付的新专利:10月13日消息,中国人民银行数字货币研究所的两项专利近日公布,一是区块链共识方法及装置。该专利于2022年5月20日由清华大学和数研所联合申请。发明人包括数研所所长穆长春、副所长狄刚等在内。该发明可有效提升共识效率和交易吞吐量。二是一种数字货币的流转方法及系统。该专利于2022年6月10日由数研所和上海古鳌电子科技股份有限公司联合申请。本申请对应的数字货币发行及流转采用无差别的各地就近部署的方式,便于通过动态扩容来支持大规模并行处理数字货币的支付。[2022/10/13 14:26:40]

表示向量的模:

表示两个向量的内积,

表示两个向量之间的角度,则有,

如果这两个向量是正交的(如,

),那么

并且

MXC抹茶关于恢复DNA充提功能:MXC抹茶发布公告,DNA主网切换已完成,MXC抹茶现已恢复DNA的充值和提现功能。

所有MXC抹茶的DNA etp版本资产都已直接转换为DNA主网资产并且将不再支持DNA etp版本资产的充提,用户可去充值界面生成新的主网充值地址进行充值。[2020/11/25 22:06:38]

从(1)-(4),很容易可以看出,

对于(5)来说,先考虑两种比较极端的案例。

案例#1:对于每一个p,

,这意味着和没有共有的投资,这就符合

。在这个例子中,

,意味着i和j有最大的不协调性。

案例#2:如果存在一个

使得对于每一个p,有

,这意味着i和j做了同样的投资决策。尽管他们可能有不同的投资金额,但有相同的资产配置决策的百分比。这符合

的情况。在这种情况下,

MakerDAO关于锚定稳定币模块PSM的提案未获通过:Maker基金会风险小组曾于7月20日发起一项治理投票,主要内容是关于是否实施关于DAI的锚定稳定模块(PSM,PegStabilizationModule),主要是为解决稳定币作为抵押品面临的清算风险等相关问题,目前该投票已经结束,赞成票:19755.05MKR(49.96%),反对票19784.11MKR(50.04%),最终结果是未获通过。根据此前的设定,如果该投票结果以“赞成”票居多,则将在2020年7月27日进行进一步投票,以确定PSM实施的具体参数;如果是“反对”票居多,那么PSM的实施则可能需要:a)按照MIPs流程和月度治理周期进行;b)作为风险小组建议的应急措施进行。[2020/7/24]

,也就是和有最大的协调性。

其他的例子都落在案例#1和#2之间:

在0和

之间,

小于1。因此,

在0到1之间。

越大,不协调性越大。

另外一种视角是从概率论的角度理解

的含义。在事前,每个投资者的投资决定都是一个随机变量。因此,向量

分别是i和j的事后现实的投资决策。在等式(1)中,

日本金融厅关于对MinnanoBitcoin加密货币交易所的行政处分:通过MinnanoBitcoin加密货币交易所提交的报告和日本金融厅对其的检查,关东财务局长于25日对其进行了行政处分,并责令其作出以下改善。1、建立经营管理架构2、构建防和恐怖融资的管理结构3、建立账本文件的管理架构4、建立保护用户的措施管理构架5、建立系统风险管理构架及外部委托管理构架6、所采取的措施将在2018年5月14日之前,根据当局的要求随时进行书面报告。[2018/4/25]

只是对他们的投资决策之间的相关系数进行了抽样估计。协调系数越大,不协调系数就越小。

不协调系数调整后的补贴

对于项目p来说,在协调调整过i和j的补贴是

或者说i和j是完美协调时,这个补贴为0。

从等式(6),Zoudavid定义了i和j从所有项目中提取的不协调系数调整后的补贴为

值得指出的是,要用(1)估计

,可以使用前几轮二次方融资的样本数据,而不仅仅是本轮。这样,可以使不协调系数的估计更稳健,并减少对当前样本量的限制。

对配对边界的调整

假设对于任何一对投资者从所有项目中提取的总补贴引入一个上限。设B是普遍适用的上限。B类似于Buterin中的可调整参数。

加上上限B:与Buterin相似,Zoudavid使用了下面的公式:

显然,

关于小额度充值时充值手续费政策实行的公告:将于韩国时间2018年2月07日15点开始实行小额度充值手续费政策。详情请查看原文。[2018/2/5]

。同样与Buterin类似T,如果存在总补贴的特定水平,需要在满足下列约束的情况下求解出B:

用数值方法不难求出等式(9)的解。

与现有方法相比

考虑一种情况:i和j做出了同样的投资决策(如,存在一个

使得对于每一个p,有

)。用Zoudavid的方法,他们将不会得到任何补贴。但用目前的方法,他们可以获得大量的补贴,只是被可调整的参数所缩减。

用Buterin中描述的景象举例。假设k个经过协调的代理人都向一个项目贡献了一笔很大数额的资金w。由于他们是完美协调的,用Zoudavid的方法他们可以提取的资金是0。然而,用现存的方法他们可以提取的资金是

,其中M是可调整的参数。

Vitalik建议了这样一种情况:假设有两个赠款者A和B和三个项目A,B和C,其中有相同字母的捐赠者和项目对是相互串通的。现在假设A捐赠了X?0X,以及B捐赠了0?X?X。

在这个例子中,

。如果使用过去几轮二次方融资的数据,

可能会有不同的估计,而且可能会更准确。

不协调系数调整后的补贴是

,这正好是当前方法的一半水平。在把上界纳入考虑之后,总的补贴是。用当前方法,总的补贴是

从上面的例子中可以清楚地看到,在当前的方法中,没有对不协调的调整,只有对边界的调整。

针对该方法的多方观点

优势

Vbuterin认为该提议是非常有趣的洞见,其有趣之处在于用点积来直接估计多个协调者之间的不相关关系。

存在的不足

一方面,Vbuterin认为,本质上来说,任何一个代理人A总是可以通过简单地创建一个项目并对他自己和代理人B进行一笔大金额的捐赠来提高他和B的不协调系数。如果每一个A都创建一个项目

,那么其点积就不会受到任何影响。因为不会有其他的人向

捐赠,但这会增加他们的

价值到无限大,使得分式为0并且对于所有的j

来说

Vbuterin提出了约束的相关系数,其属性是,两个参与者向同一个项目捐赠会增加他们的相关分数,但两个参与者向不同的项目捐赠不会减少他们的相关分数。他认为如果Zoudavid想有一个系统,其中两个参与者捐赠给不同的项目将减少他们的相关分数,那么需要以某种方式击败发送至自身的攻击。

而Zoudavid有针对性地提出,发送至自身的攻击并不会带来很大的问题。并给出了三点理由。

首先,自发送攻击代价高昂,因为攻击者需要在他的“假”项目中锁定大量资金。而与此同时,其回报将是有限的。假设攻击者创建了一个只有他投资而没有其他投资者投资的项目。的确,通过增加对这个项目的投资,他可以增加对他和其他投资者之间相关性的估计。然而,他可以从他的“假”项目中提取的补贴仍然是0。对于其他项目,由于攻击而增加的补贴应该是非常有限的,而且这种增加不能被攻击者独享。

其次,在计算不协调系数时,可以简单地排除任何只有一个投资者的项目。例如可以认为这些项目融资失败,没有资格获得QF补贴。在法币众筹中,通常有一个门槛机制:任何一个项目在一定时间内无法获得足够的支持或资金承诺将被认为是失败的,之后任何资金承诺将被返还。Zoudavid认为QF可以纳入类似的机制。

最后,可以利用前几轮QF的数据来估计不协调系数,使其估计受单个数据点的影响更小。

另一方面,PeterWatts察觉到协调惩罚似乎依赖于一个假设:诚实的用户会将资金分散到多个项目中,完美地反映出他们的偏好。而实际上,他怀疑许多用户会因为方便或强烈的偏好而只投资一小部分。因此,真正的公共产品将会有很多高度相关的资助者,而得不到足够的补贴。

进一步探讨

Vbuterin提出了一个方法,就是将重点再移开一步,不关注项目本身,而是关注向同一项目捐赠的一对捐赠者,并提出用3条规则来判断:

1.如果代理人i和j都向项目p捐赠那么他们是更加相关的;

2.如果代理人i和j都向项目p和q捐赠,而存在某个代理人k也是都捐赠了p和q,那么i和j是更加相关的;

3.如果代理人i和j都向项目p和q捐赠,而存在某个代理人k只捐赠了p或者q中的一个,那么i和j的相关性变弱。

规则将在所有代理中进行汇总,因此,捐赠给你自己的项目比捐赠给其他100人也捐赠的项目所带来的不相关要少得多。

Vbuterin提出用更复杂的矩阵乘法的使用来描述这个问题。如果M是一个矩阵,将个人贡献的平方值映射到项目上,那么

会给出个人之间的原始相关性,然后可以做一些其他的事情来计算出高阶测量,但是这个方法需要进一步考虑。

针对Vbuterin“高阶相关测度”的建议,Zoudavid做了一些初步的研究。基本上,除了不同投资者之间的相关性,还应该考虑不同项目之间的相关性。就像协调的投资者倾向于做出相似的投资决策一样,相关的项目也倾向于吸引相似的投资者群体。在利用投资数据估计投资者之间的相关性时,应该意识到项目之间的相互依赖性。对于此,Zoudavid提出奇异值分解是研究这一问题的合适工具。然而,该解决方案可能过于复杂,难以与投资者社区沟通。此外,解决方案可能容易过拟合。

PeterWatts认为当试图减少欺诈时,最重要的是不要失去CLR的核心租户。在完全基于协调惩罚的局部最大值确定之前,可能还有更多的机制可以探索,要么补充协调惩罚,要么取代它们。衡量成功的标准不应仅仅是减少欺诈的程度,还应是资金分配到真正的公共产品的程度。针对这个问题,他提出了几个想法:

负的偏好

对于每个用户来说,项目实际上可以分为三类:

A)我愿意资助的项目

B)我没有资助的项目,但不介意他们是否得到补贴

C)我不想要补贴的项目

目前,还没有办法区分B和C。也许UI可以允许用户对某些项目投反对票,这些信息会影响补贴。其反对票只会影响没有资助的项目之间的补贴分配。因此,否决所有其他项目就相当于否决零。而这源于这样一个现实,即用户不会为每一个能让他们受益的项目提供资金。公共产品的本质是,它们中的许多人都喜欢给予小的、间接的好处,因此更容易识别那些明显是欺诈性的或不可能以任何方式使之受益的项目。

给一些独特贡献者更高的权重

大多数攻击通过贡献大量的资源来利用执行超额影响的能力。这是因为在一个抗盗版的系统中,它比捐助者更容易积累资金。因此,降低“假”项目有效性的一个简单方法是,为有更多贡献者的项目提供更高的补贴。这限制了强烈偏好的影响,但值得权衡。

一个极端是,有CLR,它允许强烈的偏好,但很容易被共谋。另一个极端是,可以根据一个项目收到的独特贡献者的数量来划分补贴。PeterWatts的想法是用一个系数来选择这个光谱上的最佳点。

结论

为解决在去中心化自治组织中最优公共产品供应的方法中存在的共谋问题,在Buterin提出了配对协调补贴的基础上,Zoudavid提出了一种新的方法对这一具有丰富经济意义的配对协调补贴进行了调整和改进,他提出了一种新的不协调系数的规范,并对配对边界进行了调整,使得估计结果更加稳健。其与当前现有的方法相比,在对不协调进行调整之外,还对边界进行了调整,使得补贴更为严格。该方法用点积来直接估计多个协调者之间的不相关关系,是一个突出亮点,但也同时存在潜在的应对发送至自身的供给的问题,以及真正的利益相关者得不到足够补贴的问题。针对这一方法,还有很多值得探讨和进一步深入挖掘的方向,包括“高阶相关测度”和惩罚协调的机制等。

参考文献

Buterin,Vitalik,Zo?Hitzig,andE.GlenWeyl,2018,“LiberalRadicalism:AFlexibleDesignforPhilanthropicMatchingFunds”.URL:https://papers.ssrn.com/sol3/papers.cfm?abstract_id=32436561

Buterin,Vitalik,2019b,“PairwiseCoordinationSubsidies:ANewQuadraticFundingDesign”.URL:Pairwisecoordinationsubsidies:anewquadraticfundingdesign

原文作者:?Zoudavid?

讨论者:Vitalik、Vbuterin、PeterWatts

贡献者:?Demo,DAOctor@DAOrayaki

原文:AProposaltoImprovePairwiseCoordinationSubsidies

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

UNI为什么元宇宙这么火?这里有一份元宇宙的加密指南

“元宇宙”不再只是一个科幻术语了。技术能改变生活,如今的我们已经对此见怪不怪了。举例来说,互联网、智能手机和云计算,都是在科幻小说出现之前出现的。数字时代的“下一个大事件”很可能即将到来,它有潜力改变我们的日常生活.

[0:171ms0-2:223ms