本文解释递归证明（Recursive Proof）的机制：为什么 ZK Rollup 要把多份证明折叠成一份、对数压缩如何让证明可以再证明、共享聚合器怎么替多条链分摊验证费，以及它带来的费用、延迟、L3 可能性和电路复杂度风险。

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

本文解释分片的基本原理：把一条链的验证与数据存储任务拆到多个并行分片，说明分片与扩容的关系、数据可用性采样的作用，以及分片落地过程中的阶段性变化与不确定性。