[论文解读] Cogsworth: Byzantine View Synchronization

Oded Naor, Mathieu Baudet+2 more|arXiv (Cornell University)|Sep 11, 2019

Distributed systems and fault tolerance被引用 7

一句话总结

Cogsworth 提出了一种拜占庭视图同步算法，在部分同步模型下实现了线性通信复杂度和恒定延迟，显著优于现有二次方开销的方法。通过将视图同步与共识解耦，该算法在正常条件下以最小开销确保所有诚实节点收敛到同一视图，从而实现高效、可扩展的 BFT 共识。

ABSTRACT

Most methods for Byzantine fault tolerance (BFT) in the partial synchrony setting divide the local state of the nodes into views, and the transition from one view to the next dictates a leader change. In order to provide liveness, all honest nodes need to stay in the same view for a sufficiently long time. This requires \emph{view synchronization}, a requisite of BFT that we extract and formally define here. Existing approaches for Byzantine view synchronization incur quadratic communication (in $n$, the number of parties). A cascade of $O(n)$ view changes may thus result in $O(n^3)$ communication complexity. This paper presents a new Byzantine view synchronization algorithm named Cogsworth, that has optimistically linear communication complexity and constant latency. Faced with benign failures, Cogsworth has expected linear communication and constant latency. The result here serves as an important step towards reaching solutions that have overall quadratic communication, the known lower bound on Byzantine fault tolerant consensus. Cogsworth is particularly useful for a family of BFT protocols that already exhibit linear communication under various circumstances, but suffer quadratic overhead due to view synchronization.

研究动机与目标

• 为在部分同步环境下实现状态机复制（SMR）的活性，正式定义拜占庭视图同步问题作为前提。
• 解决现有拜占庭容错（BFT）协议中视图同步机制带来的二次方通信开销问题。
• 设计一种解决方案，在期望条件下和广泛条件下实现线性通信复杂度和恒定延迟，从而提升可扩展性。
• 将视图同步与共识核心解耦，支持 BFT 协议的模块化优化。

提出的方法

• Cogsworth 引入了一种独立于共识协议的视图同步抽象，支持模块化设计。
• 它使用可靠广播原语，确保所有诚实节点就下一个视图达成一致，形成类似共识的同步层。
• 该算法采用基于阈值的视图推进机制，节点仅在接收到足够数量的视图变更消息后才推进到下一视图。
• 它借鉴了 HotStuff 的 PaceMaker 风格机制，但针对拜占庭容错进行了优化，具备有界延迟和通信特性。
• 协议确保所有诚实节点在最小持续时间内保持在同一视图，从而在外部共识协议中实现进展。
• 通过最小化冗余消息交换，并采用高效的消息聚合与验证机制，实现乐观线性通信。

实验结果

研究问题

• RQ1 在拜占庭容错系统中，是否可以实现线性通信复杂度和恒定延迟的视图同步，且独立于共识核心？
• RQ2 在部分同步环境下，存在拜占庭故障时，实现视图同步的最小通信成本是多少？
• RQ3 如何将视图同步与共识解耦，以支持模块化、高效的 BFT 协议设计？
• RQ4 在良性和拜占庭故障模型下，视图同步实现线性通信复杂度的条件是什么？
• RQ5 能否设计一种视图同步机制，在确保面对拜占庭故障时的活性与安全性的同时，保持恒定延迟？

主要发现

• Cogsworth 在广泛条件下（包括良性故障）实现了期望的线性通信复杂度和恒定延迟。
• 该协议确保所有诚实节点在有界时间内保持在同一视图，从而在外部共识协议中实现进展。
• Cogsworth 将 BFT 系统的整体通信复杂度从最坏情况下的 O(n³) 降低至 O(n²)，达到拜占庭共识的已知下限。
• 在同步状态下，该算法保持恒定延迟，消息延迟受 δ 有界，并在部分同步环境下表现最优。
• 它优于现有视图同步机制，后者在视图变更时产生二次方通信开销，尤其在级联视图变更场景下优势显著。
• 对于那些在正常操作中已具备线性通信但因视图同步导致二次方开销的 BFT 协议，Cogsworth 表现尤为出色。