Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas

https://hal.inria.fr/hal-01650985
Contributor : André Chailloux <>
Submitted on : Tuesday, November 28, 2017 - 3:25:58 PM
Last modification on : Tuesday, December 24, 2019 - 3:26:02 PM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

300