什么是零知识证明(Zero Knowledge Proof, ZKP)?这是很多对区块链感兴趣的投资者都想要了解的一个问题，打个比方：ZKP意味着A可以向B证明，他知道特定的信息，而不必告诉对方自己具体知道些什么。在这个例子中，A是证明者，B是验证者。在密码学中，这尤为有用，因为这将为证明者提供一层额外的隐私保护。
运行一个ZKP，要满足以下这些参数：
完整性：如果陈述属实，那么诚实的验证者能被诚实的证明者说服。
可靠性：如果证明者不诚实，他们无法通过说谎来说服验证者相信陈述是可靠的。
零知识：如果陈述属实，那么验证者无法得知陈述的内容是什么。
举一个零知识证明的例子。让我们观察一下阿里巴巴洞穴是如何运作的。在这个例子中，证明者(P)对验证者(V)说，他知道洞穴后面暗门的密码，并提出在不向验证者透露密码的情况下证明此事。
证明者可以走路径A或者路径B，假设他们一开始决定通过路径A到达暗门。同时，验证者V来到入口，他对证明者选择哪条路径并不知情，并宣称他们希望见到证明者在路径B出现。
证明者确实出现在路径B上，但万一这仅是巧合呢?也有可能是证明者凭运气在出发时选择了路径B，却因不知道密码被困在了门口。
所以，我们需要通过多次试验来确定测试的有效性。如果证明者每次都能出现在正确的路径上，那么证明者的确可以在不向验证者透露密码的情况下，证明自己知道密码。
相关文章