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