> ## Documentation Index
> Fetch the complete documentation index at: https://docs.theblockchainlibrary.com/llms.txt
> Use this file to discover all available pages before exploring further.

# 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

# 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](https://eprint.iacr.org/2014/765)

## Related knowledge

* [Double Spend](/generated/v2/glossary/double-spend) — glossary
* [Double Spend](/generated/v2/glossary/double-spend) — related-glossary
* [From Hype to Reality: The Rise of Quantum-Resistant Cryptography](/generated/v2/topics/from-hype-to-reality-the-rise-of-quantum-resistant-cryptography) — article
* [From Hype to Reality: The Rise of Quantum-Resistant Cryptography](/generated/v2/topics/from-hype-to-reality-the-rise-of-quantum-resistant-cryptography) — related-article
* [From Throughput to Reliability: The New Metrics That Matter](/generated/v2/topics/from-throughput-to-reliability-the-new-metrics-that-matter) — article
* [From Throughput to Reliability: The New Metrics That Matter](/generated/v2/topics/from-throughput-to-reliability-the-new-metrics-that-matter) — related-article
* [How Blockchain Architecture Is Quietly Solving Real Business Problems](/generated/v2/topics/how-blockchain-architecture-is-quietly-solving-real-business-problems) — article
* [How Blockchain Architecture Is Quietly Solving Real Business Problems](/generated/v2/topics/how-blockchain-architecture-is-quietly-solving-real-business-problems) — related-article
* [Multi-Party Computation](/generated/v2/glossary/multi-party-computation) — glossary
* [Multi-Party Computation](/generated/v2/glossary/multi-party-computation) — related-glossary
* [RSA](/generated/v2/glossary/rsa) — glossary
* [RSA](/generated/v2/glossary/rsa) — related-glossary
* [What Comes After Cloud? Decentralized Compute Explained](/generated/v2/topics/what-comes-after-cloud-decentralized-compute-explained) — article
* [What Comes After Cloud? Decentralized Compute Explained](/generated/v2/topics/what-comes-after-cloud-decentralized-compute-explained) — related-article
* [Why Predictability Beats Speed in Modern Blockchain Design](/generated/v2/topics/why-predictability-beats-speed-in-modern-blockchain-design) — article
* [Why Predictability Beats Speed in Modern Blockchain Design](/generated/v2/topics/why-predictability-beats-speed-in-modern-blockchain-design) — related-article

***

**Canonical knowledge ID:** `research:the-bitcoin-backbone-protocol`