速览零知识证明的基本概念、类型和代表性项目。

撰文：Poopman

编译：0x11，Foresight News

你是否听说过有关零知识证明 (ZKP) 🧾的许多讨论，但还是不确定它到底是什么？

好吧，你不需要博士学位也能理解 ZKP，你只需要花 3 分钟时间阅读这篇帖文📕 。

下面我会介绍：

• ZKP 是什么
• ZKP 必须满足的三个标准
• ZKP 的基本形式
• ZKP 的类型
• 值得关注的零知识（ZK）代币

什么是 ZKP？

ZKP 是一种进行身份验证的方法，可以在不直接透露已知信息的情况下证明某事是已知的。

ZKP 必须满足以下 3 个标准：

• 零知识
• 可靠性
• 完整性

在深入研究之前，让我们了解 ZKP 的基础知识。在 ZKP 中，有两类参与者：

• 证明者：证明者是想要证明自己声明正确的人。
• 验证者：验证者是想要验证证明者声明正确的人。

打个比方：

在 ZKP 中，有一个关闭的组合锁，证明者可以通过解锁而不泄露密码来向验证者证明他拥有正确的密码。这种方法确保没有密码相关的信息在双方之间传输。

但是证明者可能是侥幸猜到了密码，所以需要多次向验证者证明。这种重复证明确保证明者几乎不可能靠运气猜到密码，从而实现零知识。

简单来说，ZKP 是一个过程：证明、挑战和重复这个操作。

除了零知识外，ZKP 还需要满足 2 个标准。

第一个标准是可靠性。如果声明是假的，证明者无法说服诚实的验证者它实际上是真的。去中心化和可靠性是追求的标准。

第二个标准是完整性。如果陈述是正确的，验证者需要验证诚实的证明者说的是真话。

一旦满足所有 3 个标准，ZKP 的基础就建立了。

ZKP 的类型

你必须知道的 2 种主要类型的零知识证明，它们是

• 交互式零知识证明：这种证明需要证明者和验证者之间不断沟通，直到证明者能够对验证者提出的挑战给出满意的回应。
• 非交互式零知识证明（NIZKP）：NIZKP 不需要证明者和验证者之间交互。相反，证明者只向验证者发送一条消息，就足以让验证者确定语句的有效性。

由于在非交互式零知识证明只需要发送一条消息，因此与交互式零知识证明相比，该方法需要更高的计算能力。NIZKP 因其便利性而广受欢迎，近年来已被用于 ZK-SNARKs。

零知识应用

有 3 种主要类型的 ZKP 应用程序： 

• 区块链扩容（例如，ZK Rollup） 
• DID 
• 隐私协议

我建议看看下面提到的基于 ZK 的协议：

• MATIC @0xPolygonZK
• IMX @Immutable
• MINA @MinaProtocol
• ZEC @zcash
• LRC @loopringorg
• 无代币 @Scroll_ZKP
• 无代币 @zksync