现代比特币节点同步链不按顺序逐块下载，而是先把几百兆的区块头链一口气拉完、验证好工作量证明，再回头按需下载区块正文。本文讲 headers-first 的两段式流程、为什么这比逐块同步抗欺骗、区块头验证省了什么资源，以及同步进度条背后的排队逻辑。

Narwhal 把交易传播交给流式 worker、共识只对承诺构成的 DAG 投票，Bullshark 再从图的引用关系里读出全序。本文按两篇论文拆解可用性证书、锚与支撑链、2f+1 交集论证和快速路径与慢速回退的分工。

流水线 BFT 的回头证明窗口允许当轮领导者悄悄换掉前段区块，Monad 称之为尾部分叉问题。本文对照官方文档梳理攻击模型、MonadBFT 的四项声明与出块参数口径，并列出需要自行核实的集中度风险。

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

PROPOSER_SCORE_BOOST 让刚出块的分支获得委员会权重四成的临时垫高，压缩观望博弈。本文按规范拆解加分的公式、作用窗口、消失条件，以及它如何解释传播竞争与重组时机。

Kaspa 不丢弃并发区块，而是按连通性给区块染蓝染红：蓝块计分拿奖励，红块留在图里但几乎无待遇。本文按 PHANTOM/GHOSTDAG 论文拆解 k 参数、贪心算法与 PHANTOM 的 NP 难原型差异，以及确认计数的语义变化。

按现行规则，被惩罚出局的验证者仍可能被抽签排进提议者名单，他们出的块会被规则判为无效，白白错过槽位。EIP-8045提议在排班阶段直接剔除被惩罚验证者。本文解释大规模惩罚事件的连锁影响、排班表提前锁定的前提条件，以及这项改动对公平性的实际影响。

以太坊信标层的RANDAO依赖验证者提交的reveal值，而现行reveal只是对轮次编号的签名，提交前结果就可被推算。EIP-7998提议把上一轮的混合值与当前槽位一并纳入签名，把它升级为每个槽位独立、连提交者自己都无法预测的VRF。本文解释RANDAO的混合机制、可预测性的隐患与升级后的应用空间。

以太坊的出块结构里，整批交易被嵌在信标块里一起传播。EIP-7898提议信标块只携带执行载荷的头，交易数据独立传输，以减轻验证负担。本文拆解它的技术方案，解释它与ePBS类提案的差别，并说明为什么这份提案在官方仓库里被标为停滞状态。

Algorand 的 ABFT 不选固定领导者，而是每轮每步用可验证随机函数做加权抽签。本文解释 VRF 凭证为何可验证而不可预测、按份额加权的中签逻辑，以及这套机制对定向攻击和节点运维意味着什么。