Probabilistic Proof Systems

Oded Goldreich
1994 BRICS Report Series  
Various types of probabilistic proof systems have played a central role in the development of computer science in the last decade. In this exposition, we concentrate on three such proof systems -- interactive proofs, zero-knowledge proofs, and probabilistic checkable proofs -- stressing the essential role of randomness in each of them.<br /> <br />This exposition is an expanded version of a survey written for the proceedings of the International Congress of Mathematicians (ICM94) held in Zurich
more » ... in 1994. It is hope that this exposition may be accessible to a broad audience of computer scientists and mathematians.
doi:10.7146/brics.v1i28.21643 fatcat:g7noy5g7p5fu5kvgcsodz2v3ty