クヌース賞– Richard J. Lipton 2015年 – László Babai 2016年 – Noam Nisan 2017年 – Oded Goldreich 2018年 – Johan Håstad 2019年 – アヴィ・ヴィグダーソン 2020年 – Cynthia Dwork 2021年
NL (計算複雑性理論) 294–302. ISBN 0-534-94728-X Introduction to Complexity Theory: Lecture 7. Oded Goldreich . Proposition 6.1. 本文で C と称していたものは、この文書では badRSPACE(log n) となっている。
ハードコア述語 pages 376-404, 1993. Oded Goldreich , Foundations of Cryptography vol 1: Basic Tools, Cambridge University Press, 2001. Oded Goldreich and Leonid A. Levin
ビットコミットメント Brassrd, David Chaum, Claude Crepeauによって定式化された。定式化の前に1987年にOded Goldreich , Silvio Micali, Avi Wigdersonの任意のNP言語がゼロ知識証明を持つ証明に使われていることがによって指摘されている。
対話型証明系 号理論にとって重要である。ゼロ知識証明はゴールドワッサーらの IP に関する論文で提唱された概念だが、その能力の範囲を明らかにしたのは Oded Goldreich であった。 この強力なマシンの前では、多くの問題が簡単に解かれるようであった。1992年、アディ・シャミアは計算複雑性理論の重要な成果となる事実、IP