Probabilistic Proof Systems [chapter]

Oded Goldreich
1995 Proceedings of the International Congress of Mathematicians  
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.
doi:10.1007/978-3-0348-9078-6_134 fatcat:3asgnxrbhrbmpcbk2eqlqisua4