Consensus in the UnknownParticipation MessageAdversary Model
Abstract
We propose a new model that resembles Algorand's mechanism that selects a committee at each synchronous round to govern the stateless progression of its consensus algorithm. We consider an infinite set of authenticated processors in a synchronous roundbyround model. At each round $r$ an adversary chooses an unknown, finite committee $C_r$. Unlike Algorand, no information is known about the size of the committee. The committee can send messages to the whole universe, while processors outside the committee at the round do not send messages at all. Moreover, the adversary partitions the committee into a set of good processors $G_r$ and a set of processors $F_r$ that it impersonates during round $r$. If we fix $F_r$ to be static, i.e. the same in all rounds, we obtain an idealized version of the Sleepy Model of Pass and Shi. If both $G_r$ and $F_r$ are static and are additionally known to the processors, we obtain the traditional, synchronous Authenticated Byzantine Agreement Model. Assuming that a majority of the committee is good in each round, we show that consensus is solvable deterministically if the union of all sets $F_r$ is bounded. We also show that consensus is solvable probabilistically even if both $G_r$ and $F_r$ change without bounds. Those are surprising and mathematically pleasing results because, contrary to the traditional, eventuallysynchronous model, there is no resiliency gap between the static and nonstatic cases (in the traditional model, resiliency degrades from half under synchrony to one third under eventual synchrony). Moreover, these results are new even for the special case of the Sleepy Model.
 Publication:

arXiv eprints
 Pub Date:
 January 2023
 DOI:
 10.48550/arXiv.2301.04817
 arXiv:
 arXiv:2301.04817
 Bibcode:
 2023arXiv230104817L
 Keywords:

 Computer Science  Distributed;
 Parallel;
 and Cluster Computing