Safety Analysis of Bitcoin Improvement Proposals

Emmanuelle Anceaume (1) , Thibaut Lajoie-Mazenc (1) , Romaric Ludinard (2, 3) , Bruno Sericola (4)

1 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
2 ENSAI - Ecole Nationale de la Statistique et de l'Analyse de l'Information [Bruz]
3 Centre de Recherche en Économie et STatistique (CREST)
4 DIONYSOS - Dependability Interoperability and perfOrmance aNalYsiS Of networkS

Decentralized cryptocurrency systems offer a medium of exchange secured by cryptography, without the need of a centralized banking authority. Among others, Bitcoin is considered as the most mature one. Its popularity lies on the introduction of the concept of the blockchain, a public distributed ledger shared by all participants of the system. Double spending attacks and blockchain forks are two main issues in blockchain-based protocols. The first one refers to the ability of an adversary to use the very same bitcoin more than once, while blockchain forks cause transient inconsistencies in the blockchain. We show through probabilistic analysis that the reliability of recent solutions that exclusively rely on a particular type of Bitcoin actors, called miners, to guarantee the consistency of Bitcoin operations, drastically decreases with the size of the blockchain.

Mots clés: Bitcoin; Peer-to-Peer Systems; Safety; Ana- lytical Performance Evaluation

Domaines: Informatique [cs]; Algorithme et structure de données [cs.DS]; Calcul parallèle, distribué et partagé [cs.DC]

Emmanuelle Anceaume, Thibaut Lajoie-Mazenc, Romaric Ludinard, Bruno Sericola. Safety Analysis of Bitcoin Improvement Proposals. 2016 IEEE 15th International Symposium on Network Computing and Applications (NCA), IEEE, Oct 2016, Cambridge, United States. ⟨hal-01397685⟩