零常识证明可以快速验证，凡是比尺度 比特币 生意业务占用的数据少得多。这为 zk-SNARK 技能开发了一条新阶梯，使其可用作匿名性和可扩展性办理方案。

匿名性一直被视为 加密钱币 社区的很是有代价的特征之一。它是可替代性的前身，该特性对付遍及利用的钱币形式来说也是须要的。同样，大大都加密资产持有者不但愿他们的资产和生意业务记录被完全果真。在所有在为区块链提供隐私性的各类加密技能中，zk-SNARK 和 zk-STARK 是两个值得留意的例子。

在 SNARK 首字母缩略词中，首字母「succinct」意味着这些该证明较简朴，可以快速验证。 「非交互式」意味着证明者和验证者之间险些没有交互。较早版本的零常识证明协议凡是要求证明者和验证者举办通信，因此被认为是「交互式」零常识证明。但在「非交互式」布局中，证明者和验证者只需互换相关证明。

过了一会儿，鲍勃走到进口处，喊出他但愿爱丽丝从哪一边呈现（在该案例中应该是路径 2）。

让我们想象有一个环形窟窿，它有一个进口和一个将两条路分隔的魔秘诀。为了打开魔秘诀，人们需要低声说出正确的奥秘。因此，思量到 Alice （黄色）想要向 Bob （蓝色）证明她知道暗码是什么 , 但同时也要对暗码保密。为此，Bob 同意在外面期待，同时 Alice 进入窟窿并从两条路径中选择一条走到止境。在该案例中，她抉择通过路径 1。

阿里巴巴的窟窿寓言

最后一个首字母是「Knowledge」，这意味着证明者无法在没有实际常识（或证人）支持其告诉的环境下构建证据。

zk-SNARKs

zk-STARKs

这个进程可以反复多次，以确认 Alice 不是通过命运才选择正确的路径。

zk-SNARK 代表了简捷化的非交互式

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。