A New Way to Achieve Round-Efficient Asynchronous Byzantine Agreement
Simon Holmgaard Kamp, Helmholtz Center for Information Security
Abstract
We translate the \emph{expand-and-extract} framework by Fitzi, Liu-Zhang, and Loss (PODC 21) to the asynchronous setting.
While they use it to obtain a synchronous BA with error probability in rounds, we make it work in asynchrony in rounds.
At the heart of their solution is a \emph{proxcensus} primitive,
which is used to reach graded agreement with grades in rounds by reducing proxcensus with grades to proxcensus with grades in one round.
The \emph{expand-and-extract} paradigm uses proxcensus to \emph{expand} binary inputs to grades in rounds before \emph{extracting} a binary output by partitioning the grades using a bit common coin.
However, the proxcensus protocol by Fitzi et al. does not translate to the asynchronous setting without lowering the corruption threshold or using more rounds in each recursive step.
We solve this by attaching \emph{justifiers} to all messages: forcing the adversary to choose between being ignored by the honest parties, or sending messages with certain validity properties.
Using these we define validated proxcensus and show that it can be instantiated in asynchrony with the same recursive structure and round complexity as synchronous proxcensus.
In asynchrony the extraction phase incurs a security loss of one bit
which is recovered by expanding to twice as many grades using an extra round of communication.
This results in a round and a round BA, both with error probability and communication complexity matching Fitzi et al.