基于 ZK Rollup 的以太坊 Layer 2 网络 Scroll 正式推出

今年 2 月底,基于 ZK Rollup 的以太坊 Layer 2 网络 Scroll 正式推出了向所有用户开放的 Alpha 测试网,并表示将在未来几个月内改进 zkEVM 性能。就在推出新测试网的一周后,Scroll 宣布以 18 亿美元估值完成了 Polychain Capital、红杉中国等参投的 5000 万美元融资。

2022 年 6 月,笔者在《三分钟读懂 Scroll:ZK Rollup 扩容新锐选手》中简单介绍了 Scroll 的设计框架。Scroll 旨在建立「EVM 等效」的 zkEVM 扩容网络,实现以太坊上应用的无缝迁移。 

7 月,Scroll 推出了需要申请资格的 Pre-Alpha 测试网,截至 Alpha 测试网推出时,Pre-Alpha 测试网已处理了超 1540 万笔交易,共确认了超 180 万个区块,提交了 64.1 万批有效性证明,且共有超 10 万名用户参与。而 Alpha 测试网开放至今,共有约 2,145,099 个钱包地址,处理了约 10,102,684 笔用户交易,生成了 886,701 个区块,平均区块时间约为 3 秒。

本文中,笔者将介绍 Scroll 通过怎样的机制实现在去中心化的前提下继承以太坊主网的安全性。一旦生成新的区块,协调器(Coordinator)就会收到通知,并从定序器接收该区块的 Execution trace。然后,协调器将 Execution trace 分配给一个从去中心化的证明网络中随机选择的证明者生成证明。中继器(Relayer)用于观察部署在以太坊和 Scroll 上的跨链桥和 Rollup 合约。它主要有两个职责,其一是监视 Rollup 合约,跟踪 L2 区块的状态,包括其数据可用性和有效性证明。其二是监视部署以太坊和 Scroll 上的跨链桥合约的存款和提取活动,并将消息从一方传递到另一方。Rollers 作为网络中的证明者,负责为 ZK Rollup 生成有效性证明。Roller 可以利用像 GPU、FPGA 和 ASIC 等硬件设备来减少验证时间和验证成本。

下图展示了 Roller 如何为每个区块生成有效性证明,有以下步骤:

  1. Roller 首先将从协调器那里收到的执行 Trace,转换为电路 witness。

  2. 为每个 zkEVM 电路生成证明。

  3. 使用证明聚合,将来自多个 zkEVM 电路的证明合并为一个单一的区块证明 Rollup 和跨链合约。