#XmasCryptoMiracles

密碼學理論提供了可證明安全性的概念，但在實踐中這往往是一個無法實現的理想。理論工作獲得的可證明安全協議，通常是以效率為代價的。理論家正在從某些基本原則轉向強大的基本原則集。這是因為可證明安全的協議通常具有複雜且不明確的設計，導致低效率和錯誤。為了彌合密碼學理論與實踐之間的鴻溝，隨機預言機假設被提出。這一假設產生的加密協議比標準協議更為高效。本文描述了隨機預言機模型的概念，以及用哈希函數替代隨機預言機的過程。實踐工作表明，至今尚無人能成功攻擊這類加密協議。