Byzantine Consensus with Local Multicast Channels

Authors Muhammad Samir Khan, Nitin H. Vaidya



PDF
Thumbnail PDF

File

LIPIcs.DISC.2021.26.pdf
  • Filesize: 0.71 MB
  • 16 pages

Document Identifiers

Author Details

Muhammad Samir Khan
  • Department of Computer Science, University of Illinois at Urbana-Champaign, IL, USA
Nitin H. Vaidya
  • Department of Computer Science, Georgetown University, Washington, DC, USA

Cite AsGet BibTex

Muhammad Samir Khan and Nitin H. Vaidya. Byzantine Consensus with Local Multicast Channels. In 35th International Symposium on Distributed Computing (DISC 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 209, pp. 26:1-26:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/LIPIcs.DISC.2021.26

Abstract

Byzantine consensus is a classical problem in distributed computing. Each node in a synchronous system starts with a binary input. The goal is to reach agreement in the presence of Byzantine faulty nodes. We consider the setting where communication between nodes is modelled via an undirected communication graph. In the classical point-to-point communication model all messages sent on an edge are private between the two endpoints of the edge. This allows a faulty node to equivocate, i.e., lie differently to its different neighbors. Different models have been proposed in the literature that weaken equivocation. In the local broadcast model, every message transmitted by a node is received identically and correctly by all of its neighbors. In the hypergraph model, every message transmitted by a node on a hyperedge is received identically and correctly by all nodes on the hyperedge. Tight network conditions are known for each of the three cases. We introduce a more general model that encompasses all three of these models. In the local multicast model, each node u has one or more local multicast channels. Each channel consists of multiple neighbors of u in the communication graph. When node u sends a message on a channel, it is received identically by all of its neighbors on the channel. For this model, we identify tight network conditions for consensus. We observe how the local multicast model reduces to each of the three models above under specific conditions. In each of the three cases, we relate our network condition to the corresponding known tight conditions. The local multicast model also encompasses other practical network models of interest that have not been explored previously, as elaborated in the paper.

Subject Classification

ACM Subject Classification
  • Theory of computation → Distributed algorithms
Keywords
  • Byzantine fault
  • distributed algorithm
  • consensus
  • broadcast
  • multicast

Metrics

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

References

  1. Hagit Attiya and Jennifer Welch. Distributed Computing: Fundamentals, Simulations and Advanced Topics. John Wiley & Sons, Inc., USA, 2004. Google Scholar
  2. 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.
  3. 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, 2007. URL: https://doi.org/10.1145/1323293.1294280.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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, page 327–336, New York, NY, USA, 2019. Association for Computing Machinery. URL: https://doi.org/10.1145/3293611.3331619.
  9. 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), volume 153 of Leibniz International Proceedings in Informatics (LIPIcs), pages 30:1-30:16, Dagstuhl, Germany, 2020. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. URL: https://doi.org/10.4230/LIPIcs.OPODIS.2019.30.
  10. Muhammad Samir Khan and Nitin H. Vaidya. Byzantine consensus under directed hypergraphs. arXiv, 2021. URL: http://arxiv.org/abs/2109.01205.
  11. 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.
  12. Leslie Lamport, Robert Shostak, and Marshall Pease. The byzantine generals problem. ACM Trans. Program. Lang. Syst., 4(3):382-401, 1982. URL: https://doi.org/10.1145/357172.357176.
  13. Nancy A. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1996. Google Scholar
  14. M. Pease, R. Shostak, and L. Lamport. Reaching agreement in the presence of faults. J. ACM, 27(2):228-234, 1980. URL: https://doi.org/10.1145/322186.322188.
  15. D. V. S. Ravikant, V. Muthuramakrishnan, V. Srikanth, K. Srinathan, and C. Pandu Rangan. On byzantine agreement over (2,3)-uniform hypergraphs. In Distributed Computing, pages 450-464, Berlin, Heidelberg, 2004. Springer Berlin Heidelberg. Google Scholar
  16. Lewis Tseng and Nitin Vaidya. Exact byzantine consensus in directed graphs. arXiv preprint arXiv:1208.5075, 2014. URL: http://arxiv.org/abs/1208.5075.
  17. 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, page 451–460, New York, NY, USA, 2015. Association for Computing Machinery. URL: https://doi.org/10.1145/2767386.2767399.
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