零知识证明的性质

介绍

零知识证明是一种由证明者和验证者执行的双方隐私协议，用于证明者证明某个陈述的正确性而不需泄露其他任何信息。本文章不讲述零知识证明的理论知识，主要区分零知识证明的完备性与正确性。零知识证明有以下三个性质：完备性、可靠性与零知识。
• 完备性（Completeness）：只要证明者正确地知道某一陈述，那么就能大概率让验证者相信自己知道该陈述这一事实，即成功向验证者证明。
• 可靠性（Soundness）：任何恶意证明者都不能以虚假陈述欺骗验证者接受该陈述。
• 零知识（Zero-knowledge：证明者在向验证者提供证明的过程中不泄漏任何除陈述正确性之外的信息。

值得一提的是，零知识证明提供的是知识的完备性而不是知识得正确性。也就是说，零知识证明无法保证提供生成的证明的正确性，但能保证生成后的证明的完备性，这是因为生成证明的正确性是由程序执行保证，如果程序没有bug，可以认为程序生成的证明没有错误。