## Probabilistic Proof Systems -- A Survey (1996)

### Cached

### Download Links

by
Oded Goldreich

Venue: | IN SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE |

Citations: | 5 - 0 self |

### BibTeX

@TECHREPORT{Goldreich96probabilisticproof,

author = {Oded Goldreich},

title = {Probabilistic Proof Systems -- A Survey},

institution = {IN SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE},

year = {1996}

}

### OpenURL

### 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.