16 citations · 16 across the 4 of their papers we have counts for
5 papers
Experimental relativistic zero-knowledge proofs
Pouriya Alikhani, Nicolas Brunner, Claude Crépeau +5
Protecting secrets is a key challenge in our contemporary information-based era. In common situations, however, revealing secrets appears unavoidable, for instance, when identifyin…
Practical Relativistic Zero-Knowledge for NP
Claude Crépeau, Arnaud Massenet, Louis Salvail +2
In this work we consider the following problem: in a Multi-Prover environment, how close can we get to prove the validity of an NP statement in Zero-Knowledge ? We exhibit a set of…
Non-Locality and Zero-Knowledge MIPs
Claude Crépeau, Nan Yang
The foundation of zero-knowledge is the simulator: a weak machine capable of pretending to be a weak verifier talking with all-powerful provers. To achieve this, simulators need so…
Verifier Non-Locality in Interactive Proofs
Claude Crépeau, Nan Yang
In multi-prover interactive proofs, the verifier interrogates the provers and attempts to steal their knowledge. Other than that, the verifier's role has not been studied. We have…
Non-Locality in Interactive Proofs
Claude Crépeau, Nan Yang
In multi-prover interactive proofs (MIPs), the verifier is usually non-adaptive. This stems from an implicit problem which we call ``contamination'' by the verifier. We make explic…