zkEVM Rollup 项目概览

​

2023 年上半年各类 zkEVM 项目喷井式而出，笔者在关注这些项目的时候主要关注以下

方面：

​

1. 当前项目进展：包括当前项目阶段，以及测试网、主网预计上线时间，是否和发展

路线图有一致性。

​

​

2.项目实际交互情况：通过与测试（主）网的交互等，主观感受网络 TPS，单笔交易

确认时间等，对网络性能有直观感受。

​

3.zkEVM 兼容性：这是最为核心的技术点也是最难评判的，即便部分项目开源，在

VM 层面的技术最为硬核，且涉及到较多的 ZK 协议。具体的，需要关注 ZK 协

议、VM 安全性、兼容程度等。

​

4.zkEVM Rollup 架构：相对于 zkEVM，一般项目都会在白皮书等技术文档中公开其

Rollup 架构，且总体差异性较少，但是要关注其整体去中心化程度。

​

5.生态运营：项目用户数量、活跃程度、链上应用生态的运营和孵化情况以及开发者

社区的维护等软性反应项目运营的情况的指标。

​

6.投融资情况。

本份研报更多的从前四点角度来对项目进行考量，并从技术层面关注 zkEVM Rollup 的

整体架构。

​

Scroll

​

Scroll 团队创立于 2021 年，致力于开发 EVM 等效的 ZK Rollup 用于扩展以太坊，近两

年来，Scroll 一直致力于与 Privacy and Scaling Explorations 团队以及其他开源贡献者

一起公开构建与字节码兼容的 zkEVM。2 月底 Scroll 宣布其 Alpha 测试网现已在 Goerli

上线，任何用户无需许可都能够参与技术测试，测试网平均出块时间为 3 秒，现已经有

2 千多万笔交易，150 多万的区块和 400 万余的交互地址。同时 Scroll 也于 4 月 11 日

开放了网站生态系统界面。

​

从近期信息披露来看，Scroll 在类型二 EVM 等效的道路上不断向前。近期，Scroll 已经

完成了所有 EVM 操作码的兼容开发工作，正在进行审计工作，同时下个目标是兼容

EIP2718 交易。

​

技术架构上，Scroll 的架构较为传统，如图 8 所示，其主要分为两个部分：核心部分是

zkEVM，用于证明 EVM 在 L2 执行的正确性；但是要将 zkEVM 变成以太坊上完整的 ZK

Rollup，还需要围绕 zkEVM 构建一个完整的 L2 架构。具体的，现有的 Scroll Alpha

testnet 由 Scroll Node、Bridge Contract 和 Rollup Contract 组成：

​

​

1. Scroll Node：由 Sequencer、Relayer 和 Coordinator 组成。

​

1. Sequencer，也就是所谓的定序器，向用户和应用开放 JSON-RPC，读取交易池中

的交易并生成 L2 的区块和状态根。现阶段 Scroll 的 Sequencer 节点是中心化的，

在之后的升级中会逐渐去中心化。

​

2.Coordinator 负责在 Roller 和 Scroll Node 之间进行通讯，当有新的区块在

Sequencer 中生成的时候，随机选择池中的 Roller 进行证明生成。

​

3.Relayer 监测 Ethereum 和 Scroll 链上的 Bridge Contract 和 Rollup Contract。

Rollup Contract 保证 L2 数据在 L1 层面的数据可用性，确保在 L1 层可以恢复 L2

区块，一旦区块的。Bridge Contract 在跨链时负责在双链合约之间通信，双向发

送任意消息或是完成跨链时资产质押和提取操作

​

​

1. Roller Network：：Roller 内置 zkEVM，在网络中充当证明者，负责为 ZK Rollup 生

成有效性证明，可见图 9。

​

1. Roller 首先将从 Coordinator 接收到的 execution trace（也就是合约具体做了哪些

操作，涉及哪些地址）转换为电路的 witnesses。

​

1. 它为每个 zkEVM 电路生成证明，最后聚合这些来自多个 ZK 电路的证明。

​

StarkWare

​

StarkWare 提供了一种基于 STARK 的扩展解决方案，以确保 L2 的安全性、快速性和无

缝用户体验。他们支持多种数据可用性模式。StarkNet 是他们的 L2 网络，而 StarkEx

则是面向企业用户的 Rollup 验证服务，DApp 可以构建在 StarkEx 服务之上。然而，目

前只能针对特定的 DApp 进行定制化的电路编写，而不是通用的 zkEVM Rollup。

StarkEx 支持一系列即插即用的服务，包括 NFT 铸造和交易、衍生品交易等。在生态方

面，去中心化期货合约交易平台 DYDX 是 StarkWare 的忠实用户。

​

StarkNet，严格来讲是 zkVM，它没有针对以太坊操作码做 ZK 电路，而是自己做了一

套更加 ZK 友好的汇编语言、AIR（代数中间表示）以及高级语言 Cairo。尽管 StarkNet

本身不兼容 EVM，但仍然可以通过包括 Kakarot（Kakarot 是一个用 Cairo 写的

zkEVM，是一个字节码等效 EVM 的 zkEVM）等其他方式兼容以太坊。根据个人理解，

StarkNet 相对来说还是一个中心化的项目，其中一点是其无法随着以太坊的安全性升级

而同步，因此需要集中研发人员补足安全性上的短板，并跟随 ETH 开发适配新的协议。

​

StarkNet 使用的 STARK 作为其证明系统，相对于 SNARK，STARK 具有更多创新。它不

需要和 SNARK 那样依赖 “可信设置”。并且，它还带有更简单的密码学假设，避免了对

椭圆曲线、配对和指数知识假设的需要，纯粹依赖哈希和信息论，因此更能抵御量子攻

击。总体而言，STARK 比 SNARK 更安全。在拓展能力方面，STARK 边际效应显著，证

明越大，总成本越低。

​

然而，在架构方面，目前系统中只有一个 Sequencer（定序器），由 StarkWare 控制，

并且只有一个 Prover（也就是生成 ZK Proof 的证明者），它不仅为 StarkNet 生成证

明，还为运行在他们自己的 StarkEx rollup 上的所有其他应用程序生成证明。

​

ZK Rollup 的变体：Validiums 和 Volitions

​

Validium 也是一种 L2 级别扩展解决方案，它使用诸如 ZK Rollup 之类的计算证明来强

制执行交易过程的完整性。和 ZK Rollup 不同的是，Validium 不会将交易数据存储在以

太坊主网上。牺牲链上数据可用性是一种权衡取舍，它可以带来可扩展性的巨大改进，

最直接的点便是 Validiums 每秒可以处理约 9000 笔交易。

​

但是在笔者眼中 Validium 不能算严格的 ZK Rollup。这个方案和 Plasma 类似，都没有

做到 L1 层的数据可用性，因此都不能算作 Rollup。和 Plasma 的区别在于 Plasma 在

L2 层中设置了类似于 OP Rollup 的 “七天退出机制”，而 Validium 利用了和 ZK 手段来

缩短 L2 层对数据的验证时间且不把数据同步到 L1 中。

​

Volition 由 StarkWare 率先推出，可让用户轻松地在 ZK Rollup 和 Validium 之间切换。

例如一些应用程序，比如去中心化衍生品交易所可能更适合 Validium，同时仍希望与

ZK Rollup 上的应用程序可互操作，那么 Volition 便提供了这种可切换性。

​

zkSync

​

与 StarkNet 类似，zkSync 一直坚持选择高级语言等效的 zkVM，并且备受瞩目，拥有

相当高的热度和锁仓量。zkSync 1.0（zkSync Lite）于 2020 年 6 月 15 日在以太坊主网

上启动，实现了约 300 TPS 的交易吞吐量，但不兼容 EVM。而 zkSync 2.0（zkSync

Era）于 2023 年 3 月 24 日启动。

​

zkSync Era 的目标是通过使用他们自定义的 VM 进行优化，而不是追求 EVM 等效性，

从而更快地生成证明。它通过强大的 LLVM 编译器支持 Solidity、Vyper、Yul 和 Zinc

（rollup 的内部编程语言），以此来实现大部分智能合约功能。由于采用了自研 VM，

zkSync Era 支持原生账号抽象，使得任何账户都可以用任何 Token 支付费用。

​

此外，通过 zkPorter 协议的应用，结合了 ZK Rollups 和分片技术，网络吞吐量得到了

指数级增长，达到 20,000+ TPS（类似于 Volitions 的数据可用性切换）。

​

总体而言，zkSync 是一个生态丰富的 L2 项目，备受开发者和投资者关注。尽管近期出

现了一些 zkSync 上彻底失败的项目案例，但仍然存在一个问题，即开发者是否能在高

级语言等效的 zkVM 上获得良好的开发和迁移体验。目前缺乏开发者层面的确切使用报

告，如果开发者有良好的体验，那么其他类型的努力贴近 EVM 的 zkVM 又有何意义

呢？我们还需要更多时间来观察。

​

Polygon zkEVM

​

Polygon 于 3 月 27 日启动 zkEVM Rollup 主网络的 Beta 版，也是以太坊等效的虚拟

机，并开源所有 zkEVM 代码。相较于 zkSync，polygon zkEVM 的锁仓量就小很多，但

是在生态中也有很多比较有趣且有活力的项目。

​

在 Rollup 设计方面，Polygon 与 Scroll 不同之处在于使用了效率证明（PoE）模型来激

励排序器（Sequencer）和聚合器（Aggregator），以解决去中心化和无许可验证器的

一些挑战。在无需许可的排序器-聚合器两步模型中，任何排序器都可以提出打包批次

的申请，以获得打包费用，但需要支付 L1 层的 Gas 费用并存入一定数量的 Token；同

时，聚合器需要设定自己的目标，以最大化保证每次证明生成的利润。此外，Polygon

与 Volition（ZK Rollup 和 Validium）模式还具有深度兼容的数据可用性模型，来为用

户提供不同层次的服务。

​

另外，Polygon 在 ZK 协议方面也投入了相当的工作量，效果也是显著的，在文档中他

们总结自己的技术优势，主要包括以下几点：

​

1. 更加兼容：Polygon 始终坚持采用 EVM 等效的 zkVM，以降低开发者迁移 dApp

的成本。同时，尽管 Polygon Miden 采用了 ZK-STARK 协议，但仍支持运行

Solidity 合约。

​

2.更容易的验证：ZK Rollup 经常受到批评的原因是生成有效性证明需要昂贵的专用

硬件，厂商运行这些硬件并将成本转嫁给用户。Polygon ZK Rollup（如 Polygon

Zero）旨在简化证明方案，使得更低级的设备可以参与其中，例如，在消费级 PC

上进行的 Plonky2 证明生成测试。

​

3.更快的证明生成和验证过程：Polygon Zero 可以在 170 毫秒内生成一个 45kb 的证

明。

​

​理论技术和现实项目之鸿沟

本文主要进行了 ZK 技术的科普，Rollup 机制的介绍，重点强调了数据可用性的重

要性，并在 ZK 还是 zkEVM Rollup 的问题上做了一定的界别。此外，在区分 zkVM 和

zkEVM 的基础上，同时还详细梳理了 zkEVM 三种类型的区别以及围绕着不同类型以及

相关的 ZK 赛道。最后，结合几名优势项目，对各自的技术框架、现有生态等进行了回

顾。

​

然而，在具体项目方面，选择高级语言等效的项目反而占据市场主流地位，甚至于较为

中心化的项目也能博得市场的青睐。即便在理论研究中谈到的第一类 VM 有很强的局限

性，但是在有限的市场客户下，“通用性” 似乎是一种累赘，我们无法分辨出 “高效拓展”

突破了哪些问题并实现了超越理论的效果。当然实际上很多人也不关注技术特征，因此

这显得不太 Web3，又很 Web3。

​

Rollup 技术的目的是进一步挖掘区块链的价值，但往往因为迫切成为市场上的 “创新性

概念”，而产生 “开倒车” 的现象，回归到中心化，这是当前市场存在的问题。

​

区块链的价值很容易被看到，谁不希望拥有一个永恒的计算机？但核心问题是，当这台

计算机的运行能力远远低于我们身边任何一台服务器，并需要大量资源投入时，即使使

用价值远低于我们的投入成本，作为一个 “公共产品”，它还能吸引每个人加入使用吗？

当我们已经拥有了相当多国家、社会甚至个人的产品时，在什么情况下，我们愿意忽视

高昂的使用成本，追求 “永远在线，永远正确” 的结果呢？我认为这是当今区块链行业

需要思考的问题。Rollup 技术在技术上可以改善这个问题，但还有一大部分问题需要留

给浮躁的市场去解决。

​

​​​ ​好的，今天就分享到这里了，感兴趣的朋友请关注我们！

微信1：victeam005

微信2：shijie20170405

Telegream：https://t.me/VICOINDAOCHAT