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

美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]

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

CSW律师称播客主持人Peter McCormack将放弃诽谤诉讼辩护:在CSW诉Peter McCormack案中，Craig Wright（CSW）的律师证实McCormack打算放弃对诉讼的辩护。声明称，“Wright博士的律师SCA ONTIER LLP已确认，McCormack先生的法律代表已告知他们，其委托人打算不再继续为诽谤诉讼辩护，诉讼程序现在将继续到其自然结束。”

据此前消息，因知名比特币倡导者和播客主持人Peter McCormack对CSW身份表示质疑，CSW于2019年8月份以诽谤罪对其提起诉讼。而Stuart Hoegner曾于2019年11月份发推文称其在此案中支持Peter McCormack。（CoinGeek）[2020/10/30 11:16:02]

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

Nervos?Grants项目CKB?Studio?IDE?代码正式开源，支持Mac和Linux:据悉，Nervos?Grants项目Nervos?IDE日前已正式开源，该项目是由黑曜石实验室（Obsidian?Labs）开发的一款为了CKB编程专用的图形化IDE（集成开发环境），取名?CKB?Studio。

可一站式进行：环境搭建、编码、调试、启动节点、构造交易等常用的开发操作，大幅度简化了dApp的开发流程，降低了开发者在CKB上的技术门槛。目前CKB?Studio已正式开源，除了Mac版外，CKB?Studio?for?Linux版本也已正式上线，并将支持现有Mac版本的全部功能。

黑曜石实验室成立于美国硅谷，拥有行业领先的区块链底层技术储备，作为全球最大的区块链IDE服务提供商，已经得到了包括?Nervos?CKB,?Block.one?(EOS),?Web3?Foundation?/?Parity?(Substrate/Polkadot)?在内的多个全球公链支持，服务于100多个国家的数万名区块链开发者。[2020/6/5]

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

声音 | Joe McCann：MACD和均线两个技术性金叉预示ETH上涨行情:据EWN 6月19日消息，Joe McCann目前看好以太坊。当前，比特币和ETH都处于停滞状态，在非常小的价格范围内交易。有些人认为，尽管现在很平静，ETH可能很快就会爆发，向上突破。最近知名分析师Joe McCann声称，ETH图表发现两个标志性技术形态应该对多头来说是个好兆头。首先，ETH的一日图上的MACD最近出现看涨金叉，蓝色信号线交叉在红色和橙色线上方。这标志着ETH的17天熊市期结束。上一次在ETH日线图上看到MACD交叉看涨，该资产上涨了64％。这可能意味着另一次大涨即将到来，需要考虑到以太坊2.0的利好消息。其次，以太坊的一日图显示，其10日均线交叉于20日均线上方，这个金叉意味着多头控制着加密货币。这种模式最后一次实现，ETH上涨了69.27％。这些都预示ETH会大涨。[2019/6/19]

使用\\(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

标签：IONKEYSTACTIUnicly Feevocious Collectionmonkeys币合约地址stacks币价格OCTI价格

火必下载热门资讯