MACI: 链上治理中的抗勾结框架-ODAILY

EricZhang

Architect\\)，\\(operator\\)开始一个其实状态\\(S_{start}={i:(key=K_i,action=\\phi。,i\\in1...n\\).

在起始时间\\(T_{start}\\)和结束时间\\(T_{end}\\)之间，任何注册的参与者可以向R发送消息，消息用参与者自己的私钥\\(k\\)加密。有两种消息：

约定行为:例如投票。参与者需要发送加密过的消息\\(enc(msg=(i,sign(msg=action,key=k_i)),pubkey=K_\\omega)\\),其中\\(k_i\\)是这个参与者当前的私钥，\\(i\\)是参与者在\\(R\\)中的id

Dora Factory社区发表关于MACI匿名化实现方案的文章:4月1日消息，Dora Factory社区在Dora研究博客发表文章，展示通过混淆电路和不经意传输实现基于2-of-2多方安全计算的MACI 匿名化方案的具体实现。核心内容主要分为三个部分：从任意算法到逻辑电路的实现；从逻辑电路到混淆电路的实现；利用不经意传输实现多方安全计算。最后，文章总结了基于多方安全计算的匿名化方案。

目前，尚不清楚Dora Factory是否会基于此方案实现MACI匿名化。[2023/4/1 13:39:25]

更新密钥:参与者需要发送加密过的消息\\(enc(msg=(i,sign(msg=NewK_i,key=k_i)),pubkey=K_\\omega)\\),其中\\(NewK_i\\)是参与者要变更的公钥,\\(k_i\\)是这个参与者当前的私钥

ETHDenver线上黑客松将于3月25日进行Demo Day和第二次MACI投票:3月14日，ETHDenver 2022 线上黑客松将于 3 月 21 日结束。3 月 21 日-3 月 24 日为评委投票阶段，将选出 30 个决赛入围项目于 3 月 25 日进行线上 Demo Day 项目展示。第二轮 ETHDenver MACI 二次方资助社区投票将同步举行，SPORK 社区可以通过 DoraHacks 开发者平台 HackerLink.io 参与 MACI 隐私二次方投票。截至目前，ETHDenver 2022 总计提交项目已经超过 300 个。

MACI 是通过零知识证明实现抗共谋的最小化基础设施，DoraHacks 平台于 2021 年第四季度开始支持 MACI。[2022/3/14 13:55:02]

这时，操作员的工作是按照消息上链的先后顺序处理每一个消息。具体的处理过程：

阿联酋房地产开发商DAMAC计划于3月推出元宇宙项目:3月2日消息，阿拉伯联合酋长国（UAE）领先的房地产开发商之一DAMAC的总经理Ali Sajwani表示，该公司正计划在3月的某个时候推出元宇宙项目。据悉，几周前，Sajwani进行了一项在线调查。调查显示，房地产很可能会采用NFT。此外，据说Sajwani本人也在Sandbox中购买了一块虚拟地产。（News bitcoin）[2022/3/2 13:31:55]

使用操作员私钥解密消息。如果解密失败，或者解密对应的信息无法解码成为以上的两类信息，则直接跳过这条信息

BiKi平台MAC反弹上涨达29.96%:据BiKi行情显示，截至今日19:00（GMT+8），MAC反弹上涨，现报价0.1039USDT，涨幅29.96%。

SpaceTravel（MAC）拥有一个创新的旗舰应用程序“ BUBU”，该应用程序采用了卓越的卫星地图技术，人工智能（AI），大数据，区块链，增强现实（AR）和虚拟现实（VR）。 BUBU使用户能够无缝并且带有激励的方式进行导航，获得路线指示，搜索附近的商店，预订酒店和交通，寻找折扣优惠以及获得丰厚的奖励和优惠券。[2020/5/27]

使用\\(state.key\\)验证消息的签名

如果解码后的消息是约定的行为(\\(action\\))，那么设置\\(state=action\\),如果解码后的消息是一个新的公钥，那么设置\\(state.key=NewK_i\\)

在\\(T_{end}\\)之后，操作员必须公布输出状态\\(M(state.action,...,state.action)\\),同时给出一个ZK-SNARK，证明这个输出是正确的结果。

为什么这个机制是抗勾结的

假设一个参与者想要证明他做过什么，例如做过\\(action\\)\\(A\\)，他可以引用一个链上的交易\\(enc(msg=(i,sign(msg=A,key=k_i)),pubkey=K_\\omega)\\)，并且提供一个零知识证明，验证这笔交易的确是包含\\(A\\)的加密信息。但是，他无法证明他没有发出别的交易，例如他可能发出过一笔更早的交易，把公钥换成了一个新的\\(NewK_i\\)，因此前面的证明也就变得没有意义了，因为如果他更换过密钥的话，他可能已经做了别的动作。

参与者还可能把私钥给其他人，但是这样做的话那个人拿到私钥后就可以立即试图修改密钥。这样的话1)有50%的成功率，2)会导致拿到密钥的人直接拿走之前stake的存款。

MACI未解决的问题

接收方在可信硬件环境中，或者接收方在可信多签的情况下，卖出私钥

原有的私钥在一个可信的硬件环境中的攻击，这个环境可以防止私钥变更为任何攻击者们不事先知道的私钥

第一种情况，可以通过特别设计的复杂签名机制，而这种设计对可信硬件和多签不友好。不过这种设计需要确保验证函数对ZKP友好。

第二种情况可以通过“面对面零知识证明”解决，例如，参与者可以把私钥拆解为\\(x+y=k_i\\)，公布\\(X=x*G\\)和\\(Y=y*G\\),并且给验证者展示两个信封，分别包含\\(x\\)和\\(y\\);验证者打开一个，检查公布的\\(Y\\)是正确的，然后检查\\(X+Y=K_i\\)。

非合作二次方投票

这种机制可以用来改进包括投票在内的多种链上治理机制。在二次方资助中，当资金池规模非常大的时候，或者当二次方资助被用于更大的场景时(例如大选、国会审批预算等场景)，勾结就会成为一个必须被解决的问题。因此，设计一个抗勾结二次方投票(Anti-collusionquadraticfunding)机制，可以规模化二次方资助。

VitalikButerin,Minimalanti-collusioninfrastructure,

https://ethresear.ch/t/minimal-anti-collusion-infrastructure/5413

标签：IONKEYSTAACTIONHealing Potiononekeytools插件starholeTransaction Service fee

聚币热门资讯