Espresso 把自己定义为去中心化结算层：不执行应用交易、不做共享排序器、不控制各链排序规则，只为整合链生产的区块提供 PoS 终局并让终局可被其他链验证。本文按官方文档拆解这三条边界，以及它和主权 Rollup、共享排序器的分工差别。

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

Celestia 的可用性采样建立在一个布局决定之上：数据不是排成一列，而是按命名空间排进 k×k 的份额矩阵，再对行列做纠删编码。本文按官方规格讲清命名空间排序、保留命名空间、对齐填充三组规则，以及这些'浪费'换来的小证明与可采样性。

本文拆解共享安全性的三种实现：结算合约兜底、EigenLayer 式再质押租借与多链共用安全网络，各自的信任假设、罚没与解约问题，并给出规模可查、罚没清晰、可迁移三把核验尺子。

本文对比主权 Rollup 与结算 Rollup：数据与排序外包的共同前提、结算链合约当法官与自家验证者当法官的信任差异、升级自由度与退出路径的区别，以及各自适合的场景与核验清单。