反共谋基础设施MACI细节最小化：链上治理中的反共谋框架

有关本文的背景，请参阅《二次方投票和二次方资助》。 在这篇文章发表一个月后，BSC基金会在DoraHacks开发者平台HackerLink上执行了BSC生态第一轮的平方资助

在随后的15天里，我收到了全球60多个开发人员团队提交的项目。 在《二次方投票和二次方资助》上

。 这三个问题其实并不局限于平方投票，而是链上治理机制面临的共同问题。 因此，这些问题的解决方案不仅可以使平方投票更规模化、更安全，而且可以惠及更多的链上治理机制。

本文的目标是为设计“不合作平方投票”或“抗共谋平方投票”的机制做准备。 在这种场合，投票者无法相互合作，没有勾结的可能性。 这个机制的基本框架之一是

因此，这是为了进一步探讨如何使用MACI改进平方投票，消除串通的可能性。

maci : minimal anti-collusioninfrastructuremaci是一种“最小化的抗共谋框架”

、以及Shuming hao123 @ QQ.com https://vitalik.ca/general/2019/04/03/collusion.html许多链上的管理APP应用都具有“抗共谋”的特性

必须防止对投票者的审查。 假设您有智能协议(r )、公钥列表(K_1 . K_n )以及向智能协议注册这些公钥所需的函数。 另外，其他的

中选择所需的族。 只有满足以下两个条件的参与者的公钥才能访问r :帐户是“合法”参与者(独立人、社区成员)

例如，拥有某个国家的国籍，在论坛上享有充分的声誉，拥有一定数量以上的Token…) (账户所有者个人管理着钥匙) (例如，可以根据需要打印证明)。

所有用户都需要钱在stake上。如果每个人泄露了自己的私钥，得到私钥的人可以直接拿走这笔钱，该帐户将从列表中删除。 这个机制抑制了任何人把私钥交给别人。 另外，其他的

假设，操作符(operator )，他有私钥(k_omega )和相应的公钥(k_omega )。 最后，假设有一个机制(m )，它是函数(action^n )

ightarrow Outputs (，其中函数的输入是(n )个参加者的行动，输出是由该函数定义的某种输出结果。 例如，简单的投票机制是基于输入的值的函数

输出出现次数最多的值。 执行开始时间(T_{start}

(operator )开始实际状态(s _ { start }=(I : ) key=k_I，action=phi ) }，i in 1.n )。

在开始时间(T_{start} )和结束时间(T_{end} )之间，注册的参与者可以向r发送用参与者自己的私钥(k )加密的消息。 有两条信息。 承诺行为：如投票

，(I )是参加者的) r )中的id

更新密钥：的参与者传送经加密的消息(enc(msg=(I，sign ) msg=NewK_i，key=k _ omega ) )、pubkey=K_omega ) ) 在此，) newk_I )是参加者

此时，操作员的工作是按照信息上的链接的优先顺序来处理各信息。 具体处理步骤：使用运营商的私钥解密消息。 如果解密失败，或者无法解密对应的信息，则为上述两种信息

如果是，则直接跳过此消息，并使用(state[i].key )验证消息的签名。 解码的消息是约定的行为(action ) )

中选择所需的族。 设置(状态[ I ]=操作)。 如果解码消息是新的公钥，则设置) state[i].key=NewK_i ()在) T_{end} )之后

、运营商必须公布输出状态((m ) state[n].action，state[n].action ) ) ) )，同时ZK-SNARK

为什么这个机制抗共谋，参与者想证明他做了什么，例如(action ) ) ) ) ) )。

因为，如果他交换过钥匙，他可能已经做了别的动作。 参与者也可以将私钥传递给其他人，但这样该人就可以获得私钥并立即尝试修改密钥。 这样做的话1 )有50%的成功率

2 )得到钥匙的人会直接拿走以前stake的存款。 如果MACI未解决问题的接收者位于受信任硬件环境中，或者接收者为受信任多符号，则销售私钥

传统私钥在可信硬件环境下的攻击。 该环境可以防止私钥被攻击者预先不知道的私钥的第一种情况改变，因为通过专门设计的复杂签名机制，可信硬件和多个签名是不友好的

。 但是，该设计需要保证验证函数对ZKP友好。 第二种情况可以通过“面对面零知识证明”解决。 例如，参与者可以将私钥分解为(x y=k_i )。

、(X=x*G )和) Y=y*G )并分别向验证者展示包含(x )和(y )的两个信封。 验证者打开一个，检查并检查公开的(y )是否正确(X Y=K_i )。

不合作平方投票这一机制可以用于改善包括投票在内的各种链上的管理机制。 平方资助中，如果资金池规模非常大，或者平方资助用于更大场景(例如选举、国会批准预算等场景) )。