Skip to main content

​
The Bitcoin Backbone Protocol

This foundational paper formalizes the security of the Bitcoin protocol by introducing the ‘Backbone’ model, which abstracts the blockchain into a protocol for

​
Abstract

This foundational paper formalizes the security of the Bitcoin protocol by introducing the ‘Backbone’ model, which abstracts the blockchain into a protocol for maintaining a distributed ledger. The authors move beyond the heuristic security claims of the original Satoshi Nakamoto whitepaper by providing a rigorous mathematical proof of security within a model of synchronous communication. The paper defines two core properties necessary for a functional blockchain: ‘Common Prefix,’ which ensures the consistency of the distributed ledger, and ‘Chain Quality,’ which guarantees the liveness of the mining process by ensuring honest participants contribute to the longest chain. By framing Bitcoin as a protocol that provides these properties, the authors establish a framework for analyzing blockchain security under adversarial conditions. The methodology relies on a probabilistic analysis of the longest-chain rule, demonstrating that under the assumption of honest majority power and specific communication bounds, the system achieves consensus. This work is significant because it transformed blockchain research from empirical observation into a formal, rigorous field of cryptography and distributed systems, providing a blueprint for analyzing subsequent proof-of-work protocols. Authors: Juan Garay, Aggelos Kiayias, Nikos Leonardos Publication: IACR ePrint Archive Publication date: 2015-01-01

​
Key findings

  • Introduced the formal ‘Backbone’ model to define the security of blockchain protocols.
  • Proved that Bitcoin’s longest-chain rule satisfies the properties of Common Prefix and Chain Quality.
  • Demonstrated that consensus is achievable in an asynchronous environment under an honest majority assumption.
  • Provided the foundational mathematical framework for future research in cryptographic consensus protocols.

​
Citation

Juan Garay, Aggelos Kiayias, Nikos Leonardos (2015). The Bitcoin Backbone Protocol. IACR ePrint Archive. https://eprint.iacr.org/2014/765
Canonical knowledge ID: research:the-bitcoin-backbone-protocol