用途：为密码学原语的安全证明提供系统化方法，用“游戏序列”（sequence-of-games）技术把复杂安全论证拆成一系列小的、可分析的过渡。适用于加密方案的语义安全（IND-CPA、IND-CCA）、签名与 MAC 的不可伪造性（EUF-CMA）、PRF/PRP 的伪随机性，以及把安全性归约到 DDH、CDH、RSA、LWE 等计算假设。
主要能力：给出证明结构模板，从 Game 0（原始攻击游戏）出发，经 Game 1…Game n 逐步转换，最终到达目标概率易于计算的游戏。规定每次过渡只做一处改动，并限定为三种类型：不可区分过渡（若被区分则破坏某计算假设，构造区分器 D）；失败事件过渡（用 Difference Lemma，若 A∧¬F 与 B∧¬F 等价，则 |Pr[A]-Pr[B]|≤Pr[F]）；桥接步骤（纯概念重述，概率严格相等）。
关键技巧：惰性采样（“gnome”技术）把随机函数求值改为按需查表；forgetful gnome 去掉一致性检查以构造独立随机变量，仅当发生碰撞时两游戏不同；一次性密码本论证中，当 h 均匀随机且独立于 m 时，h⊕m 均匀随机，敌手无法得知加密了哪条消息。
使用方式：按模板定义各游戏、标注过渡类型、立即给出概率差界，并尽量让所有游戏处于同一概率空间。附有 references/game-transitions.md、references/proof-templates.md、references/latex-macros.md 等参考文件。提供常用记号约定，如 x ←$ S、A^O()、Pr[E]、negl(λ)、Sᵢ、F、ε 等。
限制：资料未提供具体安装命令、收费信息或运行环境要求，暂未提供。