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

Tornado Cash分叉混币应用Primacy Poolsv0现已上线Optimism:金色财经报道，据Tornado Cash早期贡献者Ameen Soleimani发推称，Tornado Cash分叉混币应用Primacy Poolsv0现已上线Optimism，并表示这是实验代码，尚未经过审计，受信任设置上不受信任的。MolochDAO正计划为此后的开发提供后续资助。

此前报道，Ameen Soleimani与另一位开发者创建Primacy Pools，允许用户匿名发送与接收以太坊，并新增功能允许用户公开证明自己不是朝鲜人或其他类型罪犯。[2023/3/6 12:44:11]

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

美SEC指控Crowd Machine涉嫌进行未注册的ICO:金色财经报道，美国证券交易委员会指控澳大利亚男子Craig Sproule涉嫌就未注册的ICO进行了虚假声明。该机构对Sproule和他的两家公司Crowd Machine和Metavine提起诉讼，指控其对Crowd Machine Compute Tokens(CMCT)进行ICO。发行时间为2018年1月至4月。SEC声称Sproule和Crowd Machine在没有提醒投资者的情况下将580万美元转移给了南非的金矿实体。此外，SEC声称CMCT的销售构成了未经注册的证券发行，并且Sproule和他的公司在没有确定投资者是否为合格投资者的情况下故意出售了代币。[2022/1/7 8:31:15]

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

动态 | Crowd Machine团队遭黑客攻击 10亿CMCT被盗:据coindesk消息，Crowd Machine团队的一篇帖子称，上周六，一名黑客入侵了该公司的加密货币钱包，偷走了大量该应用程序的token Crowd Machine Compute token (CMCT)。根据Etherscan数据显示，窃贼可能已经偷走了逾10亿CMCT，其中大部分被转移到了交易所。[2018/9/26]

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

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

动态 | Opera计划将加密钱包引入Linux、Mac和Windows平台。:据Linux公社 消息，Opera软件公司宣布，他们计划在即将发布的面向PC稳定版的Opera中，将其用于Android移动网络浏览器的加密钱包引入Linux、Mac和Windows平台。[2018/8/10]

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

标签：MACIONKEYSTAMacroverseMINION币imkey硬件钱包官网starl币贴吧

欧易okex官网热门资讯