公链与 Layer2

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

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

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

以太坊共识权重用的是有效余额而非实时余额。本文拆解 EFFECTIVE_BALANCE_INCREMENT 与 HYSTERESIS 上下乘数构成的不对称迟滞带、纪元校准逻辑，以及它对权重安全、面板读数和版本口径的实际影响。

信标链在单个时隙内给验证提交与聚合提交各设一条截止时间线。本文按共识规范拆解 ATTESTATION_DUE 与 AGGREGATE_DUE 两条线的常量、切分动机、错过后的权重与回报后果，以及验证者运维的排障读法。

从 EIP-4844 机制解释 blob 基础费和以太坊普通 Gas 费为什么可能不同步，以及 L2 成本分析应如何分层。

说明以太坊 blob 费用的查询口径、与普通 Gas 的区别，以及观察 L2 数据发布成本时应记录哪些字段。

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

Mina 把整条链的历史折进一条固定大小的递归 SNARK 证明。本文按官方白皮书与技术参考拆解证明怎么逐块折叠、snarked ledger 与 staged ledger 的分工，以及为保住固定大小对共识做的改造。

BIP、EIP、ZIP 开头那句 BCP 14 引用定义了 MUST、SHOULD、MAY 的精确含义。本文按 RFC 2119 原文拆解五档命令词的法律力、大小写陷阱，以及它如何帮你判断升级要求是硬分叉条件还是建议项。