Quantum one-time programs
arXiv:1211.1080 · doi:10.1007/978-3-642-40084-1_20
Abstract
One-time programs are modelled after a black box that allows a single evaluation of a function, and then self-destructs. Because software can, in principle, be copied, general one-time programs exists only in the hardware token model: it has been shown that any function admits a one-time program as long as we assume access to physical devices called one-time memories. Quantum information, with its well-known property of no-cloning, would, at first glance, prevent the basic copying attack for classical programs. We show that this intuition is false: one-time programs for both classical and quantum maps, based solely on quantum information, do not exist, even with computational assumptions. We complement this strong impossibility proof by an equally strong possibility result: assuming the same basic one-time memories as used for classical one-time programs, we show that every quantum map has a quantum one-time program that is secure in the universal composability framework. Our construction relies on a new, simpler quantum authentication scheme and corresponding mechanism for computing on authenticated data.
62 pages, 5 figures
References in corpus (5)
Cited by in corpus (34)
- Security in Quantum Cryptography
- Quantum Cryptography Beyond Quantum Key Distribution
- Verification of quantum computation: An overview of existing approaches
- Quantum computing on encrypted data
- Quantum homomorphic encryption for circuits of low -gate complexity
- Robustness and device independence of verifiable blind quantum computing
- Quantum one-time programs
- Composable security of delegated quantum computation
- How to Verify a Quantum Computation
- Semiquantum key distribution with secure delegated quantum computation
- Optimised resource construction for verifiable quantum computation
- Quantum authentication with key recycling
- Zero-knowledge proof systems for QMA
- Computational Security of Quantum Encryption
- Cryptographic approach to Quantum Metrology
- Quantum processing by remote quantum control
- Quantum Fully Homomorphic Encryption With Verification
- Efficient Simulation for Quantum Message Authentication
- Quantum advantage for probabilistic one-time programs
- On the possibility of classical client blind quantum computing
- Probabilistic one-time programs using quantum entanglement
- Blind quantum computing with two almost identical states
- Privacy Amplification in the Isolated Qubits Model
- On optimising quantum communication in verifiable quantum computing
- Single-shot security for one-time memories in the isolated qubits model
- Secure Software Leasing
- Single-Use Delegatable Signatures Based on Smart Contracts
- Towards Quantum One-Time Memories from Stateless Hardware
- New security notions and feasibility results for authentication of quantum data
- Public verifiable measurement-only blind quantum computation based on entanglement witnesses
- New Approaches for Quantum Copy-Protection
- Erasable Bit Commitment from Temporary Quantum Trust
- Accessing inaccessible information via quantum indistinguishability
- One-Time Programs made Practical