Game-Based Proof
ゲームベース証明（Game-Based Proof）は、証明可能安全性の形式的枠組みである。安全性定義と帰着を、攻撃者と挑戦者の間の一連のゲームとして表現し、区別不可能性に至るまで段階的に置き換えていく。
目的
暗号プロトコルに構造化され検証可能なセキュリティ証明を与え、現代暗号の標準的手法となる。
メカニズム
セキュリティゲーム G0（現実の方式）と G1（理想／不可能）を定義し、中間ゲーム列 G0→G1→...→Gn を通じて各段階で方式の一部を置き換える。各置き換えの識別優位は仮定で抑えられ、その上界の総和が全体的な優位となる。
ユースケース
- 暗号プロトコルのセキュリティ証明
- ゲームベースの方式分析
- 形式的セキュリティ検証