[论文解读] Fever: Optimal Responsive View Synchronisation

Maofan Yin, Dahlia Malkhi+3 more|arXiv (Cornell University)|Mar 13, 2018

Distributed systems and fault tolerance参考文献 52被引用 110

一句话总结

HotStuff 提出了一种新颖的拜占庭容错（BFT）复制协议，在部分同步模型中实现了线性通信复杂度和乐观响应性。通过引入三阶段一致性机制，新领导者仅需使用 O(n) 个认证器和最小延迟即可驱动一致性，相较于 PBFT 和 BFT-SMaRt 等传统两阶段协议，在可扩展性和效率方面表现更优，同时保持低延迟和高吞吐量。

ABSTRACT

Byzantine Agreement (BA) is a key component in many distributed systems. While Dolev and Reischuk have proven a long time ago that quadratic communication complexity is necessary for worst-case runs, the question of what can be done in practically common runs with fewer failures remained open. In this paper we present the first Byzantine Broadcast algorithm with O(n(f+1)) communication complexity in a model with resilience of n = 2t+1, where 0 ≤ f ≤ t is the actual number of process failures in a run. And for BA with strong unanimity, we present the first optimal-resilience algorithm that has linear communication complexity in the failure-free case and a quadratic cost otherwise.

研究动机与目标

• 解决现有 BFT 复制协议的可扩展性限制，特别是 PBFT 和 BFT-SMaRt 等两阶段协议在领导者视图切换期间的 O(n³) 通信开销。
• 在部分同步网络中实现响应式一致性，使得正确领导者能够以与实际网络延迟成比例的时间驱动一致性，而非依赖最坏情况边界。
• 设计一个统一框架，将经典 BFT 协议（DLS、PBFT、Tendermint、Casper）以及 HotStuff 统一表达于同一基于图的投票与提交结构中。
• 通过消除视图切换期间对复杂领导者证明的需求，简化领导者替换过程，从而降低通信和密码学开销。
• 支持频繁的领导者轮换，以提升区块链应用中的链质量，且不带来性能损失。

提出的方法

• 引入三阶段一致性协议：预准备、准备和提交，允许副本在投票后更改其投票，从而简化领导者接管过程。
• 使用基于图的模型表示投票与提交规则，通过投票和提交图规则保障安全性，通过 Pacemaker 组件扩展图结构以保障活性。
• 允许新领导者从自身知识中选择最高已知的法定人数证书（QC），无需从 (n−f) 个副本收集并中继 QC。
• 实现一种领导者替换协议，每轮视图切换仅需 O(n) 个认证器，无论领导者是否稳定。
• 引入流水线执行模型，支持多个视图的并发处理，提升吞吐量。
• 使用门限签名方案（或原型中使用 secp256k1 签名列表）以减少密码学开销，未来将支持快速门限签名。

实验结果

研究问题

• RQ1 BFT 复制协议是否能够同时实现领导者视图切换期间的线性通信复杂度和部分同步模型下的乐观响应性？
• RQ2 在副本数量庞大的 BFT 系统中，如何在不牺牲安全性或活性的前提下简化领导者替换过程？
• RQ3 能否设计一个统一框架，将包括 PBFT 等经典协议和 Tendermint、Casper 等现代区块链协议在内的多种 BFT 协议统一表达于同一形式化体系中？
• RQ4 为一致性增加第三阶段会带来何种性能影响？与两阶段协议相比，是否能实现更好的可扩展性和更低延迟？
• RQ5 在不降低性能的前提下，系统能支持多频繁的领导者轮换？这又如何影响系统韧性与链质量？

主要发现

• HotStuff 实现了线性视图切换复杂度：每轮视图切换仅需发送 O(n) 个认证器，无论领导者是否稳定，将通信成本从 BFT-SMaRt 的 O(n³) 降低至 HotStuff 的 O(n)。
• HotStuff 实现了乐观响应性：正确领导者在收到仅 (n−f) 个响应后即可驱动一致性，其延迟仅取决于实际网络延迟，而非上界 ∆。
• 在超过 100 个副本的部署中，HotStuff 的吞吐量和延迟与 BFT-SMaRt 相当，但在视图切换期间通信开销显著更低。
• 在 128 字节和 1024 字节的负载下，HotStuff 在吞吐量和延迟方面均优于 BFT-SMaRt，因其避免了二次方带宽成本。
• 在不同网络延迟实验中（5ms ± 0.5ms 和 10ms ± 1.0ms），HotStuff 在吞吐量和延迟方面均持续优于 BFT-SMaRt，表现出对可变延迟的鲁棒性。
• 原型实现验证了 HotStuff 在视图切换期间不会产生额外认证器，而 BFT-SMaRt 每轮视图切换需产生 O(n³) 个 MAC 和 O(n²) 个签名。