背景介绍
自2018年以来，Vitalik一直主张二次方融资作为一种在去中心化的、自组织的生态系统中生成最优公共产品供应的方法。QF面临的最具挑战性的问题之一是共谋。例如，一个参与者或一组协调的参与者可能控制多个地址或共谋“游戏系统”，并在QF中提取不合理的补贴。
自2019年以来，GitcoinGrants已经运行了多轮的QF。GitcoinGrants使用了一种创新的方法：双界协调补贴。然而，Zoudavid认为Buterin中的不协调系数的说明不是很直观，也不太令人信服。此外，Buterin中的可调整参数主要用于约束任何一对投资者的可提取价值，但在调整他们之间的共谋方面做得不够。在《关于改善配对协调补贴的提议》一文中，Zoudavid提出了一种新的方法来改进具有丰富经济意义的配对协调补贴。
不协调系数的一种新规范
采用Buterin(2019)的符号，Zoudavid提出了一种新的不协调系数的规范：
其中
是向量i和j的不协调系数，
以及
表示投资者i和j对项目p的投资，
是所有项目的总和。不协调系数衡量的是衡量的是一对投资者在作出投资决策时的独立性。有两种视角来理解等式的经济含义。
一种视角是，考虑两个向量
以及
，其中p表示项目的总数。
令
Compound社区关于为Comet市场部署初始化ENS子域的提案未通过:2月16日消息，据治理页面显示，Compound社区关于为Comet市场部署初始化ENS子域的提案近日未获得投票通过。虽然该提案的支持率达到100%，但仅有273484票，未达到40万的法定票数，因此没有通过。[2023/2/16 12:10:13]
表示向量的模：
令
表示两个向量的内积，
令
表示两个向量之间的角度，则有，
如果这两个向量是正交的（如，
），那么
并且
德国阅读量第二大的报纸FAZ发布了整版关于比特币的文章:DocumentingBTC推特表示， 德国阅读量第二大的报纸FAZ发布了整版关于比特币的文章。[2021/6/21 23:52:39]
从(1)-(4)，很容易可以看出，
对于(5)来说，先考虑两种比较极端的案例。
案例#1：对于每一个p，
，这意味着和没有共有的投资，这就符合
和
。在这个例子中，
，意味着i和j有最大的不协调性。
案例#2：如果存在一个
使得对于每一个p，有
，这意味着i和j做了同样的投资决策。尽管他们可能有不同的投资金额，但有相同的资产配置决策的百分比。这符合
的情况。在这种情况下，
Maker社区发起关于锚定稳定模块的MIP提案:Maker社区发起一项名为锚定稳定模块（Peg Stabilization Module）的预先改进提案（MIP），目前正在进行提案前的讨论中，目标是将目前不支持清算的稳定币抵押类型产生的脱锚风险从系统中去除，从而更好的维持Dai的锚定。
根据该提案，锚定稳定模块与使用USDC之类的稳定币作为Dai的抵押品非常相似，不同之处在于其直接在市场上强制每Dai的价格为1 USDC，这会让Dai更具流动行和稳定性。以USDC为例，Maker治理会批准一种带有锚定稳定模块适配器的特殊抵押类型，该适配器不允许用户将USDC作为抵押加入Maker协议（标准适配器的工作方式），但是允许两件事：鉴于特殊抵押品类型具有可用的债务上限，允许任何人将USDC交易为Dai，以及如果锚定稳定模块具有可用的USDC，将允许任何人将Dai换成USDC。
在第一种情况中，当用户使用锚定稳定模块将USDC换成Dai时，将通过特殊抵押类型适配器将提供的USDC自动生成相应数量的Dai。在第二种情况中，当用户使用锚定稳定模块将Dai换成USDC时，会自动使用Dai偿还其债务并释放相应数量的USDC。[2020/7/4]
，也就是和有最大的协调性。
其他的例子都落在案例#1和#2之间：
在0和
之间，
小于1。因此，
在0到1之间。
越大，不协调性越大。
另外一种视角是从概率论的角度理解
的含义。在事前，每个投资者的投资决定都是一个随机变量。因此，向量
公告 | 玩客云发布关于外接存储设备中缓存文件的说明:玩客云发布公告称，当用户加入“玩客奖励计划”后，系统会自动在用户共享的存储空间里产生缓存文件。缓存文件将不影响玩客云各项功能的使用，其占用的空间将和剩余未用的共享空间一起合并计算链克奖励。另外，系统从部署到使用缓存文件将会耗时一周以上，期间删除、改写缓存文件的行为将会导致系统无法产生链克奖励。[2018/7/2]
分别是i和j的事后现实的投资决策。在等式(1)中，
只是对他们的投资决策之间的相关系数进行了抽样估计。协调系数越大，不协调系数就越小。
不协调系数调整后的补贴
对于项目p来说，在协调调整过i和j的补贴是
当
或者说i和j是完美协调时，这个补贴为0。
从等式(6)，Zoudavid定义了i和j从所有项目中提取的不协调系数调整后的补贴为
值得指出的是，要用(1)估计
，可以使用前几轮二次方融资的样本数据，而不仅仅是本轮。这样，可以使不协调系数的估计更稳健，并减少对当前样本量的限制。
对配对边界的调整
假设对于任何一对投资者从所有项目中提取的总补贴引入一个上限。设B是普遍适用的上限。B类似于Buterin中的可调整参数。
给
加上上限B：与Buterin相似，Zoudavid使用了下面的公式：
日本2017年关于比特币的咨询件较上年增加了3.3倍:消费者对虚拟货币的咨询正在急剧增加。日本2017年全国消费生活中心收到的咨询件增加到2816件，比前一年增加了3.3倍。在比特币等虚拟货币价格暴涨的背景下，不断出现持投资者卷入纠纷的事件。[2018/4/17]
显然，
。同样与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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。