Probabilistic Proof Systems
Keyword(s):
Various types of <em>probabilistic</em> 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 -- <em>interactive proofs</em>, <em>zero-knowledge proofs</em>, and <em>probabilistic checkable proofs</em> -- 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 (<em>ICM94</em>) held in Zurich in 1994. It is hope that this exposition may be accessible to a broad audience of computer scientists and mathematians.
Keyword(s):
1995 ◽
Vol 74
(05)
◽
pp. 1323-1328
◽
Keyword(s):
1979 ◽
Vol 42
(04)
◽
pp. 1193-1206
◽
Keyword(s):