45,743 research outputs found
Quantum Lightning Never Strikes the Same State Twice
Public key quantum money can be seen as a version of the quantum no-cloning
theorem that holds even when the quantum states can be verified by the
adversary. In this work, investigate quantum lightning, a formalization of
"collision-free quantum money" defined by Lutomirski et al. [ICS'10], where
no-cloning holds even when the adversary herself generates the quantum state to
be cloned. We then study quantum money and quantum lightning, showing the
following results:
- We demonstrate the usefulness of quantum lightning by showing several
potential applications, such as generating random strings with a proof of
entropy, to completely decentralized cryptocurrency without a block-chain,
where transactions is instant and local.
- We give win-win results for quantum money/lightning, showing that either
signatures/hash functions/commitment schemes meet very strong recently proposed
notions of security, or they yield quantum money or lightning.
- We construct quantum lightning under the assumed multi-collision resistance
of random degree-2 systems of polynomials.
- We show that instantiating the quantum money scheme of Aaronson and
Christiano [STOC'12] with indistinguishability obfuscation that is secure
against quantum computers yields a secure quantum money schem
Quantum Money with Classical Verification
We propose and construct a quantum money scheme that allows verification
through classical communication with a bank. This is the first demonstration
that a secure quantum money scheme exists that does not require quantum
communication for coin verification.
Our scheme is secure against adaptive adversaries - this property is not
directly related to the possibility of classical verification, nevertheless
none of the earlier quantum money constructions is known to possess it
Unforgeable Noise-Tolerant Quantum Tokens
The realization of devices which harness the laws of quantum mechanics
represents an exciting challenge at the interface of modern technology and
fundamental science. An exemplary paragon of the power of such quantum
primitives is the concept of "quantum money". A dishonest holder of a quantum
bank-note will invariably fail in any forging attempts; indeed, under
assumptions of ideal measurements and decoherence-free memories such security
is guaranteed by the no-cloning theorem. In any practical situation, however,
noise, decoherence and operational imperfections abound. Thus, the development
of secure "quantum money"-type primitives capable of tolerating realistic
infidelities is of both practical and fundamental importance. Here, we propose
a novel class of such protocols and demonstrate their tolerance to noise;
moreover, we prove their rigorous security by determining tight fidelity
thresholds. Our proposed protocols require only the ability to prepare, store
and measure single qubit quantum memories, making their experimental
realization accessible with current technologies.Comment: 18 pages, 5 figure
- …