Document Open Access Logo

Exact Byzantine Consensus on Arbitrary Directed Graphs Under Local Broadcast Model

Authors Muhammad Samir Khan, Lewis Tseng, Nitin H. Vaidya

PDF
Thumbnail PDF

File

LIPIcs.OPODIS.2019.30.pdf
  • Filesize: 0.49 MB
  • 16 pages

Document Identifiers

Author Details

Muhammad Samir Khan
  • Department of Computer Science, University of Illinois at Urbana-Champaign, USA
Lewis Tseng
  • Department of Computer Science, Boston College, USA
Nitin H. Vaidya
  • Department of Computer Science, Georgetown University, USA

Funding

This research is supported in part by the National Science Foundation awards 1409416 and 1733872, and Toyota InfoTechnology Center. Any opinions, findings, and conclusions or recommendations expressed here are those of the authors and do not necessarily reflect the views of the funding agencies or the U.S. government.

Cite AsGet BibTex

Muhammad Samir Khan, Lewis Tseng, and Nitin H. Vaidya. Exact Byzantine Consensus on Arbitrary Directed Graphs Under Local Broadcast Model. In 23rd International Conference on Principles of Distributed Systems (OPODIS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 153, pp. 30:1-30:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
https://doi.org/10.4230/LIPIcs.OPODIS.2019.30

Abstract

We consider Byzantine consensus in a synchronous system where nodes are connected by a network modeled as a directed graph, i.e., communication links between neighboring nodes are not necessarily bi-directional. The directed graph model is motivated by wireless networks wherein asymmetric communication links can occur. In the classical point-to-point communication model, a message sent on a communication link is private between the two nodes on the link. This allows a Byzantine faulty node to equivocate, i.e., send inconsistent information to its neighbors. This paper considers the local broadcast model of communication, wherein transmission by a node is received identically by all of its outgoing neighbors, effectively depriving the faulty nodes of the ability to equivocate. Prior work has obtained sufficient and necessary conditions on undirected graphs to be able to achieve Byzantine consensus under the local broadcast model. In this paper, we obtain tight conditions on directed graphs to be able to achieve Byzantine consensus with binary inputs under the local broadcast model. The results obtained in the paper provide insights into the trade-off between directionality of communication links and the ability to achieve consensus.

Subject Classification

ACM Subject Classification
  • Theory of computation → Distributed algorithms
Keywords
  • complexity and impossibility results for distributed computing
  • fault-tolerance
  • reliability

Metrics

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

Related Versions

References

  1. S. Amitanand, I. Sanketh, K. Srinathant, V. Vinod, and C. Pandu Rangan. Distributed Consensus in the Presence of Sectional Faults. In Proceedings of the Twenty-second Annual Symposium on Principles of Distributed Computing, PODC '03, pages 202-210, New York, NY, USA, 2003. ACM. URL: https://doi.org/10.1145/872035.872065.
  2. Hagit Attiya and Jennifer Welch. Distributed Computing: Fundamentals, Simulations and Advanced Topics. John Wiley & Sons, Inc., USA, 2004. Google Scholar
  3. Vartika Bhandari and Nitin H. Vaidya. On Reliable Broadcast in a Radio Network. In Proceedings of the Twenty-fourth Annual ACM Symposium on Principles of Distributed Computing, PODC '05, pages 138-147, New York, NY, USA, 2005. ACM. URL: https://doi.org/10.1145/1073814.1073841.
  4. Byung-Gon Chun, Petros Maniatis, Scott Shenker, and John Kubiatowicz. Attested Append-only Memory: Making Adversaries Stick to Their Word. SIGOPS Oper. Syst. Rev., 41(6):189-204, October 2007. URL: https://doi.org/10.1145/1323293.1294280.
  5. Allen Clement, Flavio Junqueira, Aniket Kate, and Rodrigo Rodrigues. On the (Limited) Power of Non-equivocation. In Proceedings of the 2012 ACM Symposium on Principles of Distributed Computing, PODC '12, pages 301-308, New York, NY, USA, 2012. ACM. URL: https://doi.org/10.1145/2332432.2332490.
  6. Jeffrey Considine, Matthias Fitzi, Matthew Franklin, Leonid A. Levin, Ueli Maurer, and David Metcalf. Byzantine Agreement Given Partial Broadcast. Journal of Cryptology, 18(3):191-217, July 2005. URL: https://doi.org/10.1007/s00145-005-0308-x.
  7. Danny Dolev. The Byzantine generals strike again. Journal of Algorithms, 3(1):14-30, 1982. URL: https://doi.org/10.1016/0196-6774(82)90004-9.
  8. Michael J. Fischer, Nancy A. Lynch, and Michael Merritt. Easy impossibility proofs for distributed consensus problems. Distributed Computing, 1(1):26-39, March 1986. URL: https://doi.org/10.1007/BF01843568.
  9. Mattias Fitzi and Ueli Maurer. From Partial Consistency to Global Broadcast. In Proceedings of the Thirty-second Annual ACM Symposium on Theory of Computing, STOC '00, pages 494-503, New York, NY, USA, 2000. ACM. URL: https://doi.org/10.1145/335305.335363.
  10. M. Franklin and M. Yung. Secure Hypergraphs: Privacy from Partial Broadcast. SIAM Journal on Discrete Mathematics, 18(3):437-450, 2004. URL: https://doi.org/10.1137/S0895480198335215.
  11. Matthew Franklin and Rebecca N. Wright. Secure Communication in Minimal Connectivity Models. Journal of Cryptology, 13(1):9-30, January 2000. URL: https://doi.org/10.1007/s001459910002.
  12. Alexander Jaffe, Thomas Moscibroda, and Siddhartha Sen. On the Price of Equivocation in Byzantine Agreement. In Proceedings of the 2012 ACM Symposium on Principles of Distributed Computing, PODC '12, pages 309-318, New York, NY, USA, 2012. ACM. URL: https://doi.org/10.1145/2332432.2332491.
  13. Muhammad Samir Khan, Syed Shalan Naqvi, and Nitin H. Vaidya. Exact Byzantine Consensus on Undirected Graphs Under Local Broadcast Model. In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC '19, pages 327-336, New York, NY, USA, 2019. ACM. URL: https://doi.org/10.1145/3293611.3331619.
  14. Muhammad Samir Khan, Lewis Tseng, and Nitin H. Vaidya. Exact Byzantine Consensus on Arbitrary Directed Graphs under Local Broadcast Model. CoRR, 2019. URL: http://arxiv.org/abs/preprint.
  15. Chiu-Yuen Koo. Broadcast in Radio Networks Tolerating Byzantine Adversarial Behavior. In Proceedings of the Twenty-third Annual ACM Symposium on Principles of Distributed Computing, PODC '04, pages 275-282, New York, NY, USA, 2004. ACM. URL: https://doi.org/10.1145/1011767.1011807.
  16. Chiu-Yuen Koo, Vartika Bhandari, Jonathan Katz, and Nitin H. Vaidya. Reliable Broadcast in Radio Networks: The Bounded Collision Case. In Proceedings of the Twenty-fifth Annual ACM Symposium on Principles of Distributed Computing, PODC '06, pages 258-264, New York, NY, USA, 2006. ACM. URL: https://doi.org/10.1145/1146381.1146420.
  17. Leslie Lamport, Robert Shostak, and Marshall Pease. The Byzantine Generals Problem. ACM Trans. Program. Lang. Syst., 4(3):382-401, July 1982. URL: https://doi.org/10.1145/357172.357176.
  18. H. J. LeBlanc, H. Zhang, X. Koutsoukos, and S. Sundaram. Resilient Asymptotic Consensus in Robust Networks. IEEE Journal on Selected Areas in Communications, 31(4):766-781, April 2013. URL: https://doi.org/10.1109/JSAC.2013.130413.
  19. C. Li, M. Hurfin, Y. Wang, and L. Yu. Towards a Restrained Use of Non-Equivocation for Achieving Iterative Approximate Byzantine Consensus. In 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS), pages 710-719, May 2016. URL: https://doi.org/10.1109/IPDPS.2016.62.
  20. Nancy A. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1996. Google Scholar
  21. Syed Shalan Naqvi, Muhammad Samir Khan, and Nitin H. Vaidya. Exact Byzantine Consensus Under Local-Broadcast Model. CoRR, abs/1811.08535, 2018. URL: http://arxiv.org/abs/1811.08535.
  22. M. Pease, R. Shostak, and L. Lamport. Reaching Agreement in the Presence of Faults. J. ACM, 27(2):228-234, April 1980. URL: https://doi.org/10.1145/322186.322188.
  23. T. Rabin and M. Ben-Or. Verifiable Secret Sharing and Multiparty Protocols with Honest Majority. In Proceedings of the Twenty-first Annual ACM Symposium on Theory of Computing, STOC '89, pages 73-85, New York, NY, USA, 1989. ACM. URL: https://doi.org/10.1145/73007.73014.
  24. D. V. S. Ravikant, V. Muthuramakrishnan, V. Srikanth, K. Srinathan, and C. Pandu Rangan. On Byzantine Agreement over (2,3)-Uniform Hypergraphs. In Rachid Guerraoui, editor, Distributed Computing, pages 450-464, Berlin, Heidelberg, 2004. Springer Berlin Heidelberg. Google Scholar
  25. Lewis Tseng and Nitin Vaidya. Iterative Approximate Byzantine Consensus under a Generalized Fault Model. In Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, and Prasun Sinha, editors, Distributed Computing and Networking, pages 72-86, Berlin, Heidelberg, 2013. Springer Berlin Heidelberg. Google Scholar
  26. Lewis Tseng and Nitin H. Vaidya. Fault-Tolerant Consensus in Directed Graphs. In Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, PODC '15, pages 451-460, New York, NY, USA, 2015. ACM. URL: https://doi.org/10.1145/2767386.2767399.
  27. Nitin H. Vaidya. Iterative Byzantine Vector Consensus in Incomplete Graphs. In Mainak Chatterjee, Jian-nong Cao, Kishore Kothapalli, and Sergio Rajsbaum, editors, Distributed Computing and Networking, pages 14-28, Berlin, Heidelberg, 2014. Springer Berlin Heidelberg. Google Scholar
  28. Nitin H. Vaidya, Lewis Tseng, and Guanfeng Liang. Iterative Approximate Byzantine Consensus in Arbitrary Directed Graphs. In Proceedings of the 2012 ACM Symposium on Principles of Distributed Computing, PODC '12, pages 365-374, New York, NY, USA, 2012. ACM. URL: https://doi.org/10.1145/2332432.2332505.
  29. Yongge Wang and Yvo Desmedt. Secure Communication in Multicast Channels: The Answer to Franklin and Wright’s Question. Journal of Cryptology, 14(2):121-135, March 2001. URL: https://doi.org/10.1007/s00145-001-0002-y.
  30. H. Zhang and S. Sundaram. Robustness of information diffusion algorithms to locally bounded adversaries. In 2012 American Control Conference (ACC), pages 5855-5861, June 2012. URL: https://doi.org/10.1109/ACC.2012.6315661.
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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact