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 Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

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

Résumé

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 et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More