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

比特币投资者Peter McCormack购买英国贝德福德足球俱乐部:金色财经报道,著名的比特币投资者和播客主持人Peter McCormack周四在推文中宣布,他已经购买了英国职业足球俱乐部贝德福德足球俱乐部并成为其主席。他正在招募比特币投资者和公司来贡献资金以吸引更好的球员和经理并迅速改善该俱乐部。McCormack表示,贝德福德足球俱乐部将作为“比特币俱乐部以比特币标准运营”。他补充说,贝德福德将为俱乐部的球迷推出一项比特币教育计划,并支持开源开发。该俱乐部宣布比特币矿业公司Compass Mining将成为其第一个官方合作伙伴。[2021/12/17 7:44:42]

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

BiKi今日上线MAC,开盘涨幅达150%:据官方消息,BiKi平台今日15:00(GMT+8)已开放MAC/USDT交易对,开盘最高涨幅高达150%,开盘价0.08USDT,现价0.14USDT。

SpaceTravel(MAC)拥有一个创新的旗舰应用程序“ BUBU”,该应用程序采用了卓越的卫星地图技术,人工智能(AI),大数据,区块链,增强现实(AR)和虚拟现实(VR)。 BUBU使用户能够无缝并且带有激励的方式进行导航,获得路线指示,搜索附近的商店,预订酒店和交通,寻找折扣优惠以及获得奖励和优惠券。[2020/5/25]

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

币情观察室 | 这样运用MACD金叉死叉 想不赚钱都难:3月5日11:00,金色盘面邀请保罗大帝做客金色财经《币情观察室》直播间,将分享《这样运用MACD金叉死叉,想不赚钱都难!》,敬请关注,欲进群观看扫描下图二维码报名即可![2020/3/5]

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

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

如果解码后的消息是约定的行为(\\(action\\)),那么设置\\(state=action\\),如果解码后的消息是一个新的公钥,那么设置\\(state.key=NewK_i\\)

分析 | 分析师:一日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]

在\\(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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:0ms0-0:895ms