Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Minimal Synchrony for Asynchronous Byzantine Consensus

Zohir Bouzid 1 Achour Mostefaoui 2 Michel Raynal 1, 3 
1 ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
2 GDD - Gestion de Données Distribuées [Nantes]
LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : Solving the consensus problem requires in one way or another that the underlying system satisfies some synchrony assumption. Considering an asynchronous message-passing system of n processes where (a) up to t < n/3 may commit Byzantine failures, and (b) each pair of processes is connected by two uni-directional channels (with possibly different timing properties), this paper investigates the synchrony assumption required to solve consensus, and presents a signature-free consensus algorithm whose synchrony requirement is the existence of a process that is an eventual t+1bisource. Such a process p is a correct process that eventually has (a) timely input channels from t correct processes and (b) timely output channels to t correct processes (these input and output channels can connect p to different subsets of processes). As this synchrony condition was shown to be necessary and sufficient in the stronger asynchronous system model (a) enriched with message authentication, and (b) where the channels are bidirectional and have the same timing properties in both directions, it follows that it is also necessary and sufficient in the weaker system model considered in the paper. In addition to the fact that it closes a long-lasting problem related to Byzantine agreement, a noteworthy feature of the proposed algorithm lies in its design simplicity, which is a first-class property.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Michel Raynal Connect in order to contact the contributor
Submitted on : Wednesday, January 14, 2015 - 5:32:51 PM
Last modification on : Wednesday, April 27, 2022 - 3:54:03 AM
Long-term archiving on: : Wednesday, April 15, 2015 - 11:40:17 AM


Files produced by the author(s)


  • HAL Id : hal-01103466, version 1


Zohir Bouzid, Achour Mostefaoui, Michel Raynal. Minimal Synchrony for Asynchronous Byzantine Consensus. 2015. ⟨hal-01103466⟩



Record views


Files downloads