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

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

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