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

本文解释 zkEVM 与 zkVM 的定位差异：zkEVM 追求以太坊字节码级别的等价兼容，zkVM 追求更高效的通用证明机器，说明两者在证明成本、合约迁移和证明者吞吐上的取舍。