Computer Science
Document Type
Conference Paper
Abstract
This paper studies the design of Byzantine consensus algorithms in an asynchronous single-hop network equipped with the “abstract MAC layer” [DISC09], which captures core properties of modern wireless MAC protocols. Newport [PODC14], Newport and Robinson [DISC18], and Tseng and Zhang [PODC22] study crash-tolerant consensus in the model. In our setting, a Byzantine faulty node may behave arbitrarily, but it cannot break the guarantees provided by the underlying abstract MAC layer. To our knowledge, we are the first to study Byzantine faults in this model. We harness the power of the abstract MAC layer to develop a Byzantine approximate consensus algorithm and a Byzantine randomized binary consensus algorithm. Both of our algorithms require only the knowledge of the upper bound on the number of faulty nodes f, and do not require the knowledge of the number of nodes n. This demonstrates the “power” of the abstract MAC layer, as consensus algorithms in traditional message-passing models require the knowledge of both n and f. Additionally, we show that it is necessary to know f in order to reach consensus. Hence, from this perspective, our algorithms require the minimal knowledge. The lack of knowledge of n brings the challenge of identifying a quorum explicitly, which is a common technique in traditional message-passing algorithms. A key technical novelty of our algorithms is to identify “implicit quorums” which have the necessary information for reaching consensus. The quorums are implicit because nodes do not know the identity of the quorums – such notion is only used in the analysis.
Publication Title
Leibniz International Proceedings in Informatics, LIPIcs
Publication Date
2024
Volume
286
ISSN
1868-8969
ISBN
9783959773089
DOI
10.4230/LIPIcs.OPODIS.2023.9
Keywords
Abstract MAC, approximate consensus, Byzantine, randomized consensus
Repository Citation
Tseng, Lewis and Sardina, Callie, "Byzantine Consensus in Abstract MAC Layer" (2024). Computer Science. 94.
https://commons.clarku.edu/faculty_computer_sciences/94
APA Citation
Tseng, L., & Sardina, C. (2023). Byzantine Consensus in Abstract MAC Layer. arXiv preprint arXiv:2311.03034.
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.