ROL:Rollup Day 活动一瞥,Vitalik 给出的 Rollup 信任最小化方案

Vitalik认为目前几乎所有Rollup解决方案都仍处于使用「辅助轮」,也即现阶段的Rollup还没实现去信任或者信任最小化。

北京时间2022年10月12日,VitalikButerin参加了由以太坊扩容项目Scroll举办的RollupDay活动,这场活动作为波哥大DevconVI的周边活动之一,主要专注于以太坊Rollup话题。

在RollupDay中,Vitalik做了一场以多证明机制为主题的演讲——「采用多证明机制加固Rollup系统」。

Autism Capital:有人看到Alameda前负责人Caroline在曼哈顿出现:12月5日消息,加密KOL Autism Capital发推称,一位用户声称他们于12月4日在曼哈顿SoHo西区的Ground Support Coffee看到Alameda Research投资部门前负责人Caroline Ellison,这意味着她不在香港,而在纽约,没有被拘留。

此前消息,美国检方和SEC正广泛撒网向FTX投资者和合作方收集SBF、Caroline Ellison等关键人员信息。[2022/12/5 21:23:00]

Vitalik认为目前几乎所有Rollup解决方案都仍处于使用「辅助轮」的阶段,这意味着现阶段的Rollup还没实现去信任或者信任最小化。

Cardano生态ZK-Rollup扩容项目Orbis宣布停止运营:11月24日消息,基于Cardano的二层ZK-Rollup扩容解决方案Orbis发推称,由于资金有限和不确定的条件,Orbis Labs无法继续建设,该项目已经停止。NFT已暂停,直至另行通知,届时将为核心ZK-Rollup解决方案制定后续计划。

Orbis表示正在制定一个长期的项目计划。目前Orbis Labs Github组织将保持开源,并对外部贡献者开放。[2022/11/24 8:04:13]

ZKSwap开发负责人 Alex Lee:构建支持通用 EVM 的 rollup 扩容解决方案 ZKSwap在路上:据官方消息,2021年04月12日晚,由Gate.io主办的直播专访节目《酒局币赴》邀请到ZKSwap开发负责人 Alex Lee直播分享近期最新发展。直播期间Alex与Gate.io合伙人酒儿就面对市场竞争格局产生变化后,ZKS将如何把握机遇与挑战进行了探讨与交流。

Alex 表示,目前,Layer2赛道已经是一片繁荣了,技术上不断创新,各种产品也层出不穷。ZKSwap推出的 Zkspeed 扩容方案兼顾了 ZK-Rollup、Validium 和 Optimistic rollup 方案的特点。即实现所有与 Layer1 交互的交易数据全部上链(ZK-Rollup),把单纯 Layer2 的交易数据存放在链下(Validium),交易 hash 数据上链,同时 ZKSpeed 也会提供一个完全上链的版本,这样可以实现更高的安全性,并提供零知识证明保证状态转换的有效性。虽然目前 ZKSwap 的方案还不兼容 EVM,但ZKSwap 团队的愿景正是构建一个支持通用 EVM 的 rollup 扩容解决方案,使得其他应用无需重新编写智能合约就能实现快速迁移,目前 ZKSwap 团队已经投入研究,并取得了一些进展。[2021/4/12 20:12:00]

而这些Rollup仍保留使用「辅助轮」的一个很重要的原因,就是过于复杂的代码会增加其系统的攻击面,举PSE团队所开发的ZK-EVM电路为例,它的代码有34469行。

V神:xDai仅可作为临时解决方案 长期发展需迁移到rollup:V神晚间发推称,xDai仅作为临时解决方案是可接受的。 从长远来看,它仍然是一个PoA链。 它基本上只是一个私有联盟链(而喜欢联盟的企业应用会希望拥有自己的联盟),所以它需要迁移到一个rollup。最好的方法当然是xDai本身迁移到rollup!注:xDai?Chain是一个由MakerDAO基金会与POA Network联合推出的美元稳定币区块链,也是一个与以太坊兼容的侧链,其使用稳定币xDai作为基础代币用于交易和支付gas费用,并通过STAKE代币,借助独特的POSDAO权益证明算法来进行记账和治理。[2020/9/25]

鉴于在中短期之内,Rollup代码很难实现完全没有漏洞,Vitalik列举了几个替代方案以促进Rollup更加信任最小化甚至去信任化。

高阈值治理的重写

方案一是借助高阈值的治理机制,来决定对代码的重写。

譬如通过6/8的多签方案来决定是否对代码中出现的某个Bug进行重写,这种高阈值的治理方案可以达到一定的信任最少化,但仍存在共谋的风险。

多个证明人

方案二是多个证明人。

借鉴以太坊上的多客户端机制,采用多证明系统,以预防网络的宕机情况。

如果任何人向证明程序提交两个冲突的状态根,并且都通过,则关闭该证明程序;如果7天内没有成功的消息通过特定的证明程序传递,则关闭该证明程序。

两个证明人+治理小组

方案三是两个证明人再加上治理小组,实行2/3保证机制。

它的好处有:

不必信任治理;

当一个证明系统出现漏洞,另一个系统不受影响;

理想情况下,两个证明程序应该具有非常不同的结构,以最小化同时出现漏洞的机会;

Vitalik还表示「现在ZK-ProvingEVM区块需要几个小时,但未来技术会改进,我相信你们,我们会在12秒内得到ZKSnarks证明」。

此外,还有一些其他业内人士参与了此次RollupDay活动,分享了自己的看法。

其中Optimism联合创始人MarkTyneway称「目前没有一个Rollup是抗审查的,这意味着Rollup具有无许可的领导者选举和不可升级的智能合约」。

对饱受关注的MEV问题,GauntletNetworks创始人TarunChitra表示,「在考虑如何转向去中心化Rollup和特定去中心化排序器时,一个未被讨论的问题是从多叉选择规则协调中创建大量MEV」。

Flashbots研究员AlexObadia表示,「目前还不清楚是否应该在以太坊协议中实现嵌入的构建者分离,关于PBS将如何与其他潜在的协议变化交互,仍有一些悬而未决的问题」。

关于以太坊与数据可用性的关系,的以太坊基金会研究员DankradFeist认为,「在以太坊上可以实现无限的数据可用性,但并不需要。为了实现无限的DA,以太坊必须牺牲长期数据保存的质量,并在一段时间后丢弃未使用的数据或经济价值低的数据」。

而EigenLayer创始人SreeramKannan则认为「DA层应该使其收入模型多样化,这样它们就不会受制于用户需求,而只会以交易费用的形式收取拥堵成本,运营和资本成本是DA层应考虑的另外两个收入领域」。

市场有风险,投资需谨慎。本文不构成投资建议,用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资,责任自负。

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

链链资讯

[0:15ms0-4:874ms