On Analysis of the Bitcoin and Prism Backbone Protocols
Jing Li, Dongning Guo

TL;DR
This paper provides a comprehensive and strengthened analysis of Bitcoin and Prism backbone protocols, establishing their core properties without assuming a finite blockchain lifespan, and offers explicit bounds for practical protocol design.
Contribution
It presents a streamlined, strengthened analysis of Bitcoin and Prism protocols without finite horizon assumptions, including explicit property bounds for real-world applications.
Findings
Proves blockchain growth, quality, and common prefix properties for Bitcoin.
Establishes liveness and persistence of Prism protocol regardless of blockchain lifespan.
Provides explicit bounds for protocol properties to aid practical design.
Abstract
Bitcoin is a peer-to-peer payment system proposed by Nakamoto in 2008. Properties of the bitcoin backbone protocol have been investigated in some depth: the blockchain growth property quantifies the number of blocks added to the blockchain during any time intervals; the blockchain quality property ensures the honest miners always contribute at least a certain fraction of the blockchain; the common prefix property ensures if a block is deep enough, it will eventually be adopted by all honest miners with high probability. Following the spirit of decoupling various functionalities of the blockchain, the Prism protocol is proposed to dramatically improve the throughput while maintaining the same level of security. Prior analyses of the bitcoin and Prism backbone protocols assume the lifespan of blockchain is finite. This paper presents a streamlined and strengthened analysis without the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBlockchain Technology Applications and Security · Cryptography and Data Security · Distributed systems and fault tolerance
