Professor Oded Goldreich (Weizmann Institute of Science)
Various types of probabilistic proof systems have played
a central role in the development of computer science in the last decade.
In the talk, 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.