Relativistic Zero-Knowledge
We introduce a relativistic setting of zero-knowledge where the nonlocality of the simulator is quantified in relation to that of the verifier of a multi-prover interactive proof. In particular we exhibit Quantum Zero-Knowledge proofs for NP that can be efficiently simulated via No-Signalling simulators and Local Zero-Knowledge proofs for NP that can be efficiently simulated by Quantum simulators.