Classical Verification of Quantum Computations with Efficient Verifier

v1v2 (latest)

Classical Verification of Quantum Computations with Efficient Verifier

2 December 2019

Takashi Yamakawa

ArXiv (abs)PDF HTML

Papers citing "Classical Verification of Quantum Computations with Efficient Verifier"

12 / 12 papers shown

Title
Succinct Classical Verification of Quantum Computation James Bartusek Y. Kalai Alex Lombardi Fermi Ma Giulio Malavolta Vinod Vaikuntanathan Thomas Vidick Lisa Yang LRM 62 15 0 29 Jun 2022
Star-specific Key-homomorphic PRFs from Learning with Linear Regression V. Sehrawat Foo Yee Yeo D. Vassilyev 75 0 0 02 May 2022
Verifiable Quantum Advantage without Structure Takashi Yamakawa Mark Zhandry 74 53 0 05 Apr 2022
Classical Verification of Quantum Computations in Linear Time Jiayu Zhang 73 11 0 28 Feb 2022
Beating Classical Impossibility of Position Verification Jiahui Liu Qipeng Liu Luowen Qian 58 12 0 15 Sep 2021
Indistinguishability Obfuscation of Null Quantum Circuits and Applications James Bartusek Giulio Malavolta 75 18 0 11 Jun 2021
On the Impossibility of Post-Quantum Black-Box Zero-Knowledge in Constant Rounds Nai-Hui Chia Kai-Min Chung Qipeng Liu Takashi Yamakawa 57 10 0 20 Mar 2021
Constant-round Blind Classical Verification of Quantum Sampling Kai-Min Chung Yi Lee Han-Hsuan Lin Xiaodi Wu 117 10 0 09 Dec 2020
A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds Nai-Hui Chia Kai-Min Chung Takashi Yamakawa 68 17 0 05 Nov 2020
Simpler Proofs of Quantumness Zvika Brakerski Venkata Koppula Umesh V. Vazirani Thomas Vidick 56 50 0 11 May 2020
Information-theoretically-sound non-interactive classical verification of quantum computing with trusted center T. Morimae 49 6 0 24 Mar 2020
Non-interactive classical verification of quantum computation G. Alagic Andrew M. Childs A. Grilo S. Hung 79 53 0 19 Nov 2019