[论文解读] Reaching Consensus in the Byzantine Empire: A Comprehensive Review of BFT Consensus Algorithms

Gengrui Zhang, Fei Pan+6 more|arXiv (Cornell University)|Apr 7, 2022

Distributed systems and fault tolerance被引用 4

一句话总结

本文提出了一套系统化的分类体系与对前沿拜占庭容错（BFT）共识算法的全面分析，将这些算法归类为高效型、鲁棒型和可用型三类。文章通过直观的逐步协议描述与消息传递图示，对比了各类算法的时间与消息复杂度，并评估其优缺点，以帮助研究人员和实践者理解并为现实世界中的分布式系统选择最优的BFT解决方案。

ABSTRACT

Byzantine fault-tolerant (BFT) consensus algorithms are at the core of providing safety and liveness guarantees for distributed systems that must operate in the presence of arbitrary failures. Recently, numerous new BFT algorithms have been proposed, not least due to the traction blockchain technologies have garnered in the search for consensus solutions that offer high throughput, low latency, and robust system designs. In this paper, we conduct a systematic survey of selected and distinguished BFT algorithms that have received extensive attention in academia and industry alike. We perform a qualitative comparison among all algorithms we review considering message and time complexities. Furthermore, we decompose each consensus algorithm into its constituent subprotocols for replication and view change backed by intuitive figures to illustrate the message-passing pattern. We also elaborate on the strengths and weaknesses of each algorithm as compared to the state-of-the-art approaches.

研究动机与目标

• 为应对由于假设和度量标准多样化，导致现代BFT共识算法理解日益复杂且不一致的问题。
• 通过将关键BFT算法结构化地分解为核心子协议，提供统一、直观且全面的描述。
• 基于设计优先级，将主流BFT算法划分为三大类：更高效、更鲁棒、更可用，实现系统分类。
• 采用标准化框架，系统性地比较所调研算法的时间与消息复杂度。
• 支持研究人员和实践者在区块链、物联网和机器学习等真实应用场景中评估与选择BFT共识协议。

提出的方法

• 提出一种新颖的三类分类体系：基于设计目标与系统特性的更高效、更鲁棒、更可用BFT算法。
• 通过一致的结构化描述，将每种BFT算法分解为核心子协议——正常操作、视图变更、冲突解决与鲁棒性机制。
• 使用直观图示展示所有所调研算法中每个共识实例的消息传递模式与工作流。
• 基于消息复杂度与时间复杂度，对所有算法进行定性比较，并在表1中以表格形式呈现结果。
• 突出显示独特特性，如流水线处理（例如HotStuff）、攻击防御机制（例如Prime、Aardvark）、公平性设计（例如Pompe、Fairy），以及无领导者/异步设计（例如Honeybadger、BEATS）。
• 整合关于新兴挑战的讨论，如后量子安全、互操作性，以及BFT在分布式机器学习中的应用，以阐明其在现实世界中的适用性。

实验结果

研究问题

• RQ1 如何基于其主要设计目标，系统性地对前沿BFT共识算法进行分类？
• RQ2 主流BFT算法在消息复杂度与时间复杂度方面存在哪些关键差异？这些差异在实际性能中如何体现？
• RQ3 视图变更、冲突解决与领导者选举等子协议如何共同保障BFT共识的正确性与活性？
• RQ4 鲁棒型BFT算法采用何种机制来防御时序攻击、垄断攻击与基于性能的攻击？
• RQ5 后量子安全、互操作性以及与机器学习的集成等新兴趋势，如何塑造BFT共识的未来发展？

主要发现

• 该分类体系成功地将BFT算法组织为三个逻辑清晰的类别——高效型、鲁棒型与可用型，每一类均对应不同的系统需求与权衡。
• 如HotStuff与Zyzzyva等算法通过流水线处理与优化的法定人数结构，实现了更低的消息复杂度，从而减少了通信开销。
• 鲁棒型BFT协议如Prime与Aardvark引入了对时序攻击与基于性能攻击的有效防御机制，显著提升了系统安全性。
• 无领导者与异步协议如Honeybadger与BEATS在发生网络分区或领导者故障时，显著提升了系统的可用性。
• 声誉机制（如Prosecutor）与公平性机制（如Pompe、Fairy）的引入，增强了交易排序过程中的信任与透明度。
• 新兴挑战如后量子安全与跨链互操作性被识别为关键前沿领域，亟需进一步推动BFT共识的创新。