Filecoin 的 Expected Consensus 原本只有概率终局，客户端要等 900 个纪元（约 7.5 小时）才敢认定不可逆。FIP-0086 给网络加装了与 EC 并行的 F3 组件：存储提供方按加权算力对区块集投票，超过三分之二的签名汇成终局证书，出块规则保证链头永远落在已终局前缀之后。本文按 FIP-0086 与 FRC-0089 原文拆解证书签发、快速追赶与故障降级。

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

信标链用四个证明位与两个检查点记录证明与最终化。本文按 weigh_justification_and_finalization 逐条拆解四种位模式判定规则、三分之二门槛的乘法判据、最短两纪元路径与不最终化排障读法。

以太坊信标链的最终性检查点目前指向每个 epoch 的第一个区块。EIP-8333 提议改为指向 epoch 之前的最后一个区块，即边界块，并引入 get_checkpoint_root 访问器。本文讲清两种对齐方式差别在哪、动了谁会受影响。

Dash 用 InstantSend 让交易在入块前收到一份由长期大仲裁组签发的锁，用 ChainLocks 给新区块盖最终性章。本文回溯旧 InstantSend 的退役与 LLMQ 化重写，拆解锁消息、双花处置与信任边界。

区块标签 latest、safe、finalized 各对应链上什么状态，钱包和浏览器默认用哪一条，历史查询参数换成不同标签时结果为何不一样

以太坊轻客户端分别接收optimistic update与finality update：前者追踪更近的已证明头，后者携带最终化头与证明分支。本文从对象字段、验证步骤和业务放行门槛对照两者。

Beacon API的finality_checkpoints返回previous/current justified与finalized三个检查点，并附带乐观执行和最终状态。本文给出滞后计算、告警状态机与业务确认分层。

本文拆解 Solana 共识重写 Alpenglow：Votor 如何把投票折成聚合证书、双路径百毫秒最终化的设计，Rotor 单跳广播如何替换 Turbine，SIMD-0326 治理与 2026 年 7 月的测试状态，以及对验证者、钱包与用户的连锁影响。

本文拆解以太坊的分叉选择规则 Gasper：LMD-GHOST 如何用最新消息驱动的加权最重子树选出链头，Casper FFG 如何用三分之二检查点投票锁定历史，两套规则处理弹跳与平衡攻击的接缝，以及对重组和确认体验的影响。