277 citations · 384 across the 8 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
quant-ph2018
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…
quant-ph2018
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…