拜占庭共识是 \Theta(n^2)：Dolev-Reischuk 界即使在部分同步下也是紧的！[扩展版]
分布式、并行与集群计算
2022-09-07 v2
摘要
Dolev-Reischuk 界指出，任何确定性拜占庭共识协议在最坏情况下至少具有二次通信复杂度。虽然已证明该界在同步环境下是紧的，但在部分同步下是否可获得具有二次通信复杂度的共识协议仍未知。迄今为止，部分同步设置下已知的拜占庭共识最高效解决方案具有三次通信复杂度（例如 HotStuff、二进制 DBFT）。本文通过提出 SQuad 缩小了现有差距，SQuad 是一种具有二次最坏情况通信复杂度的部分同步拜占庭共识协议。此外，SQuad 具有最优弹性，并实现了线性最坏情况延迟复杂度。SQuad 背后的关键技术贡献在于我们解决视图同步的方式，即让所有正确进程在足够长的时间内进入具有相同正确领导者的视图的问题。具体而言，我们提出了 RareSync，一种具有二次通信复杂度和线性延迟复杂度的视图同步协议，我们将其用于构建 SQuad。
引用
@article{arxiv.2208.09262,
title = {Byzantine Consensus is \Theta(n^2): The Dolev-Reischuk Bound is Tight even in Partial Synchrony! [Extended Version]},
author = {Pierre Civit and Muhammad Ayaz Dzulfikar and Seth Gilbert and Vincent Gramoli and Rachid Guerraoui and Jovan Komatovic and Manuel Vidigueira},
journal= {arXiv preprint arXiv:2208.09262},
year = {2022}
}