Zero-Knowledge-Proof 与它们的名称以及许多流行的例子相反，零知识证明（Zero Knowledge Proofs）证明的是计算的有效性，而不是对某个事实的知情权。 它们并不执行计算本身。它们接受一个预先商定的计算、一个该计算已被执行的证明，以及计算的结果，然后确定证明者是否真的运行了该计算并产生了该输出。 零知识的部分来自于一个可选特性，即计算证明的表示方式可以不泄露关于输入的任何信息。 Docs Basics MiMC Poseidon Tornado Cash