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

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

钱包说成功、浏览器说入库、交易所说到账，常发生在三个时刻。本文拆解二层交易的三层时间尺度，给出判断卡在哪一层的链上查询顺序，并解释挑战窗口与证明延迟为何让入账策略显得更慢。

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

Rollup 把手续费大头的数据费压缩成批次问题上链。本文以 Arbitrum Nitro 白皮书与文档记载的 Brotli 压缩、批次触发与逐笔分摊逻辑为例，讲清 L1 数据账单怎么形成，并划清压缩只改成本账、不改安全模型的边界。

模板链把启动一条 Layer2 从融资问题变成配置问题：安全锚定以太坊、成本随用量浮动、数据可用性与挑战期参数可调节。本文按成本、安全假设、互操作与退出路径四项拆解服务化接入与自建公链的真实差异。

Validium 用有效性证明保证状态不被篡改，却不把交易数据放上以太坊主网。本文拆解它的合约分工、数据可用性委员会带来的冻结风险、性能收益来源，以及存款前要核对的委员会与逃生舱条款。

Rollup 的安全性建立在一句可验证的承诺上：任何人拿 L1 上的数据都能重放出同一个 Layer2 状态根。本文拆解这条推导流水线——从 L1 读取交易数据、按规则排序、确定性执行、算出状态根——并说明存款交易、强制交易和批次的顺序如何共同决定最终状态，以及断言出错了欺诈证明与有效性证明分别怎么办。

L2BEAT 的 Stages 框架用三档衡量 Rollup 的去中心化成熟度：Stage 0 由少数实体控制，Stage 2 由代码控制，Stage 1 居中。本文拆解三档各自的硬性要求——数据上 L1、开源重构软件、可用的证明系统、外部挑战者数量、安全理事会与 7 天或 30 天退出窗口——并说明这套评级衡量的是控制权而非绝对安全。

OP Stack 的 Fault Dispute Game 把“这条 L2 状态对不对”的争论用二分博弈逐步收窄：先折输出根，再折单个区块的执行轨迹，最后在链上用虚拟机验证一条 MIPS 指令。本文拆解博弈树深度、象棋时钟、锚定状态与保证金的角色，以及它对提款安全意味着什么。