公链与 Layer2

解释 BNB Smart Chain 的 BEP-126 快速最终性：验证者用 BLS 给区块投票、聚合进子块头的投票证明、justified 与 finalized 两步规则、分叉选择改为优先最高已证明区块再回落难度和，以及出块活性与最终性活性分离的设计，以及它的安全证明依赖哪些假设。

解释 Chia 的时空共识：为什么存储容量可以成为出块权的稀缺资源、绘图如何用表结构与查询压缩出简洁证明、VDF 时间链如何给每个出块机会上锁防止预先计算、1/64 挑战位如何决定单笔 plotting 能否中标，以及农场主、全节点与时间lord的角色分工与已知攻防边界。

重影检测（Doppelganger Protection）在验证者客户端启动后先静默监听两三个纪元，抢在同一密钥的第二实例造成可罚没签名之前发现并停机。本文按 Lighthouse 官方文档拆解检测窗口、沉默代价、误判边界，以及它与本地签名保护库的分工。

Solana 的协议变更不押统一升级日，而由一枚枚功能开关随纪元切换逐项激活。本文对照 Agave 源码的 feature-set 清单与 SIMD 流程，解释 feature 账户的形态、投票门控的路径，以及核验一枚开关状态时该看哪些字段。

Avalanche 家族靠反复随机采样收口：每轮询问 k 个质押加权验证者，α 决定何时改偏好、何时加置信，β 决定连续多少轮一致才下结论。本文对照 avalanchego 源码的默认参数与校验规则，讲清这三个字母的职责与取舍。

OP Stack 的挑战期不是安静的等待：一条状态断言会开出一局故障争议对局，双方沿位置树逐层二分，先折输出根、再折执行轨迹，直到分歧落到相邻两步指令。本文对照 FaultDisputeGame 合约源码拆解棋盘结构、棋钟与阶梯保证金。

CometBFT 的 ABCI++ 把 ExtendVote 与 VerifyVoteExtension 挂到预提交消息上：验证者可在票里夹带应用定义的数据，代价是校验必须确定性、只依赖已提交状态。本文拆解扩展的触发时点、验算规矩，以及它回到下一块提案时必须补的一次验算。

Solana 的 Gossip 服务是集群控制面的大门：身份、账本高度与投票靠签名加时间戳的记录在节点间收敛。本文按 Agave 官方文档拆解推送的扇出与轮换、拉取的布隆过滤器补齐，以及修剪消息如何把低权重直连让给高质押路径。

CometBFT 的内存池默认按到达顺序把交易递给提案者，合法性判断被收拢到应用层的 CheckTx，区块提交后再用复查清掉因状态变化失效的条目。本文对照以太坊按费用排序的本地策略，拆解这套分层设计的排队规则、容量闸门与用户体感差异。

以太坊验证者的一份签名并不直接签消息，而是先绑定用途前缀、分叉版本与创世验证者根三段上下文。本文按共识规范拆解签名根的结构，说明跨网络、跨职权重放与跨分叉重放各由哪一段字节拦截，以及域值防不住的场景。