本文讲清 Rollup 的核心分工：交易在 L2 执行、数据回传 L1 锚定，再解释欺诈证明与 ZK 证明两种安全模型、排序器与升级权限风险，帮助理解 L2 费用为何更低、提现为何要等。

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

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