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

Arbitrum Stylus 在 Nitro 栈上加了一台与 EVM 并列的 WASM 虚拟机。本文按官方文档拆解合约如何共享同一棵状态树、部署后为何必须激活、内存按页计费与栈上限、cargo stylus 的可复现验证，以及计算密集型任务 Gas 更低的真实边界。

从 BIP199 的经典脚本到通道内的承诺交易输出，本文按 lightning/bolts 拆解 HTLC 的兑现结构：offered 与 received 两侧的分支脚本、两段式 HTLC-success 与 HTLC-timeout 交易的由来、cltv_expiry 沿路径逐级递减的规则，以及卡住的付款为何最终会链上退款。

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

CometBFT 的证据子系统负责检测三分之一以上投票权的联合作恶：同一轮次双签、伪造轻区块、未来时间疯子攻击。本文按官方规范拆散 DuplicateVoteEvidence 与 LightClientAttackEvidence 的结构、十秒重发的 gossip 规则、MaxAge 过期窗口与解绑期的关系，以及惩罚为何落在应用层。

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

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

Etna 升级（2024 年 12 月 16 日主网激活）后，Avalanche 的应用链从 Subnet 改称 L1。本文按官方文档与 ACP-77 拆解两者的真实差异：不再需要两千 AVAX 质押门槛、验证者改为按月缴纳动态费用、注册改由链上 ValidatorManager 合约走 Warp 消息六步流程，以及费用与质押奖励逻辑整体移交链内。

Cosmos IBC 的安全锚点是链上轻客户端。本文按 ibc-go 官方文档与源码拆解作恶的两类定义——同高度冲突区块头与时间戳时序违规，检出的判定顺序、冻结的具体后果，以及为什么恢复只能靠治理提案换替代客户端，并写明超过三分之二算力时的检测盲区。

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