本文对比 ZK Rollup 的密码学证明与 Optimistic Rollup 的欺诈证明：确认速度、挑战机制、证明者/挑战者集中化风险各自不同，并给出按信任假设比较两条路线的框架。