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

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

Explore a presentation on relativistic or two-prover one-round zero-knowledge protocols for NP secure against quantum adversaries. Delve into the paper by André Chailloux and Anthony Leverrier, presented at Eurocrypt 2017, covering topics such as initial motivation, Sigma protocols, quantum consecutive measurements, main theorems, and applications to proofs of knowledge. Examine the construction of relativistic Fobit commitment and the zero-knowledge protocol for Hamiltonian Cycle problems. Conclude with open questions regarding the composability of such schemes, gaining insights into advanced cryptographic concepts and their quantum-resistant properties.