ZK Rollup 在 2026 年到底有哪些新进展？一份不堆术语的进度总览
ZK Rollup 这个话题在 2022 年是"未来三年"，到 2024 年变成"今年能不能用"，到 2026 年的现在，已经是"在用什么、还差什么"。两年时间里这条赛道有过几次明显的跃迁：第一次是 zkEVM 公开主网，第二次是 EIP-4844 Blob 数据可用 把 L2 数据成本压到 1/10，第三次是 recursive proof + GPU 证明 把出证明的时间从分钟级压到秒级。这一篇我把 2026 年 5 月这个时点的真实进度讲清楚，不堆术语，每一项都说清"现在到哪了、还差什么、对普通用户意味着什么"。
先复习一遍：ZK Rollup 在解决什么
ZK Rollup 把成千上万笔 L2 交易压缩成一份**零知识证明（ZK Proof）**发回 L1，L1 上的合约只验证这个证明、不重放每笔交易。它和 Optimistic Rollup（乐观汇总） 的核心差异是：ZK 用密码学直接证明交易合法、不需要等 7 天挑战期；Optimistic 用"先假设你是对的、有问题来挑战"的方式。换成一句话：ZK 用算力换时间。
如果对这两条路线还没建立基础，建议先看 L2 入门 与 ZK Rollup 入门，再看下面 2026 年新增的进展才有对比。此外，OP Stack 解读 这一篇能帮助你理解 Optimistic 阵营这两年走的路径，对比之下 ZK 的进度差异就更直观。
进展一：主流 zkEVM 普遍逼近 Type 1
zkEVM 有一个 V 神早期定义的分类——Type 1 到 Type 4——核心是"对 EVM 的兼容程度"：
| 等级 | 含义 | 代表 |
|---|---|---|
| Type 1 | 完全等价以太坊（连状态树都一样） | Taiko、Scroll 在 2026 年逼近 |
| Type 2 | 与 EVM 等价、但底层数据结构有改 | Linea、Polygon zkEVM |
| Type 2.5 | Type 2 但部分 opcode gas 不同 | zkSync Era 早期 |
| Type 3 | 大多数 EVM 兼容但放弃个别 opcode | Scroll 早期 |
| Type 4 | 高级语言级兼容，不是字节码级 | zkSync Era、Starknet |
2026 年最大的变化是：Type 1 不再只是论文上的目标。Taiko 在 2025 年下半年宣布主网迁移到 Type 1 等价；Scroll 在 2026 年 Q1 完成第二阶段的 Type 1 改造，意味着同一份合约字节码在以太坊和这些 zkEVM 上的执行结果完全相同，对开发者而言几乎不需要适配。
zkSync Era 和 Starknet 仍在自家虚拟机路线上（Type 4），但都在 2025–2026 推出了 EVM 兼容层，让 Solidity 合约能直接部署，开发者迁移成本继续下降。
进展二：证明时间从分钟级压到秒级
2023 年时主流 zkEVM 出一份证明需要 3–15 分钟，对最终用户体验来说意味着"链上交互几乎瞬时、跨链取款几小时"。2026 年的现状是：
- Linea：主流证明在 30–90 秒之间，最终性到 L1 通常 8–15 分钟；
- Scroll：证明 20–60 秒，最终性 6–12 分钟；
- zkSync Era：证明 40–120 秒，最终性 10–20 分钟；
- Starknet：证明 60–180 秒，最终性 15–30 分钟；
- Polygon zkEVM：证明 60–150 秒，最终性 10–25 分钟。
三件事拉动了这次提速：第一，recursive proof（递归证明）——一份证明里嵌套验证其他证明，把多份小证明合并成一份，吞吐量直接翻几番；第二，GPU 证明集群——zk 算法不再依赖 CPU 单核性能，几家主流 L2 都建了专门的证明算力集群；第三，Plonky2/Plonky3 等新算法——把曲线和承诺方案统一，证明体积更小、验证更快。
对普通用户来说，体感差异最明显的是取款时间。以前从 L2 提到 L1 要等 7 天（Optimistic）或 1 小时（早期 ZK），现在 ZK 阵营普遍在 30 分钟以内能拿到资金。这不只是数字上的好看：30 分钟意味着用户在套利、做市、应急止损这类场景下都能把 ZK Rollup 当作"近主网"使用，而不需要为了快速退出额外承担一层中转桥的信任成本。对照 Arbitrum vs Optimism vs Base 对比 的 7 天挑战期机制，ZK 阵营的取款体验已经形成事实上的代际优势，这也是为什么 2026 年开始有越来越多的稳定币基础设施项目把"原生 ZK L2"列为首选部署目标。
进展三：EIP-4844 之后的"数据可用"格局
EIP-4844 Blob 在 2024 年上线后，所有 Rollup 把 Calldata 换成了 Blob 存储，数据成本一夜之间打到 1/10–1/20。这件事直接重塑了 L2 经济模型：
- L2 单笔交易的 gas 成本 从 0.01–0.05 美元降到 0.001–0.005 美元区间；
- L1 的 Blob 队列 在 2025 年下半年开始有时出现拥堵，Blob 自身的定价开始呈现"基础费 + 优先费"的二级市场特征；
- 一部分项目开始用 Celestia、EigenDA、Avail 作为"链下数据可用层"——这条路被称为 Validium / Volition，把数据放到 L1 之外，进一步压成本，可以对照 Celestia 与模块化区块链。
2026 年下半年要继续盯的是以太坊 Pectra 升级之后的 Blob 容量扩展，参考 Pectra 升级解读。如果 Blob 容量翻倍，L2 单笔成本会继续往下走，对 SocialFi、链上游戏这种高频小额场景至关重要。另一个值得跟踪的方向是 PeerDAS（Peer Data Availability Sampling） 在测试网上的进度，它的目标是让节点只下载 Blob 的小部分样本就能完成 DA 验证，从根本上把 Blob 容量上限再推高一个数量级；如果这条路在 2027 年走通，整个 L2 经济模型还会再被改写一次。
还差什么、对普通用户意味着什么
虽然进步很大，三件事仍然没解决：
- 证明系统的多样性还不够——主流 zkEVM 多数依赖单一证明系统，一旦某个系统出现漏洞，影响面横跨多条链；
- 退出窗口仍是单点信任——很多 zkEVM 的"紧急退出"路径在权限分级上仍然没完全去中心化；
- 跨 Rollup 互操作——L2 与 L2 之间的通信仍主要靠第三方桥，原生的 ZK 互操作协议还在试点。
对普通用户来说，2026 年是正式把 ZK L2 当成日常链使用的时机：转账、Swap、铸 NFT、玩 SocialFi、做空投，体验和成本都已经接近"免费"。但在大额资金跨链时仍然建议分批、留好回滚预案。 ZK Rollup 这条赛道已经从"未来"变成"日常"，而真正决定下一阶段竞争的，是谁先把跨 Rollup 互操作和证明系统多样性这两件事跑通。