On the Relativistic Zero Knowledge Quantum Proofs of Knowledge

Kaiyan Shi,Kaushik Chakraborty,Wen Yu Kon,Omar Amer,Marco Pistoia,Charles Lim

2024-09-05

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 new multi-prover quantum rewinding technique by combining ideas from monogamy of entanglement and gentle measurement lemmas that can break the quantum rewinding barrier. Finally, we prove a new bound on the impact of consecutive measurements and use it to significantly improve the soundness bound of some existing relativistic zero knowledge proof systems, such as the one due to Chailloux and Leverrier (EUROCRYPT 2017).

Quantum Physics,Cryptography and Security

What problem does this paper attempt to address?

The problem that this paper attempts to solve is whether the existing relativistic zero - knowledge protocols can be used as Quantum Proof of Knowledge (QPoK). Specifically, the authors explore whether the existing zero - knowledge proof systems can meet the requirements of quantum knowledge proof in the relativistic setting, especially the security and effectiveness of these systems when facing quantum attackers. The main contribution of the paper lies in defining the quantum knowledge proof in the relativistic setting and constructing the corresponding knowledge extractor to verify whether these systems can effectively extract knowledge from quantum provers.

Several key points are proposed in the paper:

1. **Defining the relativistic quantum proof system**: The authors define the interactive machine model in the relativistic setting and the quantum rewinding oracle, which are the basis for analyzing quantum knowledge proof.

2. **Constructing the knowledge extractor**: For the relativistic Σ - protocols with the special soundness property, the authors show how to construct a quantum knowledge extractor, thus proving that these protocols can be used as quantum knowledge proof.

3. **Extension to NP languages**: By using the relativistic bit - commitment scheme with the fair - binding property, the authors prove that zero - knowledge relativistic quantum knowledge proof systems can be constructed for all NP languages.

4. **Handling protocols without special soundness**: For the relativistic zero - knowledge protocols without special soundness, such as the protocol for the 3 - coloring problem, the authors propose a new multi - prover quantum rewinding technique, combined with the monogamy of entanglement and the gentle measurement lemmas, and successfully construct a knowledge extractor.

5. **Improving the soundness bound**: The authors significantly improve the soundness bound of some relativistic zero - knowledge proof systems through a new continuous measurement lemma, especially for the protocols of the Hamiltonian cycle and the subset - sum problem.

In summary, the main objective of this paper is to explore and prove the effectiveness and security of relativistic zero - knowledge protocols in the quantum environment, especially their applications in quantum knowledge proof.