Practical Byzantine Reliable Broadcast on Partially Connected Networks

In this paper, we consider the Byzantine reliable broadcast problem on authenticated and partially connected networks. The state-of-the-art method to solve this problem consists in combining two algorithms from the literature. Handling asynchrony and faulty senders is typically done thanks to Gabriel Bracha's authenticated double-echo broadcast protocol, which assumes an asynchronous fully connected network. Danny Dolev's algorithm can then be used to provide reliable communications between processes in the global fault model, where up to f processes among N can be faulty in a communication network that is at least 2f+1-connected. Following recent works that showed how Dolev's protocol can be made more practical thanks to several optimizations, we show that the state-of-the-art methods to solve our problem can be optimized thanks to layer-specific and cross-layer optimizations. Our simulations with the Omnet++ network simulator show that these optimizations can be efficiently combined to decrease the total amount of information transmitted or the protocol's latency (e.g., respectively, −25% and −50% with a 16B payload, N=31 and f=4) compared to the state-of-the-art combination of Bracha's and Dolev's protocols.

[1]  Gabriel Bracha,et al.  Asynchronous Byzantine Agreement Protocols , 1987, Inf. Comput..

[2]  Michel Raynal,et al.  Fault-Tolerant Message-Passing Distributed Systems , 2018, Springer International Publishing.

[3]  Xavier Défago,et al.  Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures , 2015, 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS).

[4]  MohapatraPrasant,et al.  Non-cryptographic authentication and identification in wireless networks , 2010 .

[5]  Paulo Esteves-Verissimo,et al.  RepuCoin: Your Reputation Is Your Power , 2019, IEEE Transactions on Computers.

[6]  Sébastien Tixeuil,et al.  Multi-hop Byzantine reliable broadcast with honest dealer made practical , 2019, Journal of the Brazilian Computer Society.

[7]  Aric Hagberg,et al.  Exploring Network Structure, Dynamics, and Function using NetworkX , 2008, Proceedings of the Python in Science Conference.

[8]  Chiu-Yuen Koo,et al.  Broadcast in radio networks tolerating byzantine adversarial behavior , 2004, PODC '04.

[9]  Nicholas C. Wormald,et al.  Generating Random Regular Graphs Quickly , 1999, Combinatorics, Probability and Computing.

[10]  Paulo Esteves-Verissimo,et al.  RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast , 2019, IEEE Transactions on Computers.

[11]  Kenneth P. Birman,et al.  RDMC: A Reliable RDMA Multicast for Large Objects , 2018, 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

[12]  Sam Toueg,et al.  Asynchronous consensus and broadcast protocols , 1985, JACM.

[13]  Rachid Guerraoui,et al.  Introduction to Reliable and Secure Distributed Programming , 2011 .

[14]  Danny Dolev,et al.  Unanimity in an unknown and unreliable environment , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

[15]  Sébastien Tixeuil,et al.  Containing Byzantine Failures with Control Zones , 2015, IEEE Transactions on Parallel and Distributed Systems.

[16]  Vincent Rahli,et al.  PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite , 2021, IEEE Transactions on Parallel and Distributed Systems.

[17]  Gabriel Bracha,et al.  An asynchronous [(n - 1)/3]-resilient consensus protocol , 1984, PODC '84.

[18]  Sonia Ben Mokhtar,et al.  PAG: Private and Accountable Gossip , 2016, 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS).

[19]  Petr Kuznetsov,et al.  Online Payments by Merely Broadcasting Messages , 2020, 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

[20]  K. Menger Zur allgemeinen Kurventheorie , 1927 .

[21]  Jérémie Decouchant,et al.  AcTinG: Accurate Freerider Tracking in Gossip , 2014, SRDS.

[22]  Ye Wang,et al.  Asynchronous Byzantine Agreement in Incomplete Networks , 2020, AFT.

[23]  Aris Pagourtzis,et al.  A Graph Parameter That Matches the Resilience of the Certified Propagation Algorithm , 2013, ADHOC-NOW.

[24]  Miguel Oom Temudo de Castro,et al.  Practical Byzantine fault tolerance , 1999, OSDI '99.

[25]  Sébastien Tixeuil,et al.  Byzantine broadcast with fixed disjoint paths , 2014, J. Parallel Distributed Comput..

[26]  Andrzej Pelc,et al.  Broadcasting with locally bounded Byzantine faults , 2005, Inf. Process. Lett..