Abstract:We study the problem of reaching agreement in a synchronous distributed system by $n$ autonomous parties, when the communication links from/to faulty parties can omit messages. The faulty parties are selected and controlled by an adaptive, full-information, computationally unbounded adversary. We design a randomized algorithm that works in $O(\sqrt{n}\log^2 n)$ rounds and sends $O(n^2\log^3 n)$ communication bits, where the number of faulty parties is $\Theta(n)$. Our result is simultaneously tight for both these measures within polylogarithmic factors: due to the $\Omega(n^2)$ lower bound on communication by Abraham et al. (PODC'19) and $\Omega(\sqrt{n/\log n})$ lower bound on the number of rounds by Bar-Joseph and Ben-Or (PODC'98). We also quantify how much randomness is necessary and sufficient to reduce time complexity to a certain value, while keeping the communication complexity (nearly) optimal. We prove that no MC algorithm can work in less than $\Omega(\frac{n^2}{\max\{R,n\}\log n})$ rounds if it uses less than $O(R)$ calls to a random source, assuming a constant fraction of faulty parties. This can be contrasted with a long line of work on consensus against an {\em adversary limited to polynomial computation time}, thus unable to break cryptographic primitives, culminating in a work by Ghinea et al. (EUROCRYPT'22), where an optimal $O(r)$-round solution with probability $1-(cr)^{-r}$ is given. Our lower bound strictly separates these two regimes, by excluding such results if the adversary is computationally unbounded. On the upper bound side, we show that for $R\in\tilde{O}(n^{3/2})$ there exists an algorithm solving consensus in $\tilde{O}(\frac{n^2}{R})$ rounds with high probability, where tilde notation hides a polylogarithmic factor. The communication complexity of the algorithm does not depend on the amount of randomness $R$ and stays optimal within polylogarithmic factor.

Optimal Eventual Byzantine Agreement Protocols with Omission Failures

Byzantine Agreement with Optimal Early Stopping, Optimal Resilience and Polynomial Complexity

Almost-Surely Terminating Asynchronous Byzantine Agreement Against General Adversaries with Optimal Resilience

An Approach to Optimizing the VABA Protocol Using $κ$-size Committee

Byzantine Agreement with Optimal Resilience via Statistical Fraud Detection

Efficient Synchronous Byzantine Consensus

A Committee Based Optimal Asynchronous Byzantine Agreement Protocol W.P. 1

Efficient Signature-Free Validated Agreement

On Solving Optimal Policies for Finite-Stage Event-Based Optimization

Prioritized-MVBA: A New Approach to Design an Optimal Asynchronous Byzantine Agreement Protocol

Asynchronous Byzantine Agreement with Optimal Resilience and Linear Complexity

Partial Synchrony for Free? New Upper Bounds for Byzantine Agreement

Nearly-Optimal Consensus Tolerating Adaptive Omissions: Why is a Lot of Randomness Needed?

Event-based optimization with lagged state information

Approximate Byzantine Fault-Tolerance in Distributed Optimization

The Optimal Error Resilience of Interactive Communication Over Binary Channels

Provably Bounded-Optimal Agents

A Publicly Verifiable Optimistic Fair Exchange Protocol Using Decentralized CP-ABE

Asynchronous Approximate Agreement with Quadratic Communication

Tractable Agreement Protocols