难度是滞后的价格信号：比特币两周校准一次并限幅，小链用逐块重定与滑动窗口追赶却容易震荡，租算力攻击正是吃准了滞后窗口。本文梳理难度调整算法的设计谱系、失败模式与攻击视角，解释为什么攻击账在大链算不平、在小链算得平。

CometBFT 的 Tendermint 共识是领导者制的，一个高度里每一轮的提议者都由确定性算法算出：给每个验证者维护累计优先级，选举时各自加上投票权、选出最高者、再把它减去全集合总投票权。规范还要求新加入者从负 1.125 倍总投票权起步，验证者集变动时把优先级居中并在跨度超过两倍总投票权时缩放。本文按官方共识规范拆解这套加权轮询的算法、边界与代价。

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

Linera 官方文档口径下的微链机制：每条微链只记录一个用户或应用的状态变更，共享同一组验证者；所有权决定谁能提议区块，快速轮、多领导者轮、单领导者轮与验证者兜底逐级降级；加链不加验证者，安全靠三分之二质押门槛。

Polkadot 实现者指南中的争议协议：负面陈述与既有正面陈述相撞即点亮争议，全体值班验证者重放执行并按三分之二定结论，败方与缺席同罚；裁决跨分支移植，无效块拉黑，超期未决转入治理模式。

中本聪共识是研究者事后给比特币规则组合起的名字：工作量证明把电力变成提案权，累计工作量最高的链定义哪段历史算数，前提是一半以上算力诚实行事。本文拆开三条线——记账权抽签、全节点独立验块、分叉选择与概率性最终——并说明它与拜占庭容错家族在信任假设上的根本分工。

Sei 官方文档对 Giga 的架构描述：Autobahn 让每台验证者各流一条哈希链数据道、共识按切面一次敲定许多块，执行与状态证明退到关键路径之外于是最终性分成两档，并在 EVM 兼容性上点名 blob、`PREVRANDAO`、状态根、区块 gas 上限与费用机制这五处例外。

2020 年 9 月 15 日定稿的 EIP-2982 是信标链的正式设计文档：由 Danny Ryan 与 Vitalik Buterin 署名，类型为 Informational、状态 Final。它解释了为什么以太坊 2.0 选择「先并行、后合并」的多阶段路线——Phase 0 建一条纯权益证明的信标链管理验证者注册与最终性，主网原封不动；并给出关键定案：发行量与质押总量走平方根曲线、以主网上的存款合约作为唯一入口、惩罚参数初期调轻至最终值的四分之一档。这份提案是读懂以太坊质押经济学的出生证明。

2016 年提交的 BIP-99 做了一件被长期忽略的事：给「分叉」这个词建立一套分类学。作者 Jorge Timón 区分了意外的共识分叉（实现 bug 导致）与计划的共识分叉，给出软分叉与硬分叉的定义，并按迁移成本、兼容性、时机与治理四个轴给出选择部署方式的框架，还拿 2013 年 3 月的意外分叉与分币提议两个案例做对照。这份提案没有成为规则，但理解它比背下两种分叉的名词解释更接近真实工程处境。

TON 白皮书给出的方案是 Catchain：验证者按权益选举，但每个决策由随机抽出的小组通过拜占庭容错子协议完成，多个小组并行出块。本文拆解抽样前提、组内投票流程与活性边界。