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 metadata

https://hal.inria.fr/hal-01650985
Contributor : André Chailloux Connect in order to contact the contributor
Submitted on : Tuesday, November 28, 2017 - 3:25:58 PM
Last modification on : Thursday, January 7, 2021 - 3:38:03 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

316