公链与 Layer2

平行链的 PoV 区块通常在一兆到十兆字节之间，却并不写进中继链区块，中继链上只留一张常量大小的候选收据。本文按 Polkadot 官方协议文档拆解纠删码切片、每片对应一名验证者、三分之一加一门限的可用性判定，以及切片只保留约二十四小时这条容易忽略的边界。

SNOS 不是节点内核，而是一段以初始状态和交易为输入、输出新状态承诺的 Cairo 程序；没有它对区块执行的走一遍，证明者就交不出以太坊认可的证明。本文按官方文档拆解 SNOS 的四段执行、非确定性调用与系统调用机制、对排序器的语义约束，以及两种实现的核验口径。

自 v3 起，Celestia 的网络升级不再依赖预编程区块高度：验证者在协议内上报版本偏好，五分之六投票权汇聚后再等一周自动激活，规则由 CIP-10 定义。本文按官方运维文档与架构记录梳理信令流程、滚动升级前提、失败模式与用户侧跟进方式。

Cosmos SDK 用模块共识版本号、逐级注册的迁移脚本和升级处理器的 VersionMap，把存储结构变更拆到单个模块级别。本文按官方文档拆解 ConsensusVersion 从一出发、RegisterMigration 的链条连续性、新增与删除模块的处理差异，以及这套机制管不到什么。

Cosmos 系链的区块体积上限、燃气上限、证据有效期与公钥白名单，都存在共识层维护的 ConsensusParams 里，改它们不必硬分叉。本文按 CometBFT 规范文档拆解这组参数的五个袋子、100MB 硬顶与 -1 语义、证据时效和解绑期的换算关系，以及参数如何随区块滚动生效。

同一笔 Starknet 交易在回执里挂着执行状态与终局状态两条线，RECEIVED、CANDIDATE、PRE_CONFIRMED、ACCEPTED_ON_L2、ACCEPTED_ON_L1 的可信级别并不相同。本文按官方交易文档拆解六级状态各自成立的条件、内存池替换规则，以及被反转的交易为什么照样烧钱。

L2Beat 提供 Layer2 TVL、风险标签和项目阶段等第三方数据。本文说明引用这些指标时必须标注时间、口径和局限。

Cosmos IBC 转账卡住时，timeout、acknowledgement 和 packet 状态决定后续处理。本文解释退款逻辑与防骗排查顺序。

Celestia Blobstream 关注的是数据可用性证明如何传递到其他链，不等同于普通资产跨链桥。本文解释它的角色和核验边界。

PeerDAS 是以太坊数据可用性扩容路线中的关键设计。本文解释它和 blob、rollup 数据发布、L2 费用预期及用户安全边界的关系。