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.
De Elham Kashefi
De Javad Shabani
De Pouria Fallahpour
De Mehrnoosh Sadrzadeh
De Giulia Gubitosi
De Robin van Haastrecht
