Slumporakel
En idealiserad hashfunktion som svarar slumpmässigt på varje ny fråga, och en modell som används för att bevisa säkerhet i kryptografiska scheman.
Random oracle-modellen introducerades av Bellare och Rogaway 1993 för att kunna bevisa att praktiska konstruktioner som OAEP och RSA-PSS är säkra. Det är en fiktion: ingen verklig hashfunktion beter sig som ett slumpmässigt orakel, men ett bevis i modellen är ändå ett kraftfullt argument.
Kritiken har varit ihållande sedan Canetti, Goldreich och Halevi visade 1998 att det finns scheman som är säkra i modellen men som inte går att instansiera säkert. Ett bevis i modellen garanterar alltså inte säkerhet i verkligheten, och det är värt att komma ihåg när någon säger att något är "bevisat".