v1v2 (latest)

Non-interactive classical verification of quantum computation

19 November 2019

Papers citing "Non-interactive classical verification of quantum computation"

21 / 21 papers shown

Title
Single-Round Proofs of Quantumness from Knowledge Assumptions Petia Arabadjieva A. Gheorghiu Victor Gitton Tony Metger 54 3 0 24 May 2024
A Cryptographic Perspective on the Verifiability of Quantum Advantage Nai-Hui Chia Honghao Fu Fang Song Penghui Yao 51 0 0 23 Oct 2023
Secure Computation with Shared EPR Pairs (Or: How to Teleport in Zero-Knowledge) James Bartusek Dakshita Khurana Akshayaram Srinivasan 55 5 0 20 Apr 2023
Obfuscation of Pseudo-Deterministic Quantum Circuits James Bartusek Fuyuki Kitagawa Ryo Nishimaki Takashi Yamakawa UQCV 73 16 0 22 Feb 2023
Post-Quantum $κ$ -to-1 Trapdoor Claw-free Functions from Extrapolated Dihedral Cosets Xingyu Yan Licheng Wang Lize Gu Ziyi Li Jingwen Suo 77 0 0 30 Nov 2022
Succinct Classical Verification of Quantum Computation James Bartusek Y. Kalai Alex Lombardi Fermi Ma Giulio Malavolta Vinod Vaikuntanathan Thomas Vidick Lisa Yang LRM 59 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
Classical Verification of Quantum Computations in Linear Time Jiayu Zhang 73 11 0 28 Feb 2022
Certified Everlasting Zero-Knowledge Proof for QMA Taiga Hiroka T. Morimae Ryo Nishimaki Takashi Yamakawa 73 14 0 29 Sep 2021
Beating Classical Impossibility of Position Verification Jiahui Liu Qipeng Liu Luowen Qian 48 12 0 15 Sep 2021
Indistinguishability Obfuscation of Null Quantum Circuits and Applications James Bartusek Giulio Malavolta 72 18 0 11 Jun 2021
Non-Destructive Zero-Knowledge Proofs on Quantum States, and Multi-Party Generation of Authorized Hidden GHZ States Léo Colisson F. Grosshans E. Kashefi 56 2 0 10 Apr 2021
Classically Verifiable NIZK for QMA with Preprocessing T. Morimae Takashi Yamakawa 41 4 0 18 Feb 2021
Constant-round Blind Classical Verification of Quantum Sampling Kai-Min Chung Yi Lee Han-Hsuan Lin Xiaodi Wu 107 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 54 17 0 05 Nov 2020
Multi-theorem (Malicious) Designated-Verifier NIZK for QMA Omri Shmueli 57 9 0 25 Jul 2020
Simpler Proofs of Quantumness Zvika Brakerski Venkata Koppula Umesh V. Vazirani Thomas Vidick 48 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
Classical Verification of Quantum Computations with Efficient Verifier Nai-Hui Chia Kai-Min Chung Takashi Yamakawa 68 38 0 02 Dec 2019
QMA-hardness of Consistency of Local Density Matrices with Applications to Quantum Zero-Knowledge Anne Broadbent A. Grilo 91 37 0 18 Nov 2019
Semi-Quantum Money Roy Radian Or Sattath LRM 44 45 0 23 Aug 2019