Probabilistic Proof Systems - Lecture Notes
Oded Goldreich
EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-96-915
September 1996
http://www.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},
Institution = {EECS Department, University of California, Berkeley},
Year = {1996},
Month = {Sep},
URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/1996/5813.html %F Goldreich:CSD-96-915