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 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.

翻译：我们研究了无量子电路的不可分性模糊概念。 我们提出了一个假设: - 使用错误的量子硬度学习(LWE) 。 - 古典电路的量子电路后量子不可分性模糊性模糊性概念。 - 量子计算(CVQC)的“双模式”古典核查(CVQC)”概念。 我们通过提出一个假设量子随机模型(QROM)中LWE的可靠方案来证明我们存在的双模式CVQC概念。 然后我们展示了在我们工作之前尚不知道存在甚至具有超常性假设的一系列新的加密原始技术。 除其他外,我们获得了关于QMA的第一个证人加密方案,即第一个可公开核查的QMA非交互式零知识(NIZK)计划,以及第一个基于属性的BQP加密(ABE)计划。