#XmasCryptoMiracles Teori kriptografi telah memberikan gagasan tentang keamanan yang dapat dibuktikan yang sering kali merupakan ideal yang tidak dapat dicapai dalam praktik. Pekerjaan teoretis menghasilkan protokol aman yang dapat dibuktikan hanya dengan mengorbankan efisiensi. Para teoretisi bergerak dari beberapa primitif tertentu menuju kumpulan primitif yang kuat. Itu terjadi karena protokol aman yang dapat dibuktikan sering memiliki desain yang kompleks dan tidak jelas, yang menyebabkan inefisiensi dan kesalahan. Untuk menjembatani kesenjangan antara teori kriptografi dan praktik, hipotesis oracle acak dikembangkan. Hipotesis ini menghasilkan protokol kripto yang jauh lebih efisien dibandingkan yang standar. Artikel ini menggambarkan konsep model oracle acak dan penggantian oracle acak dengan fungsi hash. Pekerjaan praktis menunjukkan bahwa tidak ada yang mampu melakukan serangan yang berhasil pada protokol kripto semacam itu.