Oded Goldreich

Gemeinsam mit Goldwasser und Micali zeigte Goldreich 1984, wie sich aus einem Pseudozufallsgenerator eine Pseudozufallsfunktion bauen lässt – die GGM-Konstruktion, die aus einer einzigen Zufallsquelle eine ganze Familie von Schlüsselfunktionen macht. Mit Micali und Avi Wigderson bewies er 1986, dass jede Aussage in NP einen Zero-Knowledge-Beweis besitzt, und im Jahr darauf, dass sich jede Berechnung von Parteien, die einander misstrauen, sicher gemeinsam ausführen lässt (das GMW-Protokoll).

Das Goldreich-Levin-Theorem (1989) gewinnt aus jeder Einwegfunktion ein Hard-Core-Bit. Sein zweibändiges Werk Foundations of Cryptography ist das Standardwerk für alle, die die Beweise wollen und nicht nur die Ergebnisse; dass es schwere Kost ist, ist eine bekannte Tatsache, keine Kritik.