Optimal Communication Complexity of Authenticated Byzantine Agreement

Authors Atsuki Momose, Ling Ren



PDF
Thumbnail PDF

File

LIPIcs.DISC.2021.32.pdf
  • Filesize: 0.64 MB
  • 16 pages

Document Identifiers

Author Details

Atsuki Momose
  • Nagoya University, Aichi, Japan
  • Intelligent Systems Laboratory, SECOM CO.,LTD., Tokyo, Japan
Ling Ren
  • University of Illinois at Urbana-Champaign, Urbana, IL, USA

Acknowledgements

We would like to thank Zhuolun Xiang for helpful feedback.

Cite AsGet BibTex

Atsuki Momose and Ling Ren. Optimal Communication Complexity of Authenticated Byzantine Agreement. In 35th International Symposium on Distributed Computing (DISC 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 209, pp. 32:1-32:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/LIPIcs.DISC.2021.32

Abstract

Byzantine Agreement (BA) is one of the most fundamental problems in distributed computing, and its communication complexity is an important efficiency metric. It is well known that quadratic communication is necessary for BA in the worst case due to a lower bound by Dolev and Reischuk. This lower bound has been shown to be tight for the unauthenticated setting with f < n/3 by Berman et al. but a considerable gap remains for the authenticated setting with n/3 ≤ f < n/2. This paper provides two results towards closing this gap. Both protocols have a quadratic communication complexity and have different trade-offs in resilience and assumptions. The first protocol achieves the optimal resilience of f < n/2 but requires a trusted setup for threshold signature. The second protocol achieves near optimal resilience f ≤ (1/2 - ε)n in the standard PKI model.

Subject Classification

ACM Subject Classification
  • Security and privacy → Distributed systems security
Keywords
  • Byzantine Agreement
  • Communication Complexity
  • Lower Bound

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Ittai Abraham, TH Hubert Chan, Danny Dolev, Kartik Nayak, Rafael Pass, Ling Ren, and Elaine Shi. Communication complexity of byzantine agreement, revisited. In ACM Symposium on Principles of Distributed Computing (PODC), pages 317-326, 2019. Google Scholar
  2. Ittai Abraham, Srinivas Devadas, Danny Dolev, Kartik Nayak, and Ling Ren. Synchronous byzantine agreement with expected o(1) rounds, expected o(n²) communication, and optimal resilience. In Financial Cryptography and Data Security (FC), pages 320-334. Springer, 2019. Google Scholar
  3. Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, and Maofan Yin. Sync hotstuff: Simple and practical synchronous state machine replication. In IEEE Symposium on Security and Privacy (S&P), pages 106-118. IEEE, 2020. Google Scholar
  4. Ittai Abraham, Dahlia Malkhi, and Alexander Spiegelman. Validated asynchronous byzantine agreement with optimal resilience and asymptotically optimal time and word communication. arXiv preprint, 2018. URL: http://arxiv.org/abs/1811.01332.
  5. Ittai Abraham, Kartik Nayak, Ling Ren, and Zhuolun Xiang. Optimal good-case latency for byzantine broadcast and state machine replication. arXiv preprint, 2020. URL: http://arxiv.org/abs/2003.13155.
  6. Piotr Berman, Juan A Garay, and Kenneth J Perry. Bit optimal distributed consensus. In Computer science, pages 313-321. Springer, 1992. Google Scholar
  7. Christian Cachin, Klaus Kursawe, Frank Petzold, and Victor Shoup. Secure and efficient asynchronous broadcast protocols. In Annual International Cryptology Conference (CRYPTO), pages 524-541. Springer, 2001. Google Scholar
  8. Christian Cachin and Stefano Tessaro. Asynchronous verifiable information dispersal. In IEEE Symposium on Reliable Distributed Systems (SRDS), pages 191-201. IEEE, 2005. Google Scholar
  9. Miguel Castro, Barbara Liskov, et al. Practical byzantine fault tolerance. In 3rd Symposium on Operating Systems Design and Implementation (OSDI), pages 173-186. USENIX, 1999. Google Scholar
  10. Jing Chen and Silvio Micali. Algorand. arXiv preprint, 2016. URL: http://arxiv.org/abs/1607.01341.
  11. Shir Cohen, Idit Keidar, and Alexander Spiegelman. Not a coincidence: Sub-quadratic asynchronous byzantine agreement whp. arXiv preprint, 2020. URL: http://arxiv.org/abs/2002.06545.
  12. Danny Dolev, Michael J Fischer, Rob Fowler, Nancy A Lynch, and H Raymond Strong. An efficient algorithm for byzantine agreement without authentication. Information and Control, 52(3):257-274, 1982. Google Scholar
  13. Danny Dolev and Rüdiger Reischuk. Bounds on information exchange for byzantine agreement. Journal of the ACM (JACM), 32(1):191-204, 1985. Google Scholar
  14. Danny Dolev and H. Raymond Strong. Authenticated algorithms for byzantine agreement. SIAM Journal on Computing, 12(4):656-666, 1983. Google Scholar
  15. Cynthia Dwork, Nancy Lynch, and Larry Stockmeyer. Consensus in the presence of partial synchrony. Journal of the ACM, 35(2):288-323, 1988. Google Scholar
  16. Paul Feldman and Silvio Micali. Optimal algorithms for byzantine agreement. In Proceedings of the twentieth annual ACM symposium on Theory of computing, pages 148-161, 1988. Google Scholar
  17. Michael J Fischer, Nancy A Lynch, and Michael Merritt. Easy impossibility proofs for distributed consensus problems. Distributed Computing, 1(1):26-39, 1986. Google Scholar
  18. Michael J Fischer, Nancy A Lynch, and Michael S Paterson. Impossibility of distributed consensus with one faulty process. Journal of the ACM (JACM), 32(2):374-382, 1985. Google Scholar
  19. Jonathan Katz and Chiu-Yuen Koo. On expected constant-round protocols for byzantine agreement. Journal of Computer and System Sciences, 75(2):91-112, 2009. Google Scholar
  20. Valerie King and Jared Saia. Breaking the o(n²) bit barrier: scalable byzantine agreement with an adaptive adversary. Journal of the ACM (JACM), 58(4):1-24, 2011. Google Scholar
  21. Leslie Lamport, Robert Shostak, and Marshall Pease. The byzantine generals problem. ACM Transactions on Programming Languages and Systems, 4(3):382-401, 1982. Google Scholar
  22. Yuan Lu, Zhenliang Lu, Qiang Tang, and Guiling Wang. Dumbo-mvba: Optimal multi-valued validated asynchronous byzantine agreement, revisited. In ACM Symposium on Principles of Distributed Computing (PODC), pages 129-138, 2020. Google Scholar
  23. Silvio Micali. Byzantine agreement, made trivial, 2016. Google Scholar
  24. Andrew Miller, Yu Xia, Kyle Croman, Elaine Shi, and Dawn Song. The honey badger of bft protocols. In ACM Conference on Computer and Communications Security (CCS), pages 31-42, 2016. Google Scholar
  25. Kartik Nayak, Ling Ren, Elaine Shi, Nitin H Vaidya, and Zhuolun Xiang. Improved extension protocols for byzantine broadcast and agreement. arXiv preprint, 2020. URL: http://arxiv.org/abs/2002.11321.
  26. Marshall Pease, Robert Shostak, and Leslie Lamport. Reaching agreement in the presence of faults. Journal of the ACM (JACM), 27(2):228-234, 1980. Google Scholar
  27. Alexander Spiegelman. In search for a linear byzantine agreement. arXiv preprint, 2020. URL: http://arxiv.org/abs/2002.06993.
  28. Georgios Tsimos, Julian Loss, and Charalampos Papamanthou. Nearly quadratic broadcast without trusted setup under dishonest majority. IACR Cryptology ePrint Archive, Report 2020/894, 2020. Google Scholar
  29. Maofan Yin, Dahlia Malkhi, Michael K Reiter, Guy Golan Gueta, and Ittai Abraham. Hotstuff: Bft consensus with linearity and responsiveness. In ACM Symposium on Principles of Distributed Computing (PODC), pages 347-356, 2019. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail