Rollup 不必都挂在以太坊。本文按 BNB Chain 官方文档拆解 opBNB：作为 BSC 之上基于 OP Stack bedrock 的二层，它如何把数据与承诺回传到 BSC、费用如何拆成二层执行与一层数据两段、换掉结算层又换掉了哪些安全边界。

对 ZK Rollup，费用常由必须发布到 L1 的 pubdata 主导，而非执行复杂度。本文按 ZKsync 官方文档拆解 pubdata 装什么、压缩与每字节单价如何造成同类操作差价、坎昆 4844 后 pubdata 挪进 blob 的计费变化，以及 Validium/Volition 把数据挪出 L1 换来了什么又换了什么信任。

Arbitrum 对无签名的父链合约消息做地址别名：子链 sender 等于父链地址加固定常量偏移，防止主网合约冒充 L2 同地址合约；充值的 ETH 也停在该别名地址。本文按官方文档拆解别名公式、EOA 与合约的差别及 AddressAliasHelper 还原方法。

Based sequencing 取消独立排序器，由以太坊出块者顺带完成二层排序。本文对照常规 Rollup 的排序链路，分析延迟与预确认、MEV 供应链风险转移，以及适合与不适合的场景。

EigenDA 是建立在以太坊之上、复用 EigenLayer 再质押原语的数据可用性服务。本文按官方规格文档拆解散播流程、按质押权重加权的 BLS 门限签名、DACert 证书结构，以及 Rollup 在 L1 上用验证合约核对证书的正确姿势，并澄清它与 EIP-4844 blob 的分工差异。

本文按 Arbitrum 官方文档梳理抗审查路径：把交易投进延迟收件箱、等待超时后由任何人调用 forceInclusion 强制收录，以及延迟消息何时进排序流。同时纠正一个常见误传：可重试票据过期并不会变成延迟消息执行，而是被丢弃并退款。

2025 年 10 月的 Atlas 协议升级给 ZK Stack 换上 ZKsync OS 与 Airbender 证明器。本文按官方文档拆解双编译架构：同一段状态转换函数编译成 x86 跑出块、编译成 RISC-V 供证明器回放，切块并行证明后经递归折叠成链上可验的 SNARK，以及 AIR 约束与 Mersenne31 域的技术选择。

Celestia 用 NMT 让轻节点只下载自己 Rollup 的数据，同时确认数据完整。本文按官方 nmt 规范拆解带区间的节点哈希、包含与完整性双检、缺失证明与短缺失证明，并说明它如何替代普通默克尔树、支撑采样与二维纠删。

FRI 是 STARK 体系的多项式承诺方案。本文按 Haböck 综述与原始论文路径解释它为什么只需要抽查取值：随机挑战下的逐轮折叠、次数几何衰减、轮间一致性查询与参数选择，以及无需配对与可信设置给 Rollup 带来什么。

乐观与 ZK 的二分法装不下 Validium、Optimium、Volition。本文把二层方案拆到两条独立轴上——交易数据放在哪里、状态正确性由谁担保——再解释四个格子对应的提款路径、等待时间与信任假设差异。