Abstract:In the quantum computation verification problem, a quantum server wants to convince a client that the output of evaluating a quantum circuit $C$ is some result that it claims. This problem is considered very important both theoretically and practically in quantum computation [<a class="link-https" data-arxiv-id="1709.06984" href="https://arxiv.org/abs/1709.06984">arXiv:1709.06984</a>], [<a class="link-https" data-arxiv-id="1704.04487" href="https://arxiv.org/abs/1704.04487">arXiv:1704.04487</a>], [<a class="link-https" data-arxiv-id="1209.0449" href="https://arxiv.org/abs/1209.0449">arXiv:1209.0449</a>]. The client is considered to be limited in computational power, and one desirable property is that the client can be completely classical, which leads to the classical verification of quantum computation (CVQC) problem. In terms of the total time complexity, the fastest single-server CVQC protocol so far has complexity $O(poly(\kappa)|C|^3)$ where $|C|$ is the size of the circuit to be verified and $\kappa$ is the security parameter, given by Mahadev [<a class="link-https" data-arxiv-id="1804.01082" href="https://arxiv.org/abs/1804.01082">arXiv:1804.01082</a>]. In this work, by developing new techniques, we give a new CVQC protocol with complexity $O(poly(\kappa)|C|)$, which is significantly faster than existing protocols. Our protocol is secure in the quantum random oracle model [<a class="link-https" data-arxiv-id="1008.0931" href="https://arxiv.org/abs/1008.0931">arXiv:1008.0931</a>] assuming the existence of noisy trapdoor claw-free functions [<a class="link-https" data-arxiv-id="1804.00640" href="https://arxiv.org/abs/1804.00640">arXiv:1804.00640</a>], which are both extensively used assumptions in quantum cryptography. Along the way, we also give a new classical channel remote state preparation protocol for states in $\{|+_\theta\rangle=\frac{1}{\sqrt{2}}(|0\rangle+e^{i\theta\pi/4}|1\rangle):\theta\in \{0,1\cdots 7\}\}$, another basic primitive in quantum cryptography. Our protocol allows for parallel verifiable preparation of $L$ independently random states in this form (up to a constant overall error and a possibly unbounded server-side simulator), and runs in only $O(poly(\kappa)L)$ time and constant rounds; for comparison, existing works (even for possibly simpler state families) all require very large or unestimated time and round complexities [<a class="link-https" data-arxiv-id="1904.06320" href="https://arxiv.org/abs/1904.06320">arXiv:1904.06320</a>][<a class="link-https" data-arxiv-id="1904.06303" href="https://arxiv.org/abs/1904.06303">arXiv:1904.06303</a>][<a class="link-https" data-arxiv-id="2201.13445" href="https://arxiv.org/abs/2201.13445">arXiv:2201.13445</a>][<a class="link-https" data-arxiv-id="2201.13430" href="https://arxiv.org/abs/2201.13430">arXiv:2201.13430</a>].

Experimental Verification of Group Non-Membership in Optical Circuits

Verification of Group Non-membership by Shallow Quantum Circuits

Efficient Experimental Verification of Quantum Gates with Local Operations

Interactive cryptographic proofs of quantumness using mid-circuit measurements

Quantum Algorithms for Simon's Problem Over General Groups

Quantum delegation with an off-the-shelf device

Randomness-free Test of Non-classicality: a Proof of Concept

Efficient Verification of Quantum Gates with Local Operations

Experimental Implementation of High-Fidelity Unconventional Geometric Quantum Gates Using an NMR Interferometer

Quantum Merlin-Arthur proof systems for synthesizing quantum states

Quantum Non-Demolition Bell State Measurement and N-party GHZ State Preparation in Quantum Dot

Experimental Implementation of an Efficient Test of Quantumness

Testing Real Quantum Theory in an Optical Quantum Network

Experimental Optimal Verification of Entangled States Using Local Measurements

Classical Verification of Quantum Proofs

Quantum Merlin-Arthur and proofs without relative phase

Classical Verification of Quantum Computations in Linear Time

QMA variants with polynomially many provers

General Impossibility of Group Homomorphic Encryption in the Quantum World

Validation tests of GBS quantum computers give evidence for quantum advantage with a decoherent target

Experimental Verifying Partial Device-Independent One-Way Quantum Computing