Standard Model
標準モデルとは、ランダムオラクルや理想化グループのような理想的な仮定を導入せず、計算複雑性の仮定（DDH、LWE など）のみに依拠する暗号プロトコルの安全性証明を指す。
目的
ランダムオラクルモデルよりも強い安全性保証を提供し、理想的仮定を具体化した際の安全性低下を回避する。
メカニズム
標準モデルでの証明は、ハッシュを理想化せず、DDH、CDH、LWE などの反証可能な仮定に基づかなければならない。証明は難しくなるが、安全性はより強力である。
ユースケース
- 厳格なセキュリティ証明
- 耐量子プロトコルの分析
- 暗号理論における研究