Asynchronous Byzantine Agreement with Subquadratic Communication
Erica Blum, Jonathan Katz, Chen-Da Liu Zhang, and Julian Loss
Understanding the communication complexity of Byzantine agreement (BA) is a fundamental problem in distributed computing. In particular, for protocols involving a large number of parties (as in, e.g., the context of blockchain protocols), it is important to understand the dependence of the communication on the number of parties~$n$. Although adaptively secure BA protocols with $o(n^2)$ communication are known in the synchronous and partially synchronous settings, no such protocols are known in the fully asynchronous case.
We show asynchronous BA protocols with (expected) subquadratic communication complexity tolerating an adaptive adversary who can corrupt $f< (1-\epsilon)n/3$ of the parties (for any $\epsilon>0$). One protocol assumes initial setup done by a trusted dealer, after which an unbounded number of BA executions can be run; alternately, we can achieve subquadratic \emph{amortized} communication with no prior setup. We also show that some form of setup is needed for (non-amortized) subquadratic BA tolerating $\Theta(n)$ corrupted parties.
As a contribution of independent interest, we show a secure-computation protocol in the same threat model that has $o(n^2)$ communication when computing no-input functionalities with short output (e.g., coin tossing).
BibTeX Citation
@inproceedings{BKLL20, author = {Erica Blum and Jonathan Katz and Chen-Da Liu Zhang and Julian Loss}, title = {Asynchronous Byzantine Agreement with Subquadratic Communication}, editor = {Pass, Rafael and Pietrzak, Krzysztof}, booktitle = {Theory of Cryptography --- TCC 2020}, pages = 353--380, series = {LNCS}, volume = 12552, year = 2020, month = 12, address = {Cham}, publisher = {Springer International Publishing}, }