License: 
Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.OPODIS.2019.5
URN: urn:nbn:de:0030-drops-117910
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2020/11791/
García-Pérez, Álvaro ;
Schett, Maria A.
Deconstructing Stellar Consensus
Abstract
Some of the recent blockchain proposals, such as Stellar and Ripple, allow for open membership while using quorum-like structures typical for classical Byzantine consensus with closed membership. This is achieved by constructing quorums in a decentralised way: each participant independently chooses whom to trust, and quorums arise from these individual decisions. Unfortunately, the consensus protocols underlying such blockchains are poorly understood, and their correctness has not been rigorously investigated. In this paper we rigorously prove correct the Stellar Consensus Protocol (SCP), with our proof giving insights into the protocol structure and its use of lower-level abstractions. To this end, we first propose an abstract version of SCP that uses as a black box Stellar’s federated voting primitive (analogous to reliable Byzantine broadcast), previously investigated by García-Pérez and Gotsman [Álvaro García-Pérez and Alexey Gotsman, 2018]. The abstract consensus protocol highlights a modular structure in Stellar and can be proved correct by reusing the previous results on federated voting. However, it is unsuited for realistic implementations, since its processes maintain infinite state. We thus establish a refinement between the abstract protocol and the concrete SCP that uses only finite state, thereby carrying over the result about the correctness of former to the latter. Our results help establish the theoretical foundations of decentralised blockchains like Stellar and gain confidence in their correctness.
BibTeX - Entry
@InProceedings{garcaprez_et_al:LIPIcs:2020:11791,
author = {Álvaro Garc{\'\i}a-P{\'e}rez and Maria A. Schett},
title = {{Deconstructing Stellar Consensus}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {5:1--5:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Pascal Felber and Roy Friedman and Seth Gilbert and Avery Miller},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2020/11791},
URN = {urn:nbn:de:0030-drops-117910},
doi = {10.4230/LIPIcs.OPODIS.2019.5},
annote = {Keywords: Blockchain, Consensus protocol, Stellar, Byzantine quorum systems}
}
|
Keywords: |
|
Blockchain, Consensus protocol, Stellar, Byzantine quorum systems |
|
Collection: |
|
23rd International Conference on Principles of Distributed Systems (OPODIS 2019) |
|
Issue Date: |
|
2020 |
|
Date of publication: |
|
11.02.2020 |
