February 19, 2002
Practical Aspects of Modern Cryptography
74
Facts About Interactive Proofs
n
nAnything in PSPACE can be proven with an interactive proof.
n
nAnything in NP can be proven with a zero-knowledge interactive proof.