撰文：Immutable X

来源：W3.Hitchhiker

译者：Hakeen，修订：Evelyn

ZK-Rollup 长期以来被视为以太坊拓展性的终局。然而，尽管他们对以太坊拓展路线很重要，但在几个关键点上仍有几点不确定性：

1. 到底什么是 zk-Rollup？

2. 针对应用优化的 Rollups 和通用 Rollups 的区别是什么？

3. 什么是zk-EVM Rollup？像 EVM 等效性和 EVM 兼容性等术语究竟是何意义，并且其如何适用于 Rollups 的？

4. Zk-Rollup 生态系统的现状如何，这对我的项目又意味着什么？

如果你是一个希望了解以太坊扩展的下一阶段的开发者，那希望这篇文章能对你有所帮助。

什么是 zk-Rollup？

Zk-Rollup的主要实现是：证明系统如STARKs/sSNARKs，使用亚线性的处理流程来验证线性的语句数量（例如，1000个语句 → 10个验证人确认，而10000个语句只需要11个验证人去确认），这个特性就能让我们处理大量的区块链交易流程：

1. 用户抵押其资产在 L1 的 zk-Rollup 智能合约上

2. 用户提交包括这些资产的交易给 L2 的 sequencer (定序器)，sequencer把交易集合到有序的批次中，并且生成有效性证明，例如stark/snark，最后更新状态。

3. 这个状态更新和证明被提交给我们的 L1 zk-Rollup 智能合约，并由其验证，用于更新我们的 L1 状态

4. 用户可以使用这个 L1 状态（取决于不同的数据可用性机制）来检索他们的资产，从而实现完全的自我托管和 "以太坊安全性"

（Simplified ZK-Rollup Architecture）

在这里，只要我们核实验证的gas成本与交易规模呈现亚线性的关系，那么就可以验证更大规模的交易。要想更详细地了解这个过程，我推荐 Vitalik 的Incomplete Guide to Rollups或 Delphi 新发布的Complete Guide to Rollups。

针对应用优化的 Rollup 和通用 Rollup 的区别是什么？

在特定于应用的Rollups中，Rollup支持由Rollup运算符定义的固定数量的状态更改。这可以优化某些应用，如：

• Loopring— Payments & Swaps

• Immutable— NFT Minting & Trading, Games

• dydx— Perpetuals Trading

特定于应用程序的Rollup非常适合扩展特定的、易于理解的问题。如果您作为项目的需求可以通过特定于应用程序的Rollup来满足，那么您可能会为您的用例获得更好的性能、更好的用户体验和更好的定价，因为它们缺乏泛化性是一个巨大的优势。例如，在 Immutable，我们能够通过补贴免费的 NFT 铸币厂和对 NFT 交易收取费用的转账来消除 gas 费用——这种权衡只有在 Rollup 状态转换的可预测性质下才有可能。