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

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

ETH Research Grant将首次使用基于PLONK的MACI系统:1月14日消息，以太坊长期研究资助（ETH Research Grant）将于1月15日在DoraHacks.io开始二次方投票。本次投票将首次实验使用DoraHacks MACI-PLONK（基于PLONK系统的MACI零知识投票），这是首次将MACI拓展至PLONK。通过DoraHacks MACI-PLONK，零知识治理的电路设计将更加灵活，并只需要一次零知识证明可信启动。

此前，DoraHacks-MACI使用Groth16系统对投票结果进行零知识证明，自2021年以来，DoraHacks-MACI已经在多次社区治理中被使用，包括Dora Grant DAO、ETHDenver、OpenSea黑客马拉松等。DoraHacks MACK-PLONK将逐步替代DoraHacks MACI，成为未来零知识治理的基础设施。[2023/1/14 11:11:53]

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

Cool Cats与Machinations合作验证Cooltopia的经济体系设计:3月23日消息，Cool Cats 团队宣布与游戏经济系统咨询组织 Machinations 合作，以完善 Cooltopia 的经济体系设计。

Cooltopia 是为 Cool Pets NFT 系列开发的网页端游戏，可允许 Cool Pets NFT 持有者通过完成任务和收集战利品与宠物互动，并帮助宠物升级。根据当前设定，Cool Pets 持有者将可通过完成游戏任务赚取游戏内的通用 Token MILK。[2022/3/23 14:13:27]

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

动态 | Peter McCormack发推用关键词评价加密领域:英国加密节目主持人Peter McCormack今日发布推特，“我如何评价加密（Crypto）：1.正统的（比特币）；2.有趣的（门罗币）；3.集中化/ SQL更好的（ETH）；4.误入歧途（区块链上的土豆「指区块链食品溯源」）；5.区块链局（HEX）；6.只是一个局（OneCoin）。”[2019/12/11]

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

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

分析 | 分析师：一日MACD将出现看涨交叉 BTC有望反弹至1.7万美元:分析师Joe McCann指出，一日MACD将在比特币一日图上出现看涨的交叉，即EMA 12（蓝线）与EMA 26将交叉在信号线的上方。 Ethereum World News作者Nick Chong表示，正如McCann在图表中所指出，过去两次比特币一日图见证了这一系列事件的实现，在这两个看涨情况发生后的一两周内，BTC上涨了60%。如果BTC从目前水平上涨60%，它将达到1.7万美元的价位——略低于比特币2万美元的历史高点。值得注意的是，如果交叉真的形成了，至少需要五天才能实现，除非BTC看到任何急剧上涨或下跌的尖峰。（Ethereum World News）[2019/7/21]

如果解码后的消息是约定的行为(\(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友好。

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

非合作二次方投票

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

VitalikButerin,Minimalanti-collusioninfrastructure,

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

标签：MACIONACKKEYMACPointvaluerightzillionradioshack币暴onekey8官网

PEPE币热门资讯