s ≡ r^2 (mod n)

假如Alice不能计较出模平方根x，则她无论回收什么计策，也会以极或许率被Bob拒绝；

本文作者胡鹏，来自安比技能社区小同伴。区块链行业从业者，隐私计较尝试室研究员。结业于北航计较机专业，已往两年参加设计研发了托管数十亿加密资产的打点平台。信仰技能与理性，坚信区块链会重塑互联网和社会的形态。

上面有两个观念需要严格的界说，「无法区分」和「模仿」：

二次剩余是数论内里汗青悠久的问题，发源于同余理论的研究。高斯在《算术研究》中，第一次系统的研究了剩余理论，总结了包罗欧拉、费马、勒让德等前人的理论成就。

Shafi Goldwasser, Silvio Micali, Charles Rackoff: The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract). STOC 1985: 291-304

到今朝为止，我们完整的先容了第一个零常识

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。