#XmasCryptoMiracles

La teoria crittografica ha fornito la nozione di sicurezza dimostrabile, che è spesso un ideale irraggiungibile nella pratica. Il lavoro teorico ottiene protocolli sicuri dimostrabili solo a costo di efficienza. I teorici si stanno muovendo da primitive certe verso insiemi potenti di primitive. Questo avviene perché i protocolli sicuri dimostrabili hanno spesso un design complesso e oscuro, che porta a inefficienza e errori. Per colmare il divario tra teoria crittografica e pratica, è stata sviluppata l'ipotesi dell'oracolo casuale. Questa ipotesi produce protocolli crittografici molto più efficienti rispetto a quelli standard. L'articolo descrive il concetto di modello di oracolo casuale e la sostituzione degli oracoli casuali con funzioni hash. Il lavoro pratico dimostra che nessuno è stato in grado di eseguire un attacco riuscito su tali protocolli crittografici.