Oráculo aleatório
Uma função hash idealizada que responde a cada consulta nova com um valor aleatório, usada como modelo para provar a segurança de esquemas criptográficos.
O modelo do oráculo aleatório foi introduzido por Bellare e Rogaway em 1993 para que construções práticas, como OAEP e RSA-PSS, pudessem ter provas de segurança. É uma ficção: nenhuma função hash real se comporta como um oráculo aleatório, mas uma prova no modelo continua sendo um argumento forte.
As críticas são persistentes desde que Canetti, Goldreich e Halevi mostraram, em 1998, que existem esquemas seguros no modelo que não podem ser instanciados com segurança. Uma prova no modelo, portanto, não garante nada sobre o mundo real, o que vale lembrar da próxima vez que alguém disser que algo é "comprovado".