以太坊每秒只能处理约15笔交易，高峰期一笔简单兑换可能花费20美元以上。这种性能瓶颈催生了ZK Rollup——一种基于零知识证明的Layer 2扩容方案。
ZK Rollup是什么？
ZK Rollup将交易在链下批量处理，生成一个零知识证明提交至主链。主链仅验证该证明即可确认数千笔交易的合法性，用户无需信任任何中心化实体——只信任背后的数学。
零知识证明的通俗含义
零知识证明允许你证明某事为真而不泄露具体细节。在Rollup中，证明表明这批交易遵守规则，以太坊无需逐笔检查。这带来了极高的效率。
为何重要：成本、速度与安全
在zkSync Era上发送ETH平均约0.16美元，而以太坊L1同笔转账在拥堵时需3至10美元。ZK Rollup还提供即时交易最终性——证明一旦被接受，资金即可取出，无需像Optimistic Rollup那样等待挑战期。安全性方面，每个状态更新都经过密码学验证，即使是Rollup运营商也无法篡改。
主流项目实例
zkSync Era于2023年3月上线，前10天处理超330万笔交易，桥接资产超1亿美元，目前锁定超5亿美元。StarkNet采用STARK证明和Cairo语言，于2021年上线，专注高吞吐量。Polygon zkEVM主打完全以太坊兼容，Uniswap等主流应用已部署其上以降低用户费用。
工作流程三步走
第一步，交易在链下由排序器批量执行；第二步，生成零知识证明（zk-SNARK或zk-STARK）验证批次正确性；第三步，将证明和状态摘要提交至以太坊。一个证明可覆盖数千笔操作，使单笔成本降至几分钱。
核心优势
批量处理大幅降低费用；密码学证明带来强安全；即时确认；并继承底层链的安全性。
ZK Rollup类型
根据证明系统分为zk-SNARK（高效但需可信设置，如zkSync、Polygon zkEVM）和zk-STARK（更透明、可扩展，如StarkNet）。电路设计上，zkEVM兼容Solidity，而StarkNet使用定制语言Cairo。数��可用性可选择在以太坊上发布（高安全）或依赖委员会（低费用但有风险）。
与Optimistic Rollup对比
Optimistic Rollup默认假设交易正确，设挑战期允许欺诈证明；ZK Rollup通过有效性证明即时确认，更快更安全，但开发更复杂。
关键用例
DeFi中Uniswap通过批量交易降低费用；NFT领域Immutable X实现无Gas交易；游戏中实时微交易；身份应用利用零知识证明验证用户信息而不泄露隐私。
现存挑战
生成证明需要大量计算，成本较高；多数Rollup仍依赖中心化排序器；开发者工具在EVM兼容环境之外尚不成熟。