zkEVM 面临着兼容性/等价性和性能之间的必要权衡

撰写：Blockworks Research，Westie

编译：深潮 TechFlow

鉴于 EVM 在开发人员中的普及，人们一直希望将 zk Rollup 技术的可扩展性与 EVM 的开发者体验相结合。这导致了一场 zkEVM 系统的军备竞赛，其中主要的参与者是 Scroll、zkSync 和 Pogon，而 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 上完成交易之前实现最终确定。