Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Scalable Byzantine Reliable Broadcast
 
conference paper

Scalable Byzantine Reliable Broadcast

Guerraoui, Rachid  
•
Kuznetsov, Petr
•
Monti, Matteo
Show more
Suomela, Jukka
2019
LIPIcs–Leibniz International Proceedings in Informatics
33rd International Symposium on Distributed Computing (DISC 2019)

Byzantine reliable broadcast is a powerful primitive that allows a set of processes to agree on a message from a designated sender, even if some processes (including the sender) are Byzantine. Existing broadcast protocols for this setting scale poorly, as they typically build on quorum systems with strong intersection guarantees, which results in linear per-process communication and computation complexity. We generalize the Byzantine reliable broadcast abstraction to the probabilistic setting, allowing each of its properties to be violated with a fixed, arbitrarily small probability. We leverage these relaxed guarantees in a protocol where we replace quorums with stochastic samples. Compared to quorums, samples are significantly smaller in size, leading to a more scalable design. We obtain the first Byzantine reliable broadcast protocol with logarithmic per-process communication and computation complexity. We conduct a complete and thorough analysis of our protocol, deriving bounds on the probability of each of its properties being compromised. During our analysis, we introduce a novel general technique that we call adversary decorators. Adversary decorators allow us to make claims about the optimal strategy of the Byzantine adversary without imposing any additional assumptions. We also introduce Threshold Contagion, a model of message propagation through a system with Byzantine processes. To the best of our knowledge, this is the first formal analysis of a probabilistic broadcast protocol in the Byzantine fault model. We show numerically that practically negligible failure probabilities can be achieved with realistic security parameters.

  • Files
  • Details
  • Metrics
Type
conference paper
DOI
10.4230/LIPIcs.DISC.2019.22
Author(s)
Guerraoui, Rachid  
Kuznetsov, Petr
Monti, Matteo
Pavlovic, Matej  
Seredinschi, Dragos-Adrian  
Editors
Suomela, Jukka
Date Issued

2019

Publisher

Schloss Dagstuhl--Leibniz-Zentrum fer Informatik

Publisher place

Dagstuhl, Germany

Published in
LIPIcs–Leibniz International Proceedings in Informatics
Total of pages

16

Issue

146

Start page

22:1

End page

22:16

Subjects

Byzantine reliable broadcast

•

probabilistic distributed algorithms

•

scalable distributed systems

•

stochastic processes

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
DCL  
Event nameEvent placeEvent date
33rd International Symposium on Distributed Computing (DISC 2019)

Budapest, Hungary

October 14-18, 2019

Available on Infoscience
March 12, 2020
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/167248
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés