Synonyms:
零知识简洁非交互知识论证, Zero-Knowledge Succinct Non-Interactive Argument of Knowledge
零知识证明(Zero-Knowledge Proof,简称 ZKP)是一种密码学技术。它允许证明者在不泄露具体内容的情况下,向验证者证明某个陈述是正确的。该技术多被应用于隐私保护、身份验证、ZK Rollup、投票系统等场景中。而零知识简洁非交互知识论证(zk-SNARK)是一种高效的零知识证明形式。其特点是证明体积小、验证速度快且无需证明者与验证者之间进行多轮交互。
何为零知识证明?举个例子:
A 对 B 说:我知道保险箱的密码是多少,但是我是不会直接告诉你的。
B:什么?我不信。除非你证明给我看。
A:好的。
随后,A 拿出一张提前准备的 “证明材料”。该证明并没有直接写出密码,而是经过了某种特殊的加密处理。但同样知道秘密参数的人一眼就能够看出真假。
这样一来,A、B 双方无需经历多轮沟通就能够直接验证。