OP Stack 把 L2 定义为从 L1 数据推导的链。本文拆解 op-batcher 从轮询区块、压缩成通道、切帧发到 Batch Inbox 的工作流，以及 calldata 与 blob 的选择、排序窗口与 safe 头的关系。

Celestia 轻节点靠采样确认数据可用，但发现不了整体编码错误。按 celestia-node 官方 ADR-006，全节点重构方阵时生成坏编码欺诈证明并广播，收到验证通过的节点停掉采样、同步与交易提交，重启也不自愈。本文拆解检测、传播、停摆、持久化四层及其边界。

Kubo pin remote service ls --stat可显示queued、pinning、pinned、failed及invalid。本文将快照转成积压、失败率和服务可用性指标。

ipfs pin remote区分queued、pinning、pinned和failed，默认查询只显示pinned。本文给出后台提交、失败复核和精确删除的完整状态机。

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

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

EIP-4844 要求信标链节点保留 blob sidecar 至少 4096 个纪元、约 18 天，执行层不承担持久化。本文拆解这一可用性优先的设计、窗口过后的数据去向与用户核验清单。

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

官方文档写明 blob 在约 4096 个纪元后被自动删除，Rollup 的提款安全并不依赖十八天后的原始数据，但历史重放与审计责任随之移交给归档方。本文拆解到期删除的原理、谁在长期保存数据，以及机构用户该补的存证功课。

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