,
Gilad Asharov
Creative Commons Attribution 4.0 International license
Asynchronous byzantine agreement extension studies the message complexity of L-bit multivalued asynchronous byzantine agreement given access to a binary asynchronous Byzantine agreement protocol. We prove that asynchronous byzantine agreement extension can be solved with perfect security and optimal resilience in O(nL+n² log n) total communication (in bits) in addition to a single call to a binary asynchronous Byzantine agreement protocol. For L = O(n log n), this gives an asymptotically optimal protocol, resolving a question that remained open for nearly two decades. List decoding is a fundamental concept in theoretical computer science and cryptography, enabling error correction beyond the unique decoding radius and playing a critical role in constructing robust codes, hardness amplification, and secure cryptographic protocols. A key novelty of our perfectly secure and optimally resilient asynchronous byzantine agreement extension protocol is that it uses list decoding - making a striking new connection between list decoding and asynchronous Byzantine agreement.
@InProceedings{abraham_et_al:LIPIcs.DISC.2025.1,
author = {Abraham, Ittai and Asharov, Gilad},
title = {{ABEL: Perfect Asynchronous Byzantine Extension from List-Decoding}},
booktitle = {39th International Symposium on Distributed Computing (DISC 2025)},
pages = {1:1--1:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-402-4},
ISSN = {1868-8969},
year = {2025},
volume = {356},
editor = {Kowalski, Dariusz R.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2025.1},
URN = {urn:nbn:de:0030-drops-248185},
doi = {10.4230/LIPIcs.DISC.2025.1},
annote = {Keywords: Asynchronous Byzantine Agreement, Perfect Security}
}