Modelo de cifra ideal
Um modelo de prova em que a cifra de bloco é tratada como uma permutação aleatória independente para cada chave, consultável nos dois sentidos.
Ele entra em cena quando uma construção usa a cifra de bloco de maneiras que a hipótese de PRP não cobre, principalmente quando o atacante escolhe a chave. Construções de hash como Davies–Meyer passam a mensagem como chave, e Black, Rogaway e Shrimpton provaram sua segurança exatamente nesse modelo em 2002. Coron, Patarin e Seurin mostraram em 2008 que o modelo é essencialmente tão forte quanto o do oráculo aleatório; uma lacuna na prova foi fechada em 2011 com quatorze rodadas Feistel.
A pegadinha é a mesma dos oráculos aleatórios: nenhuma cifra real é ideal. O AES-256 tem ataques de chaves relacionadas conhecidos que são inofensivos para a cifragem comum, mas passam a importar no instante em que alguém constrói uma função de hash com ele. A prova vale; a hipótese nem sempre.