[论文解读] BBCA-CHAIN: Low Latency, High Throughput BFT Consensus on a DAG

Dahlia Malkhi, Chrysoula Stathakopoulou+1 more|arXiv (Cornell University)|Oct 10, 2023

Distributed systems and fault tolerance被引用 5

一句话总结

BBCA-CHAIN 提出了一种基于有向无环图（DAG）的低延迟、高吞吐量拜占庭容错（BFT）共识协议，通过在 BBCA 上增强 Byzantine 一致广播（CBC）的完整采纳（Complete-Adopt）语义，实现了无需投票块和人工分层的直接块提交。该协议仅需一次消息往返即可完成块提交，将延迟降低至仅一个 BBCA 广播，即使在部分同步环境下也能实现子 200ms 的最终性，同时具备高吞吐量和简化逻辑的优势。

ABSTRACT

This paper presents a partially synchronous BFT consensus protocol powered by BBCA, a lightly modified Byzantine Consistent Broadcast (BCB) primitive. BBCA provides a Complete-Adopt semantic through an added probing interface to allow either aborting the broadcast by correct nodes or exclusively, adopting the message consistently in case of a potential delivery. It does not introduce any extra types of messages or additional communication costs to BCB. BBCA is harnessed into BBCA-CHAIN to make direct commits on a chained backbone of a causally ordered graph of blocks, without any additional voting blocks or artificial layering. With the help of Complete-Adopt, the additional knowledge gained from the underlying BCB completely removes the voting latency in popular DAG-based protocols. At the same time, causal ordering allows nodes to propose blocks in parallel and achieve high throughput. BBCA-CHAIN thus closes up the gap between protocols built by consistent broadcasts (e.g., Bullshark) to those without such an abstraction (e.g., PBFT/HotStuff), emphasizing their shared fundamental principles. Using a Bracha-style BCB as an example, we fully specify BBCA-CHAIN with simplicity, serving as a solid basis for high-performance replication systems (and blockchains).

研究动机与目标

• 为缩小基于 CBC 的协议（如 Bullshark）与 PBFT/HotStuff 之间的性能差距，实现在 DAG 上的低延迟、高吞吐量共识。
• 通过移除人工投票层和专用块类型，简化基于 DAG 的共识逻辑。
• 通过将投票逻辑直接集成到修改后的 CBC 原 primitive 中，避免多轮依赖，从而降低共识延迟。
• 通过因果排序和轻量级探测接口，实现并行的块提议与提交。
• 为高性能复制系统和区块链提供一个简单、形式化指定的基础。

提出的方法

• 引入 BBCA，一种带有完整采纳接口的修改版拜占庭一致广播（CBC）原 primitive，允许通过本地投票组探测判断广播是否将完成。
• 使用 BBCA 实现骨干块的单次消息往返直接提交，无需单独的投票块或分层 DAG 结构。
• 采用因果排序，使节点能够并行提议块，非骨干块则使用最佳努力广播（BEB）以减少通信开销。
• 利用完整采纳语义提取强不变量：若一组节点探测后均收到“未采纳”响应，则任何正确节点都不会完成该广播。
• 设计视图轮转协议，仅领导者块使用 BBCA，其余块通过 BEB 传播，从而最小化通信成本。
• 使用 Bracha 风格的 CBC 作为基础，完全形式化指定 BBCA-CHAIN，确保在部分同步模型下逻辑简洁且正确。

实验结果

研究问题

• RQ1 基于 DAG 的 BFT 共识协议能否在保持高吞吐量的同时，实现子 200ms 的最终性并达到最低延迟？
• RQ2 基于 DAG 的共识中的投票逻辑能否内置于广播原 primitive 中，从而消除对单独投票块和人工分层的需求？
• RQ3 带有完整采纳接口的修改版 CBC 原 primitive 能否实现在不牺牲安全性和活性的前提下，直接通过单条消息完成块提交？
• RQ4 将因果排序与轻量级探测机制结合，能否在部分同步网络中同时实现高吞吐量和低延迟？
• RQ5 基于 BBCA 的简化共识设计能否在降低实现复杂度的同时，性能达到甚至超过 Bullshark 等复杂 DAG 协议？

主要发现

• BBCA-CHAIN 将块提交延迟降低至单次 BBCA 广播的往返时间，而 Bullshark 需要四轮 CBC。
• 通过消除投票块和人工分层，协议实现了低延迟最终性，与当前最先进的 DAG 协议相比延迟最高降低 75%。
• 吞吐量显著提升，因为提议者不再因等待投票组响应而产生顺序阻塞。
• 完整采纳接口允许在不增加通信开销的前提下，通过本地状态检查提取投票组知识。
• BBCA-CHAIN 支持高并行性：非骨干块通过最佳努力广播（BEB）传播，降低通信成本并支持高效流水线处理。
• 协议通过 Bracha 风格的 CBC 完全形式化指定，为高性能复制系统提供了简洁、正确且可扩展的基础。