零知识证明(Zero—Knowledge Proof)

一、什么是零知识证明呢？

零知识证明(Zero—Knowledge Proof)，是指一种密码学工具，允许互不信任的通信双方之间证明某个命题的有效性，同时不泄露任何额外信息。

零知识证明（Zero Knowledge Proof）由S.Goldwasser、S.Micali 及 C.Rackoff于1985年在论文《The Knowledge Complexity of Interactive Proof Systems》（交互式证明系统中的知识复杂性）首次提出，是一种用于证明者在不泄露任何其他信息的情况下证明其掌握知识正确性的密码学协议。零知识证明实质上是一种涉及两方或更多方的协议，即两方或更多方完成一项任务所需采取的一系列步骤。证明者向验证者证明并使其相信自己知道或拥有某一消息，但证明过程不能向验证者泄漏任何关于被证明消息的信息。大量事实证明，零知识证明在密码学中非常有用。如果能够将零知识证明用于验证，将可以有效解决许多问题。

二、零知识证明两种类型：

目前有两种零知识证明：

1.交互式的 (Interactive)

2.非交互式的 (Non Interactive)

（1）交互式零知识证明（Interactive zero-knowledge proofs）：

证明者和验证者需要进行多次互动，验证者会不断提出问题来挑战证明者，证明者则要不断回应这些挑战，直到验证者被说服。

可能有些抽象，那我们可以举个例子：

交互式零知识证明---色盲游戏：

Alice是色盲，Bob不是色盲，在Bob手上有