Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

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