CaltechAUTHORS
  A Caltech Library Service

Classical zero-knowledge arguments for quantum computations

Vidick, Thomas and Zhang, Tina (2020) Classical zero-knowledge arguments for quantum computations. Quantum, 4 . Art. No. 266. ISSN 2521-327X. https://resolver.caltech.edu/CaltechAUTHORS:20190320-095213331

[img] PDF - Published Version
Creative Commons Attribution.

2070Kb
[img] PDF - Submitted Version
See Usage Policy.

1786Kb

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20190320-095213331

Abstract

We show that every language in QMA admits a classical-verifier, quantum-prover zero-knowledge argument system which is sound against quantum polynomial-time provers and zero-knowledge for classical (and quantum) polynomial-time verifiers. The protocol builds upon two recent results: a computational zero-knowledge proof system for languages in QMA, with a quantum verifier, introduced by Broadbent et al. (FOCS 2016), and an argument system for languages in QMA, with a classical verifier, introduced by Mahadev (FOCS 2018).


Item Type:Article
Related URLs:
URLURL TypeDescription
https://doi.org/10.22331/q-2020-05-14-266DOIArticle
https://arxiv.org/abs/1902.05217arXivDiscussion Paper
ORCID:
AuthorORCID
Vidick, Thomas0000-0002-6405-365X
Additional Information:© 2020 This Paper is published in Quantum under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. Copyright remains with the original copyright holders such as the authors or their institutions. We thank Zvika Brakerski, Andru Gheorghiu, and Zhengfeng Ji for useful discussions. Thomas Vidick is supported by NSF CAREER Grant CCF-1553477, AFOSR YIP award number FA9550-16-1-0495, MURI Grant FA9550-18-1-0161, a CIFAR Azrieli Global Scholar award, and the IQIM, an NSF Physics Frontiers Center (NSF Grant PHY-1125565) with support of the Gordon and Betty Moore Foundation (GBMF-12500028). Tina Zhang acknowledges support from the Richard G. Brewer Prize and Caltech’s Ph11 program.
Group:Institute for Quantum Information and Matter
Funders:
Funding AgencyGrant Number
NSFCCF-1553477
Air Force Office of Scientific Research (AFOSR)FA9550-16-1-0495
Air Force Office of Scientific Research (AFOSR)FA9550-18-1-0161
Canadian Institute for Advanced Research (CIFAR)UNSPECIFIED
Institute for Quantum Information and Matter (IQIM)UNSPECIFIED
NSFPHY-1125565
Gordon and Betty Moore FoundationGBMF-12500028
CaltechUNSPECIFIED
Record Number:CaltechAUTHORS:20190320-095213331
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20190320-095213331
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:93980
Collection:CaltechAUTHORS
Deposited By: Tony Diaz
Deposited On:20 Mar 2019 17:05
Last Modified:04 Jun 2020 17:45

Repository Staff Only: item control page