[论文解读] Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR

Oded Naor, Idit Keidar|arXiv (Cornell University)|Jan 1, 2020

Distributed systems and fault tolerance被引用 6

一句话总结

本文提出了一种新型的拜占庭状态机复制（SMR）轮同步算法，即使在拜占庭故障下，也能实现预期的线性消息复杂度和预期的常数延迟。通过使用基于中继的门限签名机制以及针对落后进程的帮助机制，该算法消除了先前解决方案的二次方通信开销，从而实现了首个端到端线性拜占庭SMR协议，具备最优性能。

ABSTRACT

State Machine Replication (SMR) solutions often divide time into rounds, with a designated leader driving decisions in each round. Progress is guaranteed once all correct processes synchronize to the same round, and the leader of that round is correct. Recently suggested Byzantine SMR solutions such as HotStuff, Tendermint, and LibraBFT achieve progress with a linear message complexity and a constant time complexity once such round synchronization occurs. But round synchronization itself incurs an additional cost. By Dolev and Reischuk’s lower bound, any deterministic solution must have Ω(n²) communication complexity. Yet the question of randomized round synchronization with an expected linear message complexity remained open. We present an algorithm that, for the first time, achieves round synchronization with expected linear message complexity and expected constant latency. Existing protocols can use our round synchronization algorithm to solve Byzantine SMR with the same asymptotic performance.

研究动机与目标

• 解决拜占庭SMR协议中因轮同步导致的二次方通信开销性能瓶颈。
• 填补拜占庭轮同步在预期复杂度上的空白，此前的解决方案要么具有二次方复杂度，要么仅在良性故障下有效。
• 在面对拜占庭进程时，实现预期的线性消息复杂度和常数延迟，适用于无感知或强敌手模型。
• 提供一种模块化、可组合的解决方案，可无缝集成到现有SMR协议（如HotStuff、Tendermint和LibraBFT）中，以提升其端到端性能。
• 在最小化通信开销的前提下，确保在拜占庭故障下协议的正确性和活性，通过创新的基于中继的门限签名和追赶机制实现。

提出的方法

• 将轮同步分解为同步器抽象和本地函数，以隔离协调逻辑。
• 采用基于中继的消息分发机制，每个进程将消息发送给指定的中继，而非广播给所有进程。
• 使用门限签名将多条消息压缩为单个固定大小的签名，将每轮通信量减少至O(n)。
• 引入“帮助”机制，使落后进程能够高效追赶，而无需进行全量广播。
• 为每条消息签名其目标中继，以防止重放攻击和中继伪造攻击。
• 在中继选择和消息聚合中引入随机化，以确保对拜占庭中继和对抗性行为的弹性。

实验结果

研究问题

• RQ1 拜占庭SMR中的轮同步能否实现预期的线性消息复杂度和常数延迟？
• RQ2 是否可能将拜占庭轮同步的预期通信成本降低至二次方以下，同时容忍拜占庭故障？
• RQ3 基于中继的系统如何防止拜占庭中继选择性转发消息或引发消息爆炸？
• RQ4 追赶机制能否使落后进程在不产生全量广播通信的前提下高效同步？
• RQ5 在强敌手模型下，轮同步的性能界限是什么？其在无限运行中的期望值能否被有效界定？

主要发现

• 所提出的算法在无感知敌手模型下，实现了轮同步的预期线性消息复杂度和预期常数延迟。
• 在强敌手模型下，无限运行中平均预期消息复杂度和延迟分别被限制在线性和常数值范围内。
• 门限签名的使用确保每条消息的通信大小恒定，与进程数量无关。
• 帮助机制使落后进程仅通过O(n)条消息即可追赶至当前轮次，避免了全量广播。
• 协议对拜占庭故障（包括恶意中继）具有弹性，得益于消息签名和基于门限的聚合机制。
• 该解决方案填补了拜占庭SMR中的关键性能空白，使HotStuff和LibraBFT等协议实现端到端线性复杂度。