Bitcoin a Distributed Shared Register

Abstract : Distributed Ledgers (e.g. Bitcoin) occupy currently the first lines of the economical and political media and many speculations are done with respect to their level of coherence and their computability power. Interestingly, there is no consensus on the properties and abstractions that fully capture the behaviour of distributed ledgers. The interest in formalising the behaviour of distributed ledgers is twofold. Firstly, it helps to prove the correctness of the algorithms that implement existing distributed ledgers and explore their limits with respect to an unfriendly environment and target applications. % Secondly, it facilitates the identification of the minimal building blocks necessary to implement the distributed ledger in a specific environment. Even though the behaviour of distributed ledgers is similar to abstractions that have been deeply studied for decades in distributed systems no abstraction is sufficiently powerful to capture the distributed ledger behaviour. This paper introduces the Distributed Ledger Register, a register that mimics the behaviour of one of the most popular distributed ledger, i.e. the Bitcoin ledger. The aim of our work is to provide formal guarantees on the coherent evolution of Bitcoin. We furthermore show that the Bitcoin blockchain maintenance algorithm verifies the distributed ledger register properties under strict conditions. Moreover, we prove that the Distributed Ledger Register verifies the regularity register specification. It follows that the strongest coherency implemented by Bitcoin is regularity under strong assumptions (i.e. partial synchronous systems and sparse reads). This study contradicts the common belief that Bitcoin implements strong coherency criteria in a totally asynchronous system. To the best of our knowledge, our work is the first one that makes the connection between the distributed ledgers and the classical theory of distributed shared registers.
Type de document :
Communication dans un congrès
SSS 2017 - 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2017, Boston, MA, United States. Springer, Proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 10616, pp.456-468, 2017, Lecture Notes in Computer Science. 〈10.1007/978-3-319-69084-1_34〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01522360
Contributeur : Emmanuelle Anceaume <>
Soumis le : lundi 17 juillet 2017 - 09:48:09
Dernière modification le : lundi 26 novembre 2018 - 01:18:41
Document(s) archivé(s) le : vendredi 26 janvier 2018 - 22:52:03

Fichier

sss.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru, Frédéric Tronel. Bitcoin a Distributed Shared Register. SSS 2017 - 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2017, Boston, MA, United States. Springer, Proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 10616, pp.456-468, 2017, Lecture Notes in Computer Science. 〈10.1007/978-3-319-69084-1_34〉. 〈hal-01522360v2〉

Partager

Métriques

Consultations de la notice

603

Téléchargements de fichiers

576