什么是零知识证明

零知识证明在密码学中是一个很常见的话题，但我敢肯定，在这个环境中，所有的实验对象都不了解这种证明的历史或含义。零知识证明现在得到了很多认可，因为它们会对像Odin这样的匿名性产生影响，零知识证明已经存在很长时间了。

零知识证明最早是在1985年由三位计算机科学家构想出来的， Shafi Goldwasser，他目前是麻省理工学院电子工程和计算机科学教授，Silvio Micali也是麻省理工学院的计算机科学教授，最后是Charles Rackoff，他是一位美国密码学家，目前在多伦多大学工作。知识复杂性是从知识过程或知识的大量参与者和活动中衍生出来的知识的特征在不同的主体之间有所区别，其次，知识过程的输入或输出都不能被观察到，因此知识的复杂性是一种交互证明系统的层次性概念，即知识的复杂性是由大量参与知识过程或活动产生的知识的特征。这就意味着向另一方提供了多少信息。

这三位计算机科学家也提供了第一份零知识证明。这个证明首先用于判定二次非剩数模m，这基本上是说，找到任意x，其中有一个等价于某个给定数。

这篇文章是由芝加哥大学匈牙利计算机科学和数学教授LászlóBabai和以色列计算机科学家Shlomo Moran撰写的，Bernard Elkin教授是在以色列海法理工学院技术学院担任计算机科学教授— 。 这篇具有里程碑意义的论文发明了交互式证明系统，所有这五位作者都在1993年获得了诺贝尔奖。

为什么这五名计算机科学家发明的交互式证明系统如此重要？一个交互式的验证系统是一个抽象的机器，它将计算模型作为两方交换信息。一方是prover，而prover拥有所有的权力和计算资源，但他们不能被信任。然后是验证者，检查验证器的真实性的人，但是有有限的计算能力。然后，消息会在这两者之间发送，直到验证者能够说服自己，来自prover的答案是正确的。因此，如果没有这些系统，你将无法在不保持匿名的情况下正确地证明你的身份。

零知识证明的时间比大多数人想象的要长得多，而且用例对于密码来说是巨大的。这些证明对Zerocoin协议甚至是至关重要的，因为你需要证明你有这些代币，但除了你有它们，如果没有这个证明，你不可能通过Odin网络用Zerocoin协议发送你的代币。