[论文解读] DBFT: Efficient Byzantine Consensus with a Weak Coordinator and its Application to Consortium Blockchains

Tyler Crain, Vincent Gramoli+2 more|arXiv (Cornell University)|Feb 10, 2017

Distributed systems and fault tolerance被引用 12

一句话总结

本文提出DBFT，一种基于弱协调者的确定性拜占庭共识算法，在部分同步环境下实现时间最优、容错最优的共识，且无需数字签名。与传统领导者不同，弱协调者不强制其值；相反，一旦收到足够多的消息，各节点可独立决定，即使协调者故障或响应缓慢也能终止。该算法在存在拜占庭故障的跨地域部署中实现了亚秒级平均延迟，优于随机化方案。

ABSTRACT

This paper introduces a deterministic Byzantine consensus algorithm that relies on a new weak coordinator. As opposed to previous algorithms that cannot terminate in the presence of a faulty or slow coordinator, our algorithm can terminate even when its coordinator is faulty, hence the name weak coordinator. The key idea is to allow processes to complete asynchronous rounds as soon as they receive a threshold of messages, instead of having to wait for a message from a coordinator that may be slow. The resulting algorithm assumes partial synchrony, is resilience optimal, time optimal and does not need signatures. Our presentation is didactic: we first present a simple safe binary Byzantine consensus algorithm, modify it to ensure termination, and finally present an optimized reduction from multivalue consensus to binary consensus that may terminate in 4 message delays. To evaluate our algorithm, we deployed it on 100 machines distributed in 5 datacenters across different continents and compared its performance against the randomized solution from Mostefaoui, Moumem and Raynal [PODC14] that terminates in O(1) rounds in expectation. Our algorithm always outperforms the latter even in the presence of Byzantine behaviors. Our algorithm has a subsecond average latency in most of our geo-distributed experiments, even when attacked by a well-engineered coalition of Byzantine processes.

研究动机与目标

• 解决传统拜占庭容错（BFT）协议依赖强协调者所带来的局限性，即当协调者故障或响应缓慢时会阻塞共识。
• 设计一种确定性共识算法，确保即使协调者为拜占庭故障或无响应，也能实现终止，且无需数字签名。
• 在部分同步环境下实现时间最优性（4条消息延迟）与容错最优性（t < n/3）。
• 通过降低延迟并提升真实网络环境下的容错能力，实现联盟区块链的高效部署。

提出的方法

• 引入弱协调者，仅建议值而不强制执行，使非故障节点可独立推进。
• 采用基于阈值的机制：当节点收到n−t个消息后即做出决定，不再依赖协调者。
• 使用二值共识抽象（BIN CONS）作为构建模块，通过2t+1个可靠广播（RB-broadcast）实例将多值共识简化为二值共识。
• 通过三步协议实现RB-broadcast：当节点从2t+1个不同进程接收到消息后，进行回声并本地交付。
• 依赖部分同步模型并假设存在t < n/3个拜占庭故障，确保安全性和活性。
• 通过允许乐观执行轮次而不等待协调者消息，优化消息延迟。

实验结果

研究问题

• RQ1 是否能在不依赖随机化或数字签名的前提下，使拜占庭共识算法在协调者故障或响应缓慢时仍能终止？
• RQ2 如何弱化协调者角色，使其不再阻塞共识，同时仍对终止有贡献？
• RQ3 在部分同步与容错最优性条件下，确定性拜占庭共识所需的最少消息延迟数是多少？
• RQ4 能否在BFT环境中通过常数时间终止的机制，将多值共识问题约化为二值共识？
• RQ5 在真实世界、跨地域部署中，基于弱协调者的确定性BFT算法性能是否优于随机化方案？

主要发现

• DBFT算法实现了时间最优性，最坏情况下仅需4条消息延迟，这是确定性拜占庭共识的最优结果。
• 由于决策机制基于阈值且独立于协调者输出，即使协调者为拜占庭故障或无响应，算法仍能保证终止。
• 在横跨五大洲共100台机器的跨地域实验中，DBFT实现了亚秒级平均延迟，即使在协调的拜占庭攻击下仍表现稳定。
• DBFT在所有测试场景（包括拜占庭故障）中均优于Mostefaoui等人（PODC’14）提出的随机化算法（其期望轮次为O(1)）。
• 通过2t+1个RB-broadcast实例将多值共识约化为二值共识，确保在t < n/3故障下实现常数时间终止与正确性。
• 使用基于阈值的回声与交付机制的可靠广播（RB-broadcast），在无需数字签名的情况下保障了安全性和活性。