规约证明（一）

对一个协议的安全证明主要分为两种：基于模拟的安全证明(simulation-based proof)。基于游戏的安全证明(game-based proof)。那基于规约的证明属于哪一种呢？？？基于游戏的证明分为两种：安全规约(security reduction)与游戏跳跃(game hopping)。本专栏只关注于规约。对于规约的一些浅薄认识：安全规约就是将未知难的问题与已知难的问题进行关联，因为我们不知道未知难的问题它的困难程度，如果可以把解未知难问题归约到已知难的问题上，那么就可以说：解未知难问题不会比解已知难问题容易。举个例子：我们不知道RSA的困难程度，但可以通过规约，把解RSA困难问题(参考：RSA加密)归约到解大整数分解问题上面，而大整数分解问题是目前公认的困难问题。这样未知难问题就可以归约到已知难问题上面。具体的规约过程以后再填坑。留几个小问