Probabilistic Proof Systems - Lecture Notes
Oded Goldreich
EECS Department, University of California, Berkeley
Technical Report No. UCB/CSD-96-915
, 1996
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1996/CSD-96-915.pdf
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.
BibTeX citation:
@techreport{Goldreich:CSD-96-915, Author= {Goldreich, Oded}, Title= {Probabilistic Proof Systems - Lecture Notes}, Year= {1996}, Month= {Sep}, Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1996/5813.html}, Number= {UCB/CSD-96-915}, 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.}, }
EndNote citation:
%0 Report %A Goldreich, Oded %T Probabilistic Proof Systems - Lecture Notes %I EECS Department, University of California, Berkeley %D 1996 %@ UCB/CSD-96-915 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1996/5813.html %F Goldreich:CSD-96-915