Goldreich, O. Probabilistic Proof Systems. BRICS 1994, 1.