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