火星链 火星链
Ctrl+D收藏火星链
首页 > DOGE > 正文

MIN:详解最小化反共谋基础设施MACI:链上治理中的抗勾结框架

作者:

时间:1900/1/1 0:00:00

作者:EricZhang

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

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

美国喜剧演员Kevin Hart推出的NFT系列将于7月6日开启预售:7月4日消息,美国喜剧演员Kevin Hart即将推出的NFT系列预售时间为7月6日,公开发售时间为7月7日,届时链接将由团队在网站上公开发布。据悉,该NFT系列基于以太坊发行,总供应量10000枚,每枚65美元。[2022/7/4 1:49:18]

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

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

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

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

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

标签:IONMINMINISTALIONF币Gemini身价多少男生说gemini是什么意思starl币团队跑路了吗

DOGE热门资讯
BOO:Facebook、微软全力进军元宇宙,明智还是冲动?

要数今年互联网热词有哪些?相信“元宇宙”一定能排上号。尤其是前不久Facebook公司更名为“Meta”一事,更是让这个概念彻底出圈,进一步走进公众视野.

1900/1/1 0:00:00
LOCK:The Giving Block推出15个新基金,促进对公益事业的加密货币捐赠

加密货币慈善平台TheGivingBlock宣布推出15个新的“公益基金”,以更好地引导向具有类似目标和使命的慈善机构捐款.

1900/1/1 0:00:00
FACE:Web2.0 时代的公司犯下了哪些罪证?Web3能否跨越Web2的社会陷阱

原标题:《Web3:跨越Web2的社会陷阱》Facebook将母公司更名为Meta,这可能是上周最令人「兴奋」的新闻了.

1900/1/1 0:00:00
HUT:普通人在元宇宙中寻找机会的两大方向:技术和内容

原标题:《十年难遇的财富风口,普通人在元宇宙中能有哪些机会?》元宇宙无疑是2021年最火的一个概念,从Roblox成功上市纽交所,短时间内市值超过400亿美元.

1900/1/1 0:00:00
Terra:美SEC向Terra开发公司和CEO提起传票执法行动

巴比特讯,11月12日,美国证券交易交易委员会宣布对Terra开发公司TerraformLabs和其联合创始人兼首席执行官DoKwon提起传票执法行动.

1900/1/1 0:00:00
区块链:互联网元宇宙概念股狂欢,区块链加持的元宇宙又将走向何方?

原标题:《元宇宙概念股狂欢:错过了互联网,还能错过元宇宙吗?》继11月5日的多家元宇宙概念股大范围涨停之后,受“元宇宙”概念的颠覆性应用场景有望逐步落地的消息影响.

1900/1/1 0:00:00