ZK Rollup

用零知识有效性证明保证状态正确性的二层方案，如 zkSync、Starknet。证明验证即最终性，提款比乐观 rollup 快得多。技术复杂度更高，电路漏洞是新风险面。