Semi-Quantum Money

08/23/2019
by   Roy Radian, et al.
0

Private quantum money allows a bank to mint quantum money states that it can later verify, but that no one else can forge. In classically verifiable quantum money - introduced by Gavinsky [Gav12] - the verification is done via an interactive protocol between the bank and the user, where the communication is classical, and the computational resources required of the bank are classical. In this work, we consider stateless interactive protocols in which the minting is likewise classical, and construct a private money scheme that achieves these two notions simultaneously (i.e., classical verification and classical minting). We call such a construction a private semi-quantum money scheme, since all the requirements from the bank in terms of computation and communication are classical. In terms of techniques, our main contribution is a strong parallel repetition theorem for Noisy Trapdoor Claw Free Functions (NTCF), a notion introduced by Brakerski et al. [BCM+18].

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/19/2019

Non-interactive classical verification of quantum computation

In a recent breakthrough, Mahadev constructed an interactive protocol th...
research
09/15/2021

Beating Classical Impossibility of Position Verification

Chandran et al. (SIAM J. Comput.'14) formally introduced the cryptograph...
research
10/21/2020

Secure Software Leasing from Standard Assumptions

Secure software leasing (SSL) is a quantum cryptographic primitive that ...
research
04/22/2019

A comonadic view of simulation and quantum resources

We study simulation and quantum resources in the setting of the sheaf-th...
research
03/24/2020

Information-theoretically-sound non-interactive classical verification of quantum computing with trusted center

The posthoc verification protocol [J. F. Fitzsimons, M. Hajdušek, and T....
research
06/23/2022

Learning quantum symmetries with interactive quantum-classical variational algorithms

A symmetry of a state |ψ⟩ is a unitary operator of which |ψ⟩ is an eigen...
research
04/10/2021

Classical-quantum network coding: a story about tensor

We study here the conditions to perform the distribution of a pure state...

Please sign up or login with your details

Forgot password? Click here to reset