On the Relativistic Zero Knowledge Quantum Proofs of Knowledge
Kaiyan Shi, Kaushik Chakraborty, Wen Yu Kon, Omar Amer, Marco Pistoia,, Charles Lim

TL;DR
This paper develops relativistic zero-knowledge quantum proof systems with classical communication, introduces new knowledge extractors, and improves soundness bounds by innovative quantum rewinding techniques and measurement analysis.
Contribution
It constructs quantum proof of knowledge systems in the relativistic setting, introduces a multi-prover quantum rewinding method, and enhances soundness bounds of existing protocols.
Findings
Existence of quantum proofs of knowledge with error 1/2 + negl for NP relations.
Development of a new multi-prover quantum rewinding technique.
Improved soundness bounds for relativistic zero-knowledge proof systems.
Abstract
We initiate the study of relativistic zero-knowledge quantum proof of knowledge systems with classical communication, formally defining a number of useful concepts and constructing appropriate knowledge extractors for all the existing protocols in the relativistic setting which satisfy a weaker variant of the special soundness property due to Unruh (EUROCRYPT 2012). We show that there exists quantum proofs of knowledge with knowledge error 1/2 + negl({\eta}) for all relations in NP via a construction of such a system for the Hamiltonian cycle relation using a general relativistic commitment scheme exhibiting the fairly-binding property due to Fehr and Fillinger (EUROCRYPT 2016). We further show that one can construct quantum proof of knowledge extractors for proof systems which do not exhibit special soundness, and therefore require an extractor to rewind multiple times. We develop a…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms
