# 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