Paper 2019/1150
The Bitcoin Backbone Protocol Against Quantum Adversaries
Alexandru Cojocaru and Juan Garay and Aggelos Kiayias and Fang Song and Petros Wallden
Abstract
Bitcoin and its underlying blockchain protocol have received recently significant attention in the context of building distributed systems as well as from the perspective of the foundations of the consensus problem. At the same time, the rapid development of quantum technologies brings the possibility of quantum computing devices from a theoretical concept to an emerging technology. Motivated by this, in this work we revisit the formal security of the core of the Bitcoin protocol, called the Bitcoin backbone, under the assumption that the adversary has access to a scalable quantum computer. We prove that the protocol's essential properties stand in the post-quantum setting assuming a suitably bounded Quantum adversary in the Quantum Random Oracle (QRO) model. Specifically, our results imply that security can be shown by bounding the quantum queries so that each quantum query is worth $O(p^{-1/2})$ classical ones and that the wait time for safe settlement is expanded by a multiplicative factor of $O(p^{-1/6})$, where $p$ is the probability of success of a single classical query to the protocol's underlying hash function.
Metadata
- Available format(s)
- Category
- Cryptographic protocols
- Publication info
- Preprint. MINOR revision.
- Keywords
- BlockchainPost-QuantumQuantum Random Oracle
- Contact author(s)
- a d cojocaru @ sms ed ac uk,juan a garay @ gmail com,akiayias @ inf ed ac uk,fang song @ tamu edu,petros wallden @ ed ac uk
- History
- 2020-02-19: last of 2 revisions
- 2019-10-07: received
- See all versions
- Short URL
- https://ia.cr/2019/1150
- License
-
CC BY