Game-Based Proof
基于博弈的证明是可证明安全的形式化框架，将安全定义与归约表达为攻击者与挑战者交互的博弈序列，逐步替换至不可区分。
用途
为密码协议提供结构化、可验证的安全证明，是现代密码学证明的标准方法。
机制
定义安全博弈 G0（真实方案）与 G1（理想/不可攻破），通过一系列中间博弈 G0→G1→...→Gn 逐步替换，每步替换的区分优势由假设界定，累加得总优势上界。
用例
- 密码协议安全证明
- 加密方案分析
- 形式化安全验证
基于博弈的证明是可证明安全的形式化框架，将安全定义与归约表达为攻击者与挑战者交互的博弈序列，逐步替换至不可区分。
为密码协议提供结构化、可验证的安全证明，是现代密码学证明的标准方法。
定义安全博弈 G0（真实方案）与 G1（理想/不可攻破），通过一系列中间博弈 G0→G1→...→Gn 逐步替换，每步替换的区分优势由假设界定，累加得总优势上界。