北京时间2022年10月12日,VitalikButerin参加了由以太坊扩容项目Scroll举办的RollupDay活动,这场活动作为波哥大DevconVI的周边活动之一,主要专注于以太坊Rollup话题。在RollupDay中,Vitalik做了一场以多证明机制为主题的演讲——「采用多证明机制加固Rollup系统」。
Rollup平台Caldera即将引入状态预编译,允许开发者定制和添加功能至他们的Caldera链:4月21日消息,Rollup平台Caldera宣布即将引入状态预编译(Stateful Precompiles),为开发人员提供一个新的界面来定制和添加功能到他们的Caldera链,无需编写Solidity即可向其EVM实例添加功能。状态预编译建立在EVM中标准的无状态预编译之上,从而实现更广泛的功能和可定制性。Caldera表示,状态预编译的用例包括启用合约担保收入,铸造EVM实例的原生硬币,部署性能更高且更低成本的智能合约,限制白名单部署智能合约等。
Foresight News 此前报道,2023 年 2 月份,Caldera 宣布已经完成 900 万美元的两轮融资,传统金融巨头红杉资本和加密原生公司 Dragonfly 领投,Neo、1kx 和 Ethereal Ventures 等参投。3 月底,Caldera 宣布在以太坊 Goerli 和 Polygon 上推出两个公共测试网(EVM 兼容),允许开发人员部署智能合约并通过 Ethers.js 和 Thirdweb 等常用工具连接,普通用户可以将测试网添加钱包,与部署的合约进行交互。[2023/4/21 14:17:24]
Vitalik认为目前几乎所有Rollup解决方案都仍处于使用「辅助轮」的阶段,这意味着现阶段的Rollup还没实现去信任或者信任最小化。
Cardano创始人:Cardano开发人员正在测试网发布和Alonzo Rollout之前修复bug:8月 28日消息,Cardano创始人Charles Hoskinson在最近发布的一段视频中为ADA社区做出了关于Cardano进入智能合约推出最后阶段的更新。他表示,为9月1日最终测试网的推出所做的准备工作正在按计划进行,一切都很顺利。Hoskinson将其称为主要测试网,将用于加密交易所和其他参与者,而不是本月早些时候推出的Alonzo Purple。该测试网将于9月1日推出,正如Cardano的交付负责人Nigel Hemsley之前宣布的那样,现在Hoskinson已经证实了这一点。据Hoskinson说,周末有很多工作要做。团队必须确保一切都与DB sink的最新版本一致,等等。到目前为止,所有的基础设施都在顺利运行。当Alonzo测试网全部推出后,它将一直保留,直到9月9日更新方案完成。后者将于9月12日推出。(U.Today)[2021/8/28 22:43:48]
Vitalik 提出基于 Truebit 搭建 EVM Optimistic Rollup 的方案:5月2日,以太坊创始人 Vitalik Buterin 在以太坊研究论坛中提出,可基于交互式验证协议 Truebit 搭建以太坊二层扩容方案 Optimistic Rollup 以解决重复验证问题,并给出了基本方案。
Truebit 可以使智能合约以标准的程序语言安全地执行复杂的计算从而降低 gas 费用,该协议已于 4 月 21 日上线以太坊主网。[2021/5/2 21:17:41]
而这些Rollup仍保留使用「辅助轮」的一个很重要的原因,就是过于复杂的代码会增加其系统的攻击面,举PSE团队所开发的ZK-EVM电路为例,它的代码有34469行。鉴于在中短期之内,Rollup代码很难实现完全没有漏洞,Vitalik列举了几个替代方案以促进Rollup更加信任最小化甚至去信任化。高阈值治理的重写
以太坊扩容方案Arbitrum Rollup测试网完成更新:区块链初创公司OffchainLabs宣布在以太坊Kovan测试网上对其以太坊扩容方案Arbitrum Rollup测试网进行了重大更新,可在新升级的Arbitrum软件堆栈上运行,并对此进行了开源,可供任何人使用。[2020/10/15]
方案一是借助高阈值的治理机制,来决定对代码的重写。譬如通过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层应考虑的另外两个收入领域」。原地址
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。