公链与 Layer2

Polygon PoS 的 Heimdall 层周期性把 Bor 链状态根打包成检查点，经验证者多数确认后由桥提交到以太坊。本文按官方文档拆解检查点的提议者轮换、ABCI++ 投票验证、提交与 ACK/No-ACK 回执机制，以及为什么要设计成多阶段流程。

Sui 的系统状态在纪元边界执行 reconfiguration，advance_epoch 失败且无法修复时，链体会带着 safe_mode 标记继续运行而非停摆。本文按官方框架文档与验证者告警参考拆解降级模式的触发字段、能做什么不能做什么、以及退出条件与监控口径。

CIP-0164 提出的 Ouroboros Linear Leios 让出块者在常规 Praos 区块之外发布更大的背书块，由抽签选出的委员会投票认证后写回排序链。本文按 CIP 原文拆解背书块的公告与分发、等价性检测窗口、投票门槛与证书纳入的时间约束。

NEAR 的状态默认按默克尔 trie 存储，查一个键要走整条树路径。nearcore 的实现文档记录了引入平坦存储的全部麻烦：gas 计费与查找路径绑死、双副本一致性、以及迁移必须在纪元切换点同步生效的原因。本文按这份工程文档拆解平坦存储读快写难的技术边界。

CIP-0140 提出的 Ouroboros Peras 给 Cardano 的 Praos 共识加了一层投票：委员会证书提升区块权重，使被背书区块的回滚概率快速衰减，并在对手力量过强时自动退回 Praos 行为。本文按 CIP 原文拆解证书结构、冷却期机制与两种结算概率的区分。

Sonic 的共识由三件事拼成：权益证明、有向无环图与异步拜占庭容错。本文按 Sonic 官方文档与 Lachesis 论文拆解事件区块如何并发进入 DAG、Atropos 与主链怎么承担最终性，以及这种设计把代价移到了何处。

CometBFT v1.x 用 PBTS 替换了按投票权取时间中位数的 BFT Time：时间戳直接取自出块者本地时钟，再由 precision 与 message_delay 两道同步参数校验。本文按官方规范拆解判定规则、切换高度字段与已知边界。

多数以太坊客户端把默克尔帕特里夏树压进 B 树或 LSM 引擎，Monad 选择自建一个原生实现帕特里夏树的数据库。本文按 Monad 架构文档拆解树的原生存储、MIP-8 的页承诺、io_uring 异步读取与绕过文件系统的取舍。

KIP-6 提案想给 Kaspa 补上剪枝后的历史可证明性：用链成员证明把「某区块属于选中链」压缩到几千字节，从而让发表证明与交易收据在剪枝后仍可验证。本文按提案原文拆解 ATMR、证明分层与草案状态带来的边界。

Ergo 的花费条件不是先算布尔值再验签，而是被解释器归约成一条 Sigma 命题，再用 Fiat-Shamir 变换生成证明。本文按官方文档拆解承诺—挑战—响应骨架、AND/OR 与 k 取 n 组合，以及归约必须封顶的最大成本。