（十五）在判定假设下加密的安全证明（二）

优势计算2通过上一篇博客的分析：在判定假设下加密的安全证明解决底层困难问题的优势可以表示为：插一段分析 这个式子是在定义模拟器判断Z真假的优势 Pr[Guess Z=True∣Z=True]表示当Z实际上为真，模拟器猜测真的概率 Pr[Guess Z=True∣Z=False]表示当Z为假的时候，模拟器仍然猜测Z为真的概率 二者相减就是在衡量模拟器是否真的能区分Z为真或者假 如果相减之后为0表示模拟器根本不能区分真假如果成功模拟的概率P S P_SP