ZK Rollup
用零知识有效性证明保证状态正确性的二层方案，如 zkSync、Starknet。证明验证即最终性，提款比乐观 rollup 快得多。技术复杂度更高，电路漏洞是新风险面。
ZK Rollup 为每个批次生成有效性证明：L1 合约验证证明通过即终局——不等挑战期，密码学代替博弈。zkSync、Starknet、Linea 等属此路线（技术细节分 SNARK/STARK 两派）。
权衡
- 退出快（证明生成+验证时间），无需 7 天
- 证明生成成本与电路通用性是工程难点：EVM 等效度各家不一
- 安全性锚定在「电路与证明系统正确」上——电路漏洞是新攻击面（历史上真实发生过电路 bug 险情）
架构对比见乐观 Rollup。