三、零常识证明为何与区块链如此契合
这样一来，假如验证者看到输出是对的，同时证明昭示输出是用输入计较而来的，那么验证者就可以在不知道输入的环境下相信输入。
撰文：李画，安比尝试室特约研究员五、模块化和年青学科
形象化而言就是：在非区块链的系统中，零常识证明淘汰一份验证者的事情，同时大概增加一份证明者的事情（不必然是1：1的干系），这或者就算不上长处；可在区块链系统中，零常识证明每淘汰一份验证者的事情，假如有100个节点，就能淘汰100份的总事情量，而此时增加的仍然只是一份证明者的事情，那么这种长处就很明明晰。
叩谢：郭宇
随之而来的问题就是：如何证明输出是由输入通过某个确定的算法计较出来的？而不是其他的输入、其他的输出、可能其他的算法？这即是零常识证明协议要办理的问题。
在这篇文章中，我将试着更正这些错误认识，假如你正在进修零常识证明并以为一头雾水，但愿我犯过的错误能对你有所开导；假如你才刚开始去相识零常识证明，但愿本文有助你搭建一个基本的框架。在我眼中，文中接头的这些点恰是零常识证明这件事的玄妙地址，它们展现了为何零常识证明是行得通的。
同时，zk-SNARK不是指某个详细的协议，它是一类要领的统称，构成它的那些模块概略不会变，但这些模块选择的详细要领是可变的。所以当你看到差异的zk-SNARK时，不消疑惑，跳出来站在模块的高度去看它，而不是陷入详细的要领。
但愿上述四点能对你
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
