[论文解读] Fast-HotStuff: A Fast and Resilient HotStuff Protocol

Mohammad M. Jalalzai, Jianyu Niu+2 more|arXiv (Cornell University)|Oct 22, 2020

Distributed systems and fault tolerance参考文献 35被引用 26

一句话总结

Fast-HotStuff 是一种两轮拜占庭容错（BFT）共识协议，通过减少延迟并提高对抗分叉攻击的弹性，对 HotStuff 进行了优化。它通过在视图变更期间向区块添加少量条件性开销，实现比 HotStuff 更快的恢复速度和更低的整体延迟，尤其在性能攻击下表现更优。

ABSTRACT

The HotStuff protocol is a breakthrough in Byzantine Fault Tolerant (BFT) consensus that enjoys both responsiveness and linear view change. It creatively adds an additional round to classic BFT protocols (like PBFT) using two rounds. This brings us to an interesting question: Is this additional round really necessary in practice? In this paper, we answer this question by designing a new two-round BFT protocol called Fast-HotStuff, which enjoys responsiveness and efficient view change that is comparable to linear view change in terms of performance. Compared to (three-round) HotStuff, Fast-HotStuff has lower latency and is more robust against performance attacks that HotStuff is susceptible to.

研究动机与目标

• 解决 HotStuff 协议在视图变更期间存在的高延迟和对性能攻击的脆弱性问题。
• 在保持响应性和线性消息复杂度的前提下，降低 BFT 共识中视图变更的开销。
• 增强对利用 HotStuff 中流水线区块提议机制的分叉攻击的防御能力。
• 在恶意主节点行为下，仍能以最小的额外通信成本实现两轮共识。
• 证明该协议在正常和故障场景下均能保持高性能和低延迟。

提出的方法

• 引入两链提交规则，使共识仅需两轮通信，不同于 HotStuff 的三链规则。
• 仅在主节点失败导致视图变更时，添加少量条件性 $O(n^2)$ 认证器，以防止分叉攻击。
• 使用门限签名实现高效验证，同时通过优化缓解拉格朗日插值的计算成本。
• 通过确保恶意主节点无法在视图变更期间强制增加轮次，使协议对性能攻击具有弹性。
• 设计轮换主节点机制，以限制攻击面并确保公平的区块提议机会。
• 通过减少视图变更期间处理的签名数量，优化签名验证，相比 DiemBFT(v4) 实现 $O(n)$ 的性能提升。

实验结果

研究问题

• RQ1 两轮 BFT 协议是否能在不牺牲视图变更效率的前提下，同时实现低延迟和对抗分叉攻击的弹性？
• RQ2 在视图变更期间仅添加少量条件性 $O(n^2)$ 开销，对协议整体性能和安全性有何影响？
• RQ3 Fast-HotStuff 在分叉攻击下，与 HotStuff 相比，在延迟和吞吐量方面有多大的性能优势？
• RQ4 协议能否在抵御恶意主节点试图延迟共识的同时，保持响应性和线性视图变更？
• RQ5 在所提协议中，计算成本（如拉格朗日插值）与通信效率之间的权衡如何？

主要发现

• Fast-HotStuff 仅需两轮通信即可达成共识，相比 HotStuff 的三轮结构显著降低了延迟。
• 即使在视图变更期间仅添加 $O(n^2)$ 认证器，Fast-HotStuff 在分叉攻击下的延迟和吞吐量表现仍优于 HotStuff。
• Fast-HotStuff 的视图变更开销比 DiemBFT(v4) 降低 $O(n)$，显著减少了签名验证成本和带宽使用。
• Fast-HotStuff 对性能攻击具有弹性，可防止攻击者在 HotStuff 和 Wendy 中强制增加轮次，保持一致的恢复时间。
• 尽管门限签名构造中拉格朗日插值存在二次方计算成本，但由于通信和验证负载大幅减少，协议整体性能仍更优。
• 实验结果证实，即使在区块中包含 $O(n^2)$ 开销的情况下，Fast-HotStuff 在故障恢复期间的延迟仍低于 HotStuff。