A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
Probabilistic proof systems — A survey
[chapter]
1997
Lecture Notes in Computer Science
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/bfb0023492
fatcat:dmjknckobrghtkdnqu67gd4pw4