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, ...
AP. 2015
Liste complète des métadonnées

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/hal-01103466
Contributor : Michel Raynal <>
Submitted on : Wednesday, January 14, 2015 - 5:32:51 PM
Last modification on : Wednesday, May 16, 2018 - 11:23:14 AM
Document(s) archivé(s) le : Wednesday, April 15, 2015 - 11:40:17 AM

Files

RR-2015-Min-Synchrony.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01103466, version 1

Citation

Zohir Bouzid, Achour Mostefaoui, Michel Raynal. Minimal Synchrony for Asynchronous Byzantine Consensus. AP. 2015. 〈hal-01103466〉

Share

Metrics

Record views

1393

Files downloads

351