Proofs that yield nothing about their validity-or-all languages in NP have zero-knowledge proof systems. GOLDREICH O,MICALI S,WIGDERSON A. Journal of the ACM . 1991
Proofs that yield nothing about their validity-or-all languages in NP have zero-knowledge proof systems. GOLDREICH O,MICALI S,WIGDERSON A. Journal of the ACM . 1991