Paper 2021/421
Indistinguishability Obfuscation of Null Quantum Circuits and Applications
James Bartusek and Giulio Malavolta
Abstract
We study the notion of indistinguishability obfuscation for null quantum circuits (quantum null-iO). We present a construction assuming: * The quantum hardness of learning with errors (LWE). * Post-quantum indistinguishability obfuscation for \emph{classical} circuits. * A notion of ``dual-mode'' classical verification of quantum computation (CVQC). We give evidence that our notion of dual-mode CVQC exists by proposing a scheme that is secure assuming LWE in the quantum random oracle model (QROM). Then we show how quantum null-iO enables a series of new cryptographic primitives that, prior to our work, were unknown to exist even making heuristic assumptions. Among others, we obtain the first witness encryption scheme for QMA, the first publicly verifiable non-interactive zero-knowledge (NIZK) scheme for QMA, and the first attribute-based encryption (ABE) scheme for BQP.
Metadata
- Available format(s)
-
PDF
- Category
- Foundations
- Publication info
- Preprint. MINOR revision.
- Keywords
- ObfuscationQuantum Cryptography
- Contact author(s)
-
jamesbartusek @ berkeley edu
giulio malavolta @ hotmail it - History
- 2021-06-10: revised
- 2021-03-31: received
- See all versions
- Short URL
- https://ia.cr/2021/421
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2021/421,
author = {James Bartusek and Giulio Malavolta},
title = {Indistinguishability Obfuscation of Null Quantum Circuits and Applications},
howpublished = {Cryptology {ePrint} Archive, Paper 2021/421},
year = {2021},
url = {https://eprint.iacr.org/2021/421}
}
