Lineth（原 Linea 协议栈）官方文档的批次机制：协调器按追踪行数、压缩体积、区块数、时间线四类上限决定 conflation 封口；模块行数上限如何触发序批拒单，`linea_getTransactionExclusionStatusV1` 与 `finalized` 标签怎么用来定位一笔不落地交易。

Starknet 官方文档的费用模型：L2 gas、L1 gas 与 L1 data gas 各自衡量什么，二层价按目标用量与最低价调节、一层价取六十秒采样的六十点均值，v0.14.0 起三类单位都必须声明单位价上限，费用随执行由 Starknet OS 原子扣给排序器。

Scroll 把 Layer2 数据分成区块、chunk、batch 三级：chunk 是证明单位，batch 是提交以太坊做数据承诺与验证的单位。本文按官方文档拆解 Commit 与 Finalize 两类交易分别提交什么、用户该在哪个状态台阶上验收。

验证合约只拿承诺和公共输入，不重放交易，因此主网验证开销近乎固定，批越大摊得越薄。本文说明它做的三件事、证明与批次为何分成两个角色，以及提款延迟时该在浏览器上核对哪些字段。

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