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
SushiSwap基于Stargate启动跨链AMM SushiXSwap:7月21日消息,SushiSwap宣布基于跨链桥Stargate启动跨链 AMM SushiXSwap,允许用户跨链桥接和交易多种代币,目前支持的网络包括Optimism、Arbitrum、Fantom、BNB Chain和Avalanche。
SushiSwap表示,SushiXSwap是一个统一的多链用户界面,用于在任何主要链之间交易代币,使用户能够在每条链上使用协议流动性池,在目标链上获得所需的资产。[2022/7/21 2:29:26]
更新密钥:参与者需要发送加密过的消息\(enc(msg=(i,sign(msg=NewK_i,key=k_i)),pubkey=K_\omega)\),其中\(NewK_i\)是参与者要变更的公钥,\(k_i\)是这个参与者当前的私钥
Silvergate银行确认将收购Meta:金色财经报道,数字货币项目Diem协会发布声明,确认将其知识产权及其它与支付网络相关的资产出售给了加州的特许银行Silvergate Bank。该协会在声明中说,这项由Meta发起的努力是为了让支付和转账更便宜、更快,但由于受到联邦监管机构的抵制,这项努力一直没有取得进展。声明称,随着交易的进行,该协会将逐步退出。此前彭博社报道称该笔出售或作价2亿美元,但目前金额仍未透露。(The block)[2022/2/1 9:25:26]
这时,操作员的工作是按照消息上链的先后顺序处理每一个消息。具体的处理过程:
Fantom生态算法稳定币项目Tomb Finance因服务费征收机制Gatekeeper被利用引发恐慌性抛售:9月4日消息,Fantom生态与FTM挂钩的算法稳定币项目Tomb Finance代币TOMB昨日最大跌幅一度达到77%,并被社区怀疑遭到攻击,对此,Tomb Finance表示,其用来在卖出TOMB时征收服务费的机制Gatekeeper被第三方利用,从而导致恐慌性抛售,但项目未遭到攻击,也没有资金被盗。Tomb Finance解释称,团队已停用该机制Gatekeeper,目前正在讨论未来发展规划,开发者没有放弃该项目的计划。[2021/9/4 22:59:49]
使用操作员私钥解密消息。如果解密失败,或者解密对应的信息无法解码成为以上的两类信息,则直接跳过这条信息
Gate.io芝麻开门创始人韩林跨海连线顶尖量化团队,深度解读顶级资金安全解决方案:11月7日,Gate.io芝麻开门联合TokenInsight举办的“扬帆三亚,量化未来”为主题的首届海岛穿越赛,顺利闭幕。据官方消息,Gate.io芝麻开门创始人韩林跨海连线,与现场二十余家顶尖量化团队分享了资金安全的顶级解决方案,并深入解读Gate.io在产品规划、技术优势及品牌理念上的独到之处。[2020/11/7 11:56:09]
使用\(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友好。
第二种情况可以通过“面对面零知识证明”解决,例如,参与者可以把私钥拆解为\(xy=k_i\),公布\(X=x*G\)和\(Y=y*G\),并且给验证者展示两个信封,分别包含\(x\)和\(y\);验证者打开一个,检查公布的\(Y\)是正确的,然后检查\(XY=K_i\)。
非合作二次方投票
这种机制可以用来改进包括投票在内的多种链上治理机制。在二次方资助中,当资金池规模非常大的时候,或者当二次方资助被用于更大的场景时(例如大选、国会审批预算等场景),勾结就会成为一个必须被解决的问题。因此,设计一个抗勾结二次方投票(Anti-collusionquadraticfunding)机制,可以规模化二次方资助。
VitalikButerin,Minimalanti-collusioninfrastructure,
https://ethresear.ch/t/minimal-anti-collusion-infrastructure/5413
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。