Avalanche Snowball 用重复随机抽样替代领导者选举：本文拆解 k、α、β 参数的含义、置信计数器与决策树的组织方式，以及 Snowman 如何把二元决策串成全链排序，并给出接入前该核对的安全边界。

Hyperliquid 把永续与现货订单簿直接写进 L1 状态机：撮合由共识节点共同执行，官方文档称共识为受 HotStuff 启发的自研 HyperBFT，订单敲定不跨块。本文拆解 HyperCore 与 HyperEVM 两个执行仓室的分工、单块最终性与通用合约共享容量的取舍。

Cosmos 系链的匀速心跳来自 CometBFT 配置里的一组超时参数：timeout_commit 决定提交后等待，create_empty_blocks 决定无交易是否照常出块。本文按官方配置文档逐项拆解默认值、skip_timeout_commit 的取舍与对索引系统的影响。

BIP-34、65、66 当年靠区块版本号投票激活，验证每个块都要回看前一千块的版本分布。2016 年的 BIP-90 把这套历史包袱简化成三个区块高度常数：主网上 BIP-34 是二十二万七千九百三十一块，BIP-66 与 BIP-65 各在其后。本文讲清埋入式部署的动机、规则替换方式与那个理论上的兼容性边角。

以太坊测试网 Ropsten 在 2017 年初被攻击者用低难度工作量证明拖垮，催生了 Clique——一个签名者轮流出块的权威证明协议，EIP-225 定义。本文讲它的出块轮次、签名者投票换人、检查点 epoch 的设计，以及为什么 PoA 在测试网上比 PoW 便宜而有效。

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

PHANTOM 论文把中本聪共识从单条链推广到区块有向无环图：先承认并发区块都是图的节点，再用一个聚类规则选出蓝块集合决定排序。理想解 NP-hard，工程上落地的是多项式时间的 GHOSTDAG。本文拆解区块图为什么能同时吃掉孤块并提高吞吐，以及排序规则与最长链规则的关系。

ABCI 2.0 把区块的组装与准入从共识引擎交给应用层：出块者可在 PrepareProposal 里重排、删减甚至添加交易，验证者在 ProcessProposal 里决定接受或拒绝。本文按 CometBFT 官方规范拆解两个接口的确定性要求、关键路径耗时与活跃度代价，以及投票扩展的启用高度规则。

Equihash 是 2016 年 NDSS 发表的内存绑定工作量证明算法，基于广义生日问题找哈希碰撞解，靠参数 n、k、d 控制难度与内存开销，曾被 Zcash 等新币种采用。本文拆解它解方程找解的验证模型、内存-时间权衡怎么挡住专用芯片的流水线优势，以及参数换代与 ASIC 落地后的现实走向。

比特币每 2016 块调一次难度，但公式只数了窗口内 2015 个间隔——这个著名的差一偏差给了利用时间戳规则压缩可见时间的可乘之机。本文讲清公式、约束与修正提案的边界。