Relativistic (or 2-Prover 1-Round) Zero-Knowledge Protocol for NP Secure Against Quantum Adversaries - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2017

Relativistic (or 2-Prover 1-Round) Zero-Knowledge Protocol for NP Secure Against Quantum Adversaries

Abstract

In this paper, we show that the zero-knowledge construction for Hamiltonian Cycle remains secure against quantum adversaries in the relativistic setting. Our main technical contribution is a tool for studying the action of consecutive measurements on a quantum state which in turn gives upper bounds on the value of some entangled games. This allows us to prove the security of our protocol against quantum adversaries. We also prove security bounds for the (single-round) relativistic string commitment and bit commitment in parallel against quantum adversaries. As an additional consequence of our result, we answer an open question from [Unr12] and show tight bounds on the quantum knowledge error of some Σ-protocols.

Dates and versions

hal-01650985 , version 1 (28-11-2017)

Identifiers

Cite

André Chailloux, Anthony Leverrier. Relativistic (or 2-Prover 1-Round) Zero-Knowledge Protocol for NP Secure Against Quantum Adversaries. Eurocrypt 2017 - Advances in Cryptology, Apr 2017, Paris, France. pp.369--396, ⟨10.1007/978-3-319-56617-7_13⟩. ⟨hal-01650985⟩

Collections

INRIA INRIA2 ANR
142 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More