Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR94-008 | 12th December 1994 00:00

Probabilistic Proof Systems (A Survey)

RSS-Feed




TR94-008
Authors: Oded Goldreich
Publication: 12th December 1994 00:00
Downloads: 1361
Keywords: 


Abstract:

Various types of probabilistic proof systems have played
a central role in the development of computer science in the last decade.
In this exposition, we concentrate on three such proof systems ---
interactive proofs, zero-knowledge proofs,
and probabilistic checkable proofs --- stressing the essential
role of randomness in each of them.



ISSN 1433-8092 | Imprint