Non-interactive zero-knowledge arguments for QMA, with preprocessing

v1v2v3 (latest)

Non-interactive zero-knowledge arguments for QMA, with preprocessing

18 November 2019

Andrea Coladangelo

ArXiv (abs)PDF HTML

Papers citing "Non-interactive zero-knowledge arguments for QMA, with preprocessing"

17 / 17 papers shown

Title
The Round Complexity of Proofs in the Bounded Quantum Storage Model A. Grilo Philippe Lamontagne 71 0 0 28 May 2024
Secure Computation with Shared EPR Pairs (Or: How to Teleport in Zero-Knowledge) James Bartusek Dakshita Khurana Akshayaram Srinivasan 50 5 0 20 Apr 2023
Quantum delegation with an off-the-shelf device Anne Broadbent Arthur Mehta Yuming Zhao 25 2 0 07 Apr 2023
Star-specific Key-homomorphic PRFs from Learning with Linear Regression V. Sehrawat Foo Yee Yeo D. Vassilyev 75 0 0 02 May 2022
Fiat-Shamir for Proofs Lacks a Proof Even in the Presence of Shared Entanglement F. Dupuis Philippe Lamontagne L. Salvail 64 6 0 05 Apr 2022
Quantum Merkle Trees Lijie Chen R. Movassagh 26 7 0 28 Dec 2021
Certified Everlasting Zero-Knowledge Proof for QMA Taiga Hiroka T. Morimae Ryo Nishimaki Takashi Yamakawa 73 14 0 29 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 49 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 54 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 70 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