技术栈

证明

旺旺的碎冰冰~
4 小时前
安全·规约·证明
(八)正确安全规约假设Bob使用安全规约构造了一个方案。在规约过程中,Bob证明如果存在一个敌手可以在多项式时间内以不可忽略的概率打破方案,那么就可以构造一个模拟器在多项式时间内以不可忽略的概率破解一个底层困难问题。因此,Bob展示由于困难问题无法被打破,所以不存在一个敌手可以攻破他提出的方案。提出一个问题:
我是有底线的