什么是零知识证明?零知识证明的标准是什么?
零知识证明,有时称为 ZK 协议,是一种在证明者和验证者之间进行的验证方法。那么零知识证明到底是什么以及零知识证明的标准是什么。让我们通过阅读下面的文章来了解一下吧。
什么是零知识证明?
零知识证明或协议是“证明者”说服“验证者”关于某些秘密信息的声明是真实的而不泄露秘密本身的一种方式。证明协议可以是交互式的或非交互式的。
示例:验证者向证明者提供散列 H,并期望证明者提供其拥有散列 H 的秘密数据的证明。证明者生成零知识证明,使验证者相信它拥有数据 H 散列 H,而无需透露数据本身给验证者。
零知识证明的标准是什么?
零知识证明(ZKP)方法必须满足以下条件:
完整性:如果证明者提供的信息是真实的,那么ZKP方法必须使验证者能够验证证明者说的是真话。
可靠性:如果证明者提供的信息是假的,那么ZKP方法必须允许验证者反驳证明者所说的是真的。
零知识:ZKP 方法必须向验证者揭示证明者是否说真话。
零知识证明有哪些不同类型?
这里有两种主要类型的零知识证明:
交互式零知识证明:在这种类型的零知识证明中,证明者和验证者多次交互。验证者向证明者提出挑战,证明者对这些挑战做出回应,直到验证者被说服。
非交互式零知识证明:在这种类型的 ZKP 中,证明者提交的证明在任何时候只能被验证者验证一次。这种类型的 ZKP 比交互式 ZKP 需要更多的计算能力。由于用户体验简单,它们也是最受欢迎的。
我希望这篇文章能帮助您了解什么是零知识证明以及零知识证明的标准是什么。零知识工作量证明,又名零知识计算证明,是指证明者让验证者相信他已经正确地对秘密数据执行了一些计算而不泄露秘密。