零知识证明：什么是零知识证明？零知识证明真的传的神乎其神吗？

零知识证明的探索学习之路

我真服了，看到网上的零知识证明，感觉真累，什么都能往零知识里面塞。

1. 零秘密型

这种零知识证明是这样的：

受信者需要证明21^3 == 9261

证明者已知21、3、9261

但是证明者懒得算，算起来太耗费时间，这时的零知识证明的用处是：

我确确实实按照乘法规则计算了一遍这个过程，你不用算了，信我的就行了

2.一秘密型

受信者需要证明自己拥有字符串“hello”经过sha256后得到结果“2cf24dba5fb0a30e26e83b2ac5b9e29e1b161e5c1fa7425e73043362938b9824”

证明者已知sha256、“2cf24dba5fb0a30e26e83b2ac5b9e29e1b161e5c1fa7425e73043362938b9824”

3.二秘密型

这里没有受信者和证明者，只有两个互相不信任的人。

A和B想比较自己的存款谁比较多，这里A的秘密是自己的存款，A不知道的是B的存款，A想要知道的是自己的存款是否大于对方。

那个盒子的事情，我们都知道了。

公私钥型

挑战、应答机制，不是，你拿着公钥去确认对方手上是否拿着私钥，然后把这种东西称为零知识证明的一种？

”A使用这种方法证明了B的身份后，不能去冒充B的身份，因此没有得到更多知识“

要不是有人拿着零知识证明的标题吸引我点进去，我的天，上当，上大当啊。

所以我没有给这个一个点，这谁水论文水到零知识证明上了，这样归档的。

---

在以上的类型中，个人认为只有一秘密的类型才是真正的零知识证明，其他的，混进来了。

---

感谢wiki，我为什么不早点去wiki看。

这里是数学没学好该看的两幅图，数学好可以看懂“(x+r) mod (p-1)”往后的那一部分可以跳过：

好的，感谢通义千问帮我补全了一点知识（这是魔法吧，指正）

等会儿，上当了。

突然想起来，上面的例子里面，x和y都是小静给出的，而且x和y之间是成对关系，算法是。。。。。

没有通用性啊，那我不能把x定义为私钥y定义为公钥吗，被骗了！！！！！！

哦，这里不太一样，因为y不能加密数据给x。

但是，零知识证明，在应用上是一场完全的骗局。