零知识证明原理

零知识证明的三个性质

 我们在许多介绍零知识证明的文章中都能看到这样三个性质：

1. Completeness —— 完备性
2. Soundness —— 可靠性
3. Zero-Knowledge —— 零知识    

        通常，我们定义安全会采用这样一种方式，首先列出一些安全事件，然后说明：如果一个系统安全，那么列出来的安全事件都不会发生。借用密码学家 Boaz Barak 的话，翻译一下，「零知识证明」并不是通过给出一个不允许发生的事件列表来定义，而是直接给出了一个最极致的「模拟条件」。所谓「模拟条件」是指，通过「模拟」方法来实现一个「理想世界」，使之与「现实世界」不可区分；而由于在理想世界中不存在知识，所以可以推导出结论：现实世界满足「零知识」。

        我们继续分析下一个交互系统（安全协议）的三个性质：「完备性」、「可靠性」与「零知识」。 

1. 可靠性（Soundness）：Alice 在没有知识的情况下不能通过 Bob 的验证。