1 paper
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…