ZK Rollup / Validity Rollup ZK Rollup

ZK Rollup（也称 Validity Rollup）使用零知识证明（zk-SNARK 或 zk-STARK）在 L1 上数学地证明每一批 L2 交易状态转换的正确性，无需依赖挑战期。代表项目包括 zkSync Era、Starknet、Polygon zkEVM、Linea、Scroll。相比 Optimistic Rollup，ZK Rollup 的最终性更快（从 L2 提款到 L1 只需几小时而非 7 天），但生成证明的计算成本更高，且实现完整 EVM 等价（zkEVM）技术难度大。ZK Rollup 被 Vitalik Buterin 视为长期扩容的主导方向。USDT 已在 zkSync Era、Linea、Polygon zkEVM 等部分网络上线。