Zero-knowledge proof systems for QMA

11 April 2016

Papers citing "Zero-knowledge proof systems for QMA"

24 / 24 papers shown

Title
Quantum State Obfuscation from Classical Oracles James Bartusek Zvika Brakerski Vinod Vaikuntanathan 43 4 0 18 Jan 2024
Quantum delegation with an off-the-shelf device Anne Broadbent Arthur Mehta Yuming Zhao 25 2 0 07 Apr 2023
Obfuscation of Pseudo-Deterministic Quantum Circuits James Bartusek Fuyuki Kitagawa Ryo Nishimaki Takashi Yamakawa UQCV 66 16 0 22 Feb 2023
An efficient combination of quantum error correction and authentication Y. Dulek Garazi Muguruza F. Speelman 28 1 0 17 Nov 2022
Best-of-Both-Worlds Multiparty Quantum Computation with Publicly Verifiable Identifiable Abort Kai-Min Chung M. Huang Eric Tang Jiapeng Zhang 52 1 0 03 Nov 2022
Post-Quantum Zero-Knowledge with Space-Bounded Simulation P. Ananth A. Grilo 54 2 0 12 Oct 2022
On the computational hardness needed for quantum cryptography Zvika Brakerski R. Canetti Luowen Qian 56 56 0 09 Sep 2022
Quantum Merkle Trees Lijie Chen R. Movassagh 26 7 0 28 Dec 2021
Post-Quantum Simulatable Extraction with Minimal Assumptions: Black-Box and Constant-Round Nai-Hui Chia Kai-Min Chung Xiao Liang Takashi Yamakawa 60 7 0 16 Nov 2021
Certified Everlasting Zero-Knowledge Proof for QMA Taiga Hiroka T. Morimae Ryo Nishimaki Takashi Yamakawa 73 14 0 29 Sep 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 47 2 0 10 Apr 2021
Classically Verifiable NIZK for QMA with Preprocessing T. Morimae Takashi Yamakawa 41 4 0 18 Feb 2021
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 51 9 0 25 Jul 2020
Quantum Garbled Circuits Zvika Brakerski Henry Yuen 74 23 0 01 Jun 2020
Information-theoretically-sound non-interactive classical verification of quantum computing with trusted center T. Morimae 49 6 0 24 Mar 2020
Post-quantum Zero Knowledge in Constant Rounds Nir Bitansky Omri Shmueli 48 48 0 10 Dec 2019
Non-interactive classical verification of quantum computation G. Alagic Andrew M. Childs A. Grilo S. Hung 68 53 0 19 Nov 2019
QMA-hardness of Consistency of Local Density Matrices with Applications to Quantum Zero-Knowledge Anne Broadbent A. Grilo 85 37 0 18 Nov 2019
Secure Quantum Extraction Protocols P. Ananth R. L. Placa 53 16 0 18 Nov 2019
Non-interactive zero-knowledge arguments for QMA, with preprocessing Andrea Coladangelo Thomas Vidick Tina Zhang 102 40 0 18 Nov 2019
Quantum ciphertext authentication and key recycling with the trap code Y. Dulek F. Speelman 37 8 0 06 Apr 2018
Quantum Fully Homomorphic Encryption With Verification G. Alagic Y. Dulek Christian Schaffner F. Speelman 56 45 0 30 Aug 2017
Limitations on Transversal Computation through Quantum Homomorphic Encryption M. Newman Yaoyun Shi 68 41 0 25 Apr 2017