Simpler proofs of quantumness
A proof of quantumness is a method for provably demonstrating (to a classical verifier) that a quantum device can perform computational tasks that a classical device with comparable resources cannot. Providing a proof of quantumness is the first step towards constructing a useful quantum computer. There are currently three approaches for exhibiting proofs of quantumness: (i) Inverting a classically-hard one-way function (e.g. using Shor’s algorithm). This seems technologically out of reach. (ii) Sampling from a classically-hard-to-sample distribution (e.g. BosonSampling). This may be within reach of near-term experiments, but for all such tasks known verification requires exponential time. (iii) Interactive protocols based on cryptographic assumptions. The use of a trapdoor scheme allows for efficient verification, and implementation seems to require much less resources than (i), yet still more than (ii). In this work we propose a significant simplification to approach (iii) by employing the random oracle heuristic. (We note that we do not apply the Fiat-Shamir paradigm.) We give a two-message (challenge-response) proof of quantumness based on any trapdoor claw-free function. In contrast to earlier proposals we do not need an adaptive hard-core bit property. This allows the use of smaller security parameters and more diverse computational assumptions (such as Ring Learning with Errors), significantly reducing the quantum computational effort required for a successful demonstration.
Cite this item
Brakerski, Z., Koppula, V., Vazirani, U., & Vidick, T. (2020). Simpler proofs of quantumness. In S. T. Flammia (Editor), 15th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2020) (No. 8). 15th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2020), Riga, Latvia, June 9, 2020. https://doi.org/10.4230/LIPIcs.TQC.2020.8
Click Copy to copy the citation, or select the text manually.
2-s2.0-85092664609
Weizmann Institute of Science Israel
Weizmann Institute of Science Israel
University of California, Berkeley
California Institute of Technology
2020-06-08
9783959771467
158
Leibniz International Proceedings in Informatics, LIPIcs
8
REVIEWED
OTHER
| Event name | Event acronym | Event place | Event date |
TQC 2020 | Riga, Latvia | 2020-06-09 - 2020-06-12 | |
| Funder | Funding(s) | Grant Number | Grant URL |
ERC | |||
European Union Horizon 2020 Research and Innovation Program | |||
MURI | FA9550-18-1-0161 | ||
| Show more | |||