零知识证明(ZKP)是一种加密工具,可供一方(证明者)向另一方(验证者)证明某项陈述的真实性,而无需透露该陈述的任何复杂细节。
ZKP必须具备以下三个特质:
完整性:如陈述属实且双方均诚实可信,则证明可始终确认其真实性。
可靠性:除非在极罕见的情况下,否则不诚实的证明者不应该能说服诚实的验证者相信虚假陈述的有效性。
零知识:最重要的特性。流程结束时,验证者只了解陈述的有效性,对陈述内容一概不知。
ZKP究竟如何运作?该证明方法可分为三个步骤:
证据:在第一阶段,证明者向验证者提供一条机密信息或“证据”。其中的逻辑是,向验证者证明证明者可在不明确提及特定数据的情况下对其进行访问。证据会提出一组和信息相关的问题,仅供真实的证明者回答。
质疑:在此阶段,验证者随机抽取该组问题来质疑证明者。
回应:证明者顺利回答验证者的问题,以证明自己的可信度。
了解过汇总和ZKP的概念之后,二者相结合即可了解零知识汇总的运作原理。