一文了解Scroll:zkEVM竞赛的低调挑战者_ROL:ROL

原文作者:BlockworksResearch,Westie

原文编译:深潮TechFlow

鉴于EVM在开发人员中的普及,人们一直希望将zkRollup技术的可扩展性与EVM的开发者体验相结合。这导致了一场zkEVM系统的军备竞赛,其中主要的参与者是Scroll、zkSync和Polygon,而Scroll相对于其他两者来说一直保持低调。

由于EVM的限制,zkEVM面临着兼容性/等价性和性能之间的必要权衡。VitalikButerin列出了从1到4的等级,以努力阐明各种zkEVM设计选择之间的区别:

Scroll处于这种权衡的中间:他们正在建立一种2.5的zkEVM。

这意味着它们与EVM等效,只是对Gas成本结构的方式进行了非常小的改变。

分叉,使其继承经过实战检验的系统的同时,实现与以太坊的最佳兼容性。

这也意味着他们可以很容易地将任何新的升级应用于Geth;其他zkEVM可能需要增加代码复杂性才能进行升级。

Scroll节点的目的是从用户的交易中构建块并将它们提交给L1,以及接收来自L1的消息。

ScrollNode的三个主要组成部分是排序器、协调器和中继器。

排序器从L2mempool接收一批交易,并执行它们以生成一个新的L2块。

然后,该区块的执行轨迹被发送到协调器,协调器将其传递给一个随机选择的Roller以生成证明。

中继器监控L2区块的状态,及其它们的数据可用性和来自滚动合同的有效性证明,以及来自桥接合同的存款和提款事件,以确保一切都可以被验证。

Roller网络负责生成有效性证明。Roller网络将从协调器那里接收执行轨迹,将其发送到七个不同的证明电路中,将其汇总到一个最终电路中,并将最终的块证明送回协调器。

验证桥包含两个合约:Rollup合约和跨链桥合约。

跨链桥合约处理L1和L2之间发送的消息,包括ERC-20Token的桥接交易。

Rollup合约接收并存储状态根和区块数据作为以太坊状态和calldata。一旦一个区块证明被Rollup合约验证,该区块就被认为是最终确定的。

总的来说,在排序器创建一个区块序列并生成其证明后,多个区块证明被汇总成一个单一的证明,并通过协调器发送到Rollup合约,在那里区块被验证并被最终确定。

智能合约部署和白名单用户访问。

下一个阶段将是Alpha测试网,他们将允许无权限的智能合约部署,任何人都可以使用。

Scroll的主网将有两个阶段的启动。

第一阶段将使用中心化的排序器和去中心化的证明者一起运行;

第二阶段的主要目标是将排序器去中心化。

虽然第二阶段仍在积极研究中,但目前的计划将包括用于MEV提取的PBS模型、链上挑战机制和一个排序器委员会,以允许在以太坊L1上完成交易之前实现最终确定。

原文链接

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

金宝趣谈

[0:15ms0-3:577ms