Probabilistic Proof Systems - Lecture Notes
Authors:
Goldreich, Oded
Technical Report Identifier: CSD-96-915
September 1996
CSD-96-915.pdf
CSD-96-915.ps
Abstract: Various types of probabilistic proof systems have played a central role in the development of computer science in the last decade. In these notes, we concentrate on three such proof systems -- interactive proofs, zero-knowledge proofs, and probabilistic checkable proofs.