[论文解读] Breaking the O(n^2) Bit Barrier: Scalable Byzantine agreement with an Adaptive Adversary

Valerie King, Jared Saia|arXiv (Cornell University)|Feb 24, 2010

Distributed systems and fault tolerance参考文献 19被引用 46

一句话总结

本文提出了一种可扩展的拜占庭一致性协议，将每个处理器的通信量降低至 $\tilde{O}(\sqrt{n})$ 位，实现了对自适应、快速响应敌手的亚对数延迟和高概率正确性。该协议利用一种新颖的全局随机位序列原 primitive 和高效的报文聚合机制，打破了 $O(n^2)$ 的通信瓶颈，使得在大规模网络中实现低开销的实际共识成为可能。

ABSTRACT

We describe an algorithm for Byzantine agreement that is scalable in the sense that each processor sends only $ ilde{O}(\sqrt{n})$ bits, where $n$ is the total number of processors. Our algorithm succeeds with high probability against an \emph{adaptive adversary}, which can take over processors at any time during the protocol, up to the point of taking over arbitrarily close to a 1/3 fraction. We assume synchronous communication but a \emph{rushing} adversary. Moreover, our algorithm works in the presence of flooding: processors controlled by the adversary can send out any number of messages. We assume the existence of private channels between all pairs of processors but make no other cryptographic assumptions. Finally, our algorithm has latency that is polylogarithmic in $n$. To the best of our knowledge, ours is the first algorithm to solve Byzantine agreement against an adaptive adversary, while requiring $o(n^{2})$ total bits of communication.

研究动机与目标

• 为解决拜占庭一致性协议中长期存在的高通信开销问题，传统协议的通信复杂度通常为 $O(n^2)$ 位。
• 设计一种协议，使其在自适应敌手可随时腐蚀最多 $1/3 - \epsilon$ 个处理器的情况下仍保持高效与正确。
• 在同步、私有信道模型下，实现次二次通信复杂度，同时保持低延迟和强正确性保证。
• 使拜占庭一致性协议在大规模网络（如对等网络、云计算和传感器网络）中实现实际部署成为可能。
• 证明在自适应敌手模型下，每个处理器通信量为 $\tilde{O}(\sqrt{n})$ 位已足够实现拜占庭一致性。

提出的方法

• 协议采用两阶段方法：首先通过全局随机位序列原 primitive 实现几乎全部一致，然后将共识值传播至所有正常处理器。
• 引入全局随机位序列问题，该问题生成一个长度为多项式对数的均匀随机位序列，由 $1 - 1/\log n$ 的正常处理器达成一致。
• 协议采用随机请求与响应机制，处理器向知情节点发送标签，并利用切尔诺夫不等式确保高概率正确性。
• 应用马尔可夫不等式与切尔诺夫不等式，限制处理器过载与消息冲突的概率，从而保障可扩展性。
• 关键技术之一是使用私有信道与快速响应敌手模型，即敌手在发送自身消息前可观察所有正常处理器的消息，但协议仍以高概率成功。
• 通过并行执行子程序以及在处理器间高效聚合随机值，算法在多项式对数时间内运行。

实验结果

研究问题

• RQ1 能否在自适应敌手模型下，实现总通信量为 $o(n^2)$ 位的拜占庭一致性？
• RQ2 是否可能设计一种协议，使每个处理器的通信量为 $\tilde{O}(\sqrt{n})$ 位，同时在自适应腐败攻击下仍保持正确性？
• RQ3 能否构建一个长度为多项式对数、且正常处理器间具有高一致概率的全局随机位序列原 primitive？
• RQ4 在自适应、快速响应敌手存在的情况下，拜占庭一致性所需的最小通信复杂度是多少？
• RQ5 这些技术能否扩展以支持通信量为次二次的隐私安全多方计算？

主要发现

• 协议实现了每个处理器通信量为 $\tilde{O}(\sqrt{n})$ 位的拜占庭一致性，打破了 $O(n^2)$ 的通信瓶颈。
• 在控制最多 $1/3 - \epsilon$ 个处理器的自适应敌手下，协议以高概率成功，其成功概率定义为 $1 - 1/n^c$，其中 $c$ 为任意常数。
• 协议在多项式对数时间内运行，具体为 $O(\operatorname{polylog}(n))$ 轮，确保低延迟。
• 全局随机位序列原 primitive 生成长度为 $\tilde{O}(\log n)$ 的序列，其中 $\Omega(\log n)$ 个均匀随机位被 $1 - 1/\log n$ 的正常处理器所一致接受。
• 单轮失败概率被限制在 $n^{-2c}$ 以内，重复执行协议 $O(\epsilon \log n)$ 次后，整体失败概率降低至 $1 - 1/n^c$。
• 全网拜占庭一致性协议在实现完全一致的同时，仍保持每个处理器 $\tilde{O}(\sqrt{n})$ 的通信成本，这得益于最终阶段的高效聚合。