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. doi:10.22331/q-2020-05-14-266. https://resolver.caltech.edu/CaltechAUTHORS:20190320-095213331

	PDF - Published Version Creative Commons Attribution. 2MB
	PDF - Submitted Version See Usage Policy. 1MB

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:

URL	URL Type	Description
https://doi.org/10.22331/q-2020-05-14-266	DOI	Article
https://arxiv.org/abs/1902.05217	arXiv	Discussion Paper

ORCID:

Author	ORCID
Vidick, Thomas	0000-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 Agency	Grant Number
NSF	CCF-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
NSF	PHY-1125565
Gordon and Betty Moore Foundation	GBMF-12500028
Caltech	UNSPECIFIED

DOI:

10.22331/q-2020-05-14-266

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:

16 Nov 2021 17:02

Repository Staff Only: item control page