Skip to main content

Crypto zk

zk vs 比如两个人，A 不对 B 倾诉，B 知道 A 在想什么？​

零知识证明并不是用来让一个人知道另一个人在想什么的，而是用来证明某个具体的数学陈述或者拥有某个信息而不透露这个信息本身。在现实生活中，这种情况是不可能的，因为我们不能直接读取别人的思想。

但在密码学和计算机科学中，零知识证明可以让一个人（证明者）向另一个人（验证者）证明他们知道某个信息（比如一个秘密的数字或者密码），而不泄露任何关于这个信息的细节。这是通过数学和计算过程实现的，而不是通过心理或直觉。

举一个简单的例子，假设 Alice（A）知道一个迷宫的秘密通道，她想向 Bob（B）证明她知道这个秘密而不告诉他具体是什么。她可以这样做：

  1. Alice 进入迷宫，Bob 在外面等待。
  2. Bob 没有看的时候，Alice 通过秘密通道到达迷宫的另一边。
  3. Bob 现在可以从迷宫的任一入口叫 Alice 出来。
  4. 因为 Alice 知道秘密通道，她可以从 Bob 指定的任何入口出来。
  5. 重复这个过程足够多次后，Bob 可以相信 Alice 确实知道秘密通道，但他仍然不知道这个通道是怎样的。

在这个例子中，Bob 确信 Alice 知道秘密通道，但他没有获得关于通道本身的任何信息。这就是零知识证明的核心概念：能够验证一个事实的真实性，而不需要了解支撑这个事实的具体内容。在计算机科学中，这样的过程会更加复杂和数学化，通常涉及到复杂的算法和协议。