Abstract

We put forward the idea that classical blockchains and smart contracts are potentially useful primitives not only for classical cryptography, but for quantum cryptography as well. Abstractly, a smart contract is a functionality that allows parties to deposit funds, and release them upon fulfillment of algorithmically checkable conditions, and can thus be employed as a formal tool to enforce monetary incentives. In this work, we give the first example of the use of smart contracts in a quantum setting. We describe a simple hybrid classical-quantum payment system whose main ingredients are a classical blockchain capable of handling stateful smart contracts, and quantum lightning, a strengthening of public-key quantum money introduced by Zhandry [55]. Our hybrid payment system employs quantum states as banknotes and a classical blockchain to settle disputes and to keep track of the valid serial numbers. It has several desirable properties: it is decentralized, requiring no trust in any single entity; payments are as quick as quantum communication, regardless of the total number of users; when a quantum banknote is damaged or lost, the rightful owner can recover the lost value.

Highlights

  • Cryptocurrencies, along with blockchains and smart contracts, have recently risen to popular attention, the most well-known examples being Bitcoin and Ethereum [Nak08, But14]

  • We show that a classical blockchain can be leveraged using tools from quantum cryptography to provide a simple solution to the scalability problem

  • We find it desirable to work within the Generalized Universal Composability framework (GUC) framework, and we discuss the reason for this choice in more detail below

Read more

Summary

A Quantum Money Solution to the Blockchain Scalability Problem

We put forward the idea that classical blockchains and smart contracts are potentially useful primitives for classical cryptography, but for quantum cryptography as well. We describe a simple hybrid classical-quantum payment system whose main ingredients are a classical blockchain capable of handling stateful smart contracts, and quantum lightning, a strengthening of public-key quantum money introduced by Zhandry [Zha19]. Our hybrid payment system employs quantum states as banknotes and a classical blockchain to settle disputes and to keep track of the valid serial numbers. It has several desirable properties: it is decentralized, requiring no trust in any single entity; payments are as quick as quantum communication, regardless of the total number of users; when a quantum banknote is damaged or lost, the rightful owner can recover the lost value. Note: This work supersedes two previous independent works, [Col19] and [Sat19]

Introduction
Notation
Quantum money and quantum lightning
Universal Composability
Blockchains and smart contracts
A payment system based on quantum lightning and a classical blockchain
The payment system and its components
Security
Practical issues in a less idealized setting
Trading a Bolt for a Signature
Security against Sabotage
A resolution of the practical issues
A practical implementation on Bitcoin and space optimization
Bitcoin to Quantum Money
Comparing our scheme to classical alternatives
Proof of Proposition 2
Findings
Standard Security Definitions
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call