引言：ZK Rollup的“快”，来自验证与执行的不对称
以太坊主网的Gas费长期在1到50美元之间波动，每一笔交易都需要所有全节点重新执行。ZK Rollup从根本上改变了这个方程式：它不让L1重新执行交易，只让L1验证一个密码学证明。
可以把它想象成交一份数学试卷。传统L1模式下，阅卷人（每个全节点）需要把每道题重新做一遍；ZK Rollup模式下，考生（Prover）提交一份简短的证明凭据，阅卷人只需检查凭据——凭据很小，检查很快，而错误的答案无法生成有效凭据。这种不对称是整个机制的核心：验证一个证明的成本远低于执行其背后的交易，因此在相同的基础层容量下，Rollup能够推送高得多的吞吐量。
2026年，这个“不对称”的工程可行性已经不再是理论问题。据以太坊基金会zkEVM安全路线图，在大约一年时间里，以太坊区块的证明延迟从16分钟降到了16秒，证明成本降低了45倍。Dencun升级在2024年3月引入的Blob通道将L2费用削减了75%到90%。ZK Rollup的TVL在2026年1月已超过280亿美元。
本文从状态转换的数学结构出发，先拆解ZK Rollup的四组件架构和证明系统的核心逻辑，再深入2026年zkEVM的类型谱系和性能现状，然后用Circom和Solidity构建一个最小可验证的Rollup流程，最后讨论证明瓶颈和ePBS、Blob
