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
MaC VC Fund II完成2.03亿美元募资，将投资Web3和金融科技领域:7月4日消息，MaC Venture Capital宣布旗下第二支基金MaC VC Fund II完成2.03亿美元募资，新基金将专注于Web3、金融科技等领域，预计每笔投资规模将在200-300万美元之间。
截至目前，MaC Venture Capital已投资了50多家公司，包括Pipe、Edge Delta、Stoke、Epsilon3、Spartan Radar、以及NFT儿童社交平台Zigazoo 等。（Blackenterprise）[2022/7/5 1:50:41]
更新密钥:参与者需要发送加密过的消息\\(enc(msg=(i,sign(msg=NewK_i,key=k_i)),pubkey=K_\\omega)\\),其中\\(NewK_i\\)是参与者要变更的公钥,\\(k_i\\)是这个参与者当前的私钥
动态 | Brave浏览器整合Wayback Machine 可查找消失网页存档:据cnBeta报道，由Mozilla前CEO Brendan Rich打造的Brave隐私保护浏览器，已经推出404时光机器（WayBack Machine），可使用户在一些被删除或者因某些原因无法查看的网页上，查找已消失网页在互联网档案馆（InternetArchive）中的历史存档。
报道称，这项技能的背后原理并不复杂，只是在浏览器遇到404报错的时候，Brave可允许一键加载存档页面。同时，除了404错误，Brave浏览器还可涵盖408、410、451、500、502、503、504、509、520、521、523、524、525和526等错误。[2020/2/26]
这时，操作员的工作是按照消息上链的先后顺序处理每一个消息。具体的处理过程：
动态 | Peter McCormack正在考虑向澳本聪、CoinGeek创始人、nChain CEO提起集体诉讼:英国加密节目主持人Peter McCormack表示，其正在考虑向澳本聪（Craig Wrigh）、CoinGeek创始人Calvin Ayre和nChain的首席执行官Jimmy Nguyen提起集体诉讼，因为上述人士错误地声称澳本聪就是中本聪且BSV是中本聪的愿景，这可能会误导投资者。加密社区的许多成员对McCormack的想法表示赞赏，并表示会支持他。也有寻找中本聪的加密研究员建议进行众筹，以加快这一进程。（cryptoslate）[2019/8/30]
使用操作员私钥解密消息。如果解密失败，或者解密对应的信息无法解码成为以上的两类信息，则直接跳过这条信息
动态 | EMAC收到7万柚子失主的工单系统捐赠:据IMEOS报道，EMAC自8月10日面向社区募集工单系统的捐赠以来，收到社区的全力支持。EMAC所需的工单系统已经由社区成员应嘉杰提供捐赠。
捐赠者应嘉杰曾于7月初丢失的7万余枚EOS，已经由ECAF正式下达仲裁令并且成功将被盗EOS冻结在盗币账户中。
目前EMAC仍然没有恢复到正常业务状态，官网正在搭建阶段，工单系统将于官网上线后接入，届时由EMAC发布公告恢复正常业务状态。[2018/8/14]
使用\\(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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。