Abstract:proof of quantumness is an efficiently verifiable interactive test that an efficient quantum computer can pass, but all efficient classical computers cannot (under some cryptographic assumption). Such protocols play a crucial role in the certification of quantum devices. Existing single-round protocols (like asking the quantum computer to factor a large number) require large quantum circuits, whereas multi-round ones use smaller circuits but require experimentally challenging mid-circuit measurements. As such, current proofs of quantumness are out of reach for near-term devices. In this work, we construct efficient single-round proofs of quantumness based on existing knowledge assumptions. While knowledge assumptions have not been previously considered in this context, we show that they provide a natural basis for separating classical and quantum computation. Specifically, we show that multi-round protocols based on Decisional Diffie-Hellman (DDH) or Learning With Errors (LWE) can be "compiled" into single-round protocols using a knowledge-of-exponent assumption or knowledge-of-lattice-point assumption, respectively. We also prove an adaptive hardcore-bit statement for a family of claw-free functions based on DDH, which might be of independent interest. Previous approaches to constructing single-round protocols relied on the random oracle model and thus incurred the overhead associated with instantiating the oracle with a cryptographic hash function. In contrast, our protocols have the same resource requirements as their multi-round counterparts without necessitating mid-circuit measurements, making them, arguably, the most efficient single-round proofs of quantumness to date. Our work also helps in understanding the interplay between black-box/white-box reductions and cryptographic assumptions in the design of proofs of quantumness.

Efficient non-interactive zero-knowledge proofs for quantum range verification in blockchain

A Non-interactive Range Proof with Constant Communication.

Improvements on Non-Interactive Zero-Knowledge Proof Systems Related to Quadratic Residuosity Languages.

Experimental Implementation of A Quantum Zero-Knowledge Proof for User Authentication

A Survey on Zero Knowledge Range Proofs and Applications

Experimental relativistic zero-knowledge proofs

Single-Round Proofs of Quantumness from Knowledge Assumptions

Unclonable Non-Interactive Zero-Knowledge

On Zero-Knowledge Proofs over the Quantum Internet

Oblivious Transfer from Zero-Knowledge Proofs, or How to Achieve Round-Optimal Quantum Oblivious Transfer and Zero-Knowledge Proofs on Quantum States

Device-independent quantum randomness-enhanced zero-knowledge proof

On the Relativistic Zero Knowledge Quantum Proofs of Knowledge

Lightweight Zero-Knowledge Proofs for Crypto-Computing Protocols.

Quantum delegation with an off-the-shelf device

Scalable Zero-Knowledge Proofs for Verifying Cryptographic Hashing in Blockchain Applications

Private and Secure Post-Quantum Verifiable Random Function with NIZK Proof and Ring-LWE Encryption in Blockchain

Blockchain consensus mechanism based on quantum zero-knowledge proof

A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds

Hidden-State Proofs of Quantumness

Non-interactive zero-knowledge proof scheme from RLWE-based key exchange

General Properties of Quantum Zero-Knowledge Proofs