Probabilistic Proof Systems - A Survey

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.

• Type: Conference
• Year: 1997
• Where: STACS
• Authors: Oded Goldreich
• Keywords: Probabilistic Checkable Proofs, Probabilistic Proof Systems, Proof Systems, STACS 1997, Theoretical Computer Science