License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.DISC.2022.12
URN: urn:nbn:de:0030-drops-172037
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2022/17203/
Bravo, Manuel ;
Chockler, Gregory ;
Gotsman, Alexey
Liveness and Latency of Byzantine State-Machine Replication
Abstract
Byzantine state-machine replication (SMR) ensures the consistency of replicated state in the presence of malicious replicas and lies at the heart of the modern blockchain technology. Byzantine SMR protocols often guarantee safety under all circumstances and liveness only under synchrony. However, guaranteeing liveness even under this assumption is nontrivial. So far we have lacked systematic ways of incorporating liveness mechanisms into Byzantine SMR protocols, which often led to subtle bugs. To close this gap, we introduce a modular framework to facilitate the design of provably live and efficient Byzantine SMR protocols. Our framework relies on a view abstraction generated by a special SMR synchronizer primitive to drive the agreement on command ordering. We present a simple formal specification of an SMR synchronizer and its bounded-space implementation under partial synchrony. We also apply our specification to prove liveness and analyze the latency of three Byzantine SMR protocols via a uniform methodology. In particular, one of these results yields what we believe is the first rigorous liveness proof for the algorithmic core of the seminal PBFT protocol.
BibTeX - Entry
@InProceedings{bravo_et_al:LIPIcs.DISC.2022.12,
author = {Bravo, Manuel and Chockler, Gregory and Gotsman, Alexey},
title = {{Liveness and Latency of Byzantine State-Machine Replication}},
booktitle = {36th International Symposium on Distributed Computing (DISC 2022)},
pages = {12:1--12:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-255-6},
ISSN = {1868-8969},
year = {2022},
volume = {246},
editor = {Scheideler, Christian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2022/17203},
URN = {urn:nbn:de:0030-drops-172037},
doi = {10.4230/LIPIcs.DISC.2022.12},
annote = {Keywords: Replication, blockchain, partial synchrony, liveness}
}
Keywords: |
|
Replication, blockchain, partial synchrony, liveness |
Collection: |
|
36th International Symposium on Distributed Computing (DISC 2022) |
Issue Date: |
|
2022 |
Date of publication: |
|
17.10.2022 |