Smart contracts meet quantum cryptography

02/14/2019
by   Andrea Coladangelo, et al.
0

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 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 [Cryptology ePrint Archive, Report 2017/1080, 2017]. The resulting hybrid payment system uses 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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/27/2020

A Quantum Money Solution to the Blockchain Scalability Problem

We put forward the idea that classical blockchains and smart contracts a...
research
09/14/2019

Transactional Smart Contracts in Blockchain Systems

This paper presents TXSC, a framework that provides smart contract devel...
research
09/02/2022

Efficient quantum non-fungible tokens for blockchain

Blockchain is a decentralized system that allows transaction transmissio...
research
12/20/2022

Distributed Key Generation with Smart Contracts using zk-SNARKs

Distributed Key Generation (DKG) is an extensively researched topic as i...
research
01/06/2018

A Perspective on Blockchain Smart Contracts: Reducing Uncertainty and Complexity in Value Exchange

The blockchain constitutes a technology-based, rather than social or reg...
research
07/05/2019

Solidity 0.5: when typed does not mean type safe

The recent release of Solidity 0.5 introduced a new type to prevent Ethe...
research
06/26/2019

Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness

Most modern electronic devices can produce a random number. However, it ...

Please sign up or login with your details

Forgot password? Click here to reset