[2026年7月28日提交（v1），最后修订于2026年7月29日（此版本，v2）]

查看PDF HTML（实验性）

摘要：基于领导者的BFT协议通过其领导者完成最终确定：领导者崩溃或缓慢的视图不会完成任何最终确定，而结束该视图的超时设置没有良好方案。保守的超时会将每个崩溃的领导者转变为长时间停滞；激进的超时则会使仅是缓慢的领导者的视图无效。无论哪种方式，已过期的视图都会被浪费，这种权衡（而非最佳情况）决定了尾延迟。
Hermes使已过期的视图能够完成最终确定。Hermes是一个针对n=5f+1个进程、在部分同步环境下基于前缀共识的两轮轮换领导者协议：投票携带按前缀关系排序的值，且法定人数要求可比性而非相等性。每个进程在视图开始时广播一个已证实的提案，并投出一票——在收到领导者提案时投给该提案，或在超时时投给后备提案；没有作废投票。一个及时的诚实领导者可以在2δ内完成其完整提案的最终确定。否则，任何n-f张投票（无需匹配）都会完成最重的公共前缀的最终确定。我们将Hermes实例化为可用链上的最终确定组件，以及Autobahn风格的多通道传播，其中父相对delta尖端切割与显式跳过保持独立提案的可比性，发送者索引的纠删码放大将每视图的复杂度保持在O(n²m̂+λn³)比特和O(n²)条消息，其中m̂是Autobahn中并发传播通道的数量，λ是安全参数。

提交历史

来自：Alejandro Ranchal-Pedrosa [查看邮箱]
[v1] 2026年7月28日 星期二 16:07:45 UTC (42 KB)
[v2] 2026年7月29日 星期三 15:49:50 UTC (42 KB)