对一个协议的安全证明主要分为两种：基于模拟的安全证明(simulation-based proof)。基于游戏的安全证明(game-based proof)。那基于规约的证明属于哪一种呢？？？基于游戏的证明分为两种：安全规约(security reduction)与游戏跳跃(game hopping)。本专栏只关注于规约。对于规约的一些浅薄认识：安全规约就是将未知难的问题与已知难的问题进行关联，因为我们不知道未知难的问题它的困难程度，如果可以把解未知难问题归约到已知难的问题上，那么就可以说：解未知难问题不会比解已知难问题容易。举个例子：我们不知道RSA的困难程度，但可以通过规约，把解RSA困难问题(参考：RSA加密)归约到解大整数分解问题上面，而大整数分解问题是目前公认的困难问题。这样未知难问题就可以归约到已知难问题上面。具体的规约过程以后再填坑。留几个小问 来自尧图内容编辑团队
内容团队 本文由尧图网络内容编辑团队执笔。团队由资深项目经理、前端工程师与设计师组成，所有内容均来自亲手交付的真实项目，先讲清问题、再给出可落地的解法。尧图深耕北京网站建设十年，服务过京华建材集团、智造科技等各行业客户，把一线经验沉淀为可复用的行业观察。
相关资讯与近期热门内容
)
建站决策前值得细读的三篇
