用途：该技能用于证明密码学协议的安全性，采用模拟安全范式，把真实协议执行与定义上安全的理想世界对比；若理想世界中能模拟真实世界的任何攻击，则协议除功能本身必然泄露的信息外不泄露更多。适用于两方或多方计算协议、零知识证明系统、不经意传输、承诺方案、抛硬币协议的安全性分析，支持半诚实与恶意敌手模型，以及CRS模型、随机预言机模型和UC（通用可组合）安全。
主要能力：提供模拟器的三项任务（生成视图、提取输入、确保一致性），并按协议类型给出模拟策略：半诚实OT用陷门计算两值；零知识证明通过回绕猜测挑战；抛硬币回绕至XOR匹配；恶意OT用CRS陷门或DDH元组提取发送方输入；承诺用陷门承诺或回绕实现可交换或提取；恶意MPC用混合模型加ZK子协议提取全部输入并保证一致性。
使用方式：资料给出若干参考文档，包括核心概念与技术（计算不可区分性、理想/真实范式、敌手模型、混合论证、回绕、归约、常见陷阱、特殊模型与证明清单）、混合论证、模拟器构造模式、UC框架（执行模型、安全定义、不可能性结果、带CRS的UC），以及半诚实、恶意敌手和零知识证明的LaTeX证明模板。
适用场景与限制：适合需要形式化密码学安全证明的研究与写作。资料未提供具体安装命令、调用方式、价格或平台信息，暂未提供。