原文作者:Blockworks Research,Westie
原文编译:深潮 TechFlow
鉴于 EVM 在开发人员中的普及,人们一直希望将 zk Rollup 技术的可扩展性与 EVM 的开发者体验相结合。这导致了一场 zkEVM 系统的军备竞赛,其中主要的参与者是 Scroll、zkSync 和 Polygon,而 Scroll 相对于其他两者来说一直保持低调。
由于 EVM 的限制,zkEVM 面临着兼容性/等价性和性能之间的必要权衡。 Vitalik Buterin 列出了从 1 到 4 的等级,以努力阐明各种 zkEVM 设计选择之间的区别:
Scroll 处于这种权衡的中间:他们正在建立一种 2.5 的 zkEVM。
这意味着它们与 EVM 等效,只是对 Gas 成本结构的方式进行了非常小的改变。
Scroll 的与众不同之处
通过保持 EVM 的等效性,构建者能够直接将他们的应用程序从 Ethereum L1 迁移到 Scroll,而无需对其代码进行任何修改。它们也是完全开源的,允许任何人使用和验证他们的代码。
Scroll 还为他们的排序器使用了 Geth 的一个 分叉 ,使其继承经过实战检验的系统的同时,实现与以太坊的最佳兼容性。
这也意味着他们可以很容易地将任何新的升级应用于 Geth;其他 zkEVM 可能需要增加代码复杂性才能进行升级。
Scroll 的架构
Scroll 的架构有三个主要组成部分:Scroll 节点、Roller 网络和验证桥。
Scroll 节点的目的是从用户的交易中构建块并将它们提交给 L1,以及接收来自 L1 的消息。
Scroll Node 的三个主要组成部分是排序器、协调器和中继器。
排序器从 L2 mempool 接收一批交易,并执行它们以生成一个新的 L2 块。
然后,该区块的执行轨迹被发送到协调器,协调器将其传递给一个随机选择的 Roller 以生成证明。
中继器监控 L2 区块的状态,及其它们的数据可用性和来自滚动合同的有效性证明,以及来自桥接合同的存款和提款事件,以确保一切都可以被验证。
Roller 网络负责生成有效性证明。Roller 网络将从协调器那里接收执行轨迹,将其发送到七个不同的证明电路中,将其汇总到一个最终电路中,并将最终的块证明送回协调器。
验证桥包含两个合约:Rollup 合约和 跨链 桥合约。
跨链桥合约处理 L1 和 L2 之间发送的消息,包括 ERC-20 Token 的桥接交易。
Rollup 合约接收并存储状态根和区块数据作为以太坊状态和 calldata。一旦一个区块证明被 Rollup 合约验证,该区块就被认为是最终确定的。
总的来说,在排序器创建一个区块序列并生成其证明后,多个区块证明被汇总成一个单一的证明,并通过协调器发送到 Rollup 合约,在那里区块被验证并被最终确定。
路线图
在过去的 3 个月里,Scroll 一直处于 Pre-Alpha 测试阶段,包括经过许可的 智能合约 部署和白名单用户访问。
下一个阶段将是 Alpha 测试网,他们将允许无权限的智能合约部署,任何人都可以使用。
Scroll 的主网将有两个阶段的启动。
第一阶段将使用中心化的排序器和去中心化的证明者一起运行;
第二阶段的主要目标是将排序器去中心化。
虽然第二阶段仍在积极研究中,但目前的计划将包括用于 MEV 提取的 PBS 模型、链上挑战机制和一个排序器委员会,以允许在以太坊 L1 上完成交易之前实现最终确定。
原文链接