零知识证明（Zero-Knowledge Proof, ZKP）

零知识证明（Zero-Knowledge Proof, ZKP），是由S.Goldwasser、S.Micali及C.Rackoff在20世纪80年代初提出的，指的是证明者能够在不向验证者提供任何有用的信息的状况下，使验证者相信某个论断是正确的。

在数字世界中，我们经常需要证明一些事情的真实性，比如我们的身份、我们是否有权限查看某些资源或者是否满足某种条件。传统的做法通常需要披露大量的个人信息或其他敏感数据。然而，在保护隐私日益重要的今天，需要一种方式可以让一方（证明者）向另一方（验证者）证明某事是真的，同时又不会泄露任何额外的信息。

零知识证明，实质上是一种涉及两方或更多方的协议，即两方或更多方完成一项任务所需采取的一系列步骤。证明者向验证者证明并使其相信自己知道或拥有某一消息，但证明历程不能向验证者泄漏任何关于被证明消息的信息。

零知识证明的实现方式有zk-SNARKS、zk-STARKS、PLONK以及Bulletproofs等。