本文提出 Hydrozoan,一个面向混合故障模型的 DAG(有向无环图)共识协议。背景是:基于 DAG 的共识可达很高吞吐,并在 n=3f+1 的经典设定下达到最优的三消息延迟下界;已有的两消息延迟协议要么靠牺牲容错度(例如需要 5f+1 规模的委员会)换取,要么依赖回退路径,从而丢掉 DAG 本身的高吞吐优势。Hydrozoan 的核心思路是把故障模型从单一拜占庭故障扩展为混合模型:f 个拜占庭故障验证者加 c 个崩溃故障验证者,验证者总数为 n = 3f+c+2p+1。协议为每个 leader 设计了两条提交路径:当故障验证者不超过 p 个时走两消息延迟的快路径,否则走三消息延迟的慢路径;切换不需要额外消息、不需要视图切换(view change),并且每轮允许存在多个 leader。两条路径复用同一张 DAG,作者提出一种新的“分级间接规则”(graded indirect rule)来协调两条路径的判定结果,保证所有诚实验证者最终达成一致决定。作者进一步指出,在地理分布式部署下,哪条路径更快其实取决于地理位置而非协议本身:需要跨到远端区域的轮次开销远高于不跨区域的轮次。因此 (f, c, p) 三个参数相当于可调旋钮,把“快速仲裁集”放到部署拓扑真正需要的位置,从而在两消息延迟内完成提交;即使参数配置失当,Hydrozoan 仍可退回三消息延迟,因为它以两条路径中先触发者为准进行提交。此外还给出变体 Optimal-Hydrozoan,可在快路径上多容忍一个故障,是首个匹配已知下界的构造。两个协议的安全性(safety)与活性(liveness)均在 Lean 4 中完成机器化验证。地理分布式评估显示:Hydrozoan 的吞吐与 Mysticeti 持平,在快速仲裁集恰好落在低延迟区域时提交速度约快 25%,而在不满足该条件或故障数超过 p 时平滑回退到三消息延迟,而已有两消息延迟协议在此情形下会停滞。
💡 推荐理由: 共识层是区块链、分布式账本与关键基础设施的信任根。Hydrozoan 把崩溃故障与拜占庭故障统一建模,并用可调参数在延迟与容错之间做显式取舍,还给出 Lean 4 机器化验证的安全性与活性证明,为评估下一代 BFT 共识的可用性与抗故障能力提供了新基线。
🎯 建议动作: 研究跟进:阅读全文与 Lean 4 形式化证明细节,评估在自有 DAG/BFT 共识部署中引入混合故障模型与双提交路径的可行性。