简单了解一下什么是零知识证明，它有什么作用？

零知识证明的想法最早由一群研究人员于 1985 年提出，其中包括未来的 Algorand 区块链创建者 Silvio Micali。

零知识证明一般分为两个系统，一个是交互式零知识证明系统和非交互式零知识证明系统。

交互式零知识证明需要证明者和验证者验证多次信息交互，这会导致时间和成本的消耗。 如果是交易系统中的验证模块，如此频繁的交互必然会给整个系统带来时间和成本上的损失。

非交互式零知识证明系统解决了频繁验证的问题。 它被称为 zkSNARKs，即简洁的非交互式零知识证明。 验证者只需要验证证明零知识证明 比特币，验证者和证明者之间不需要交互。

零知识证明是一种人们可以在不直接透露信息的情况下证明自己知道某事的方法。 这听起来可能很复杂，因为很多人以前从未接触过这个想法。 这就像能够证明你知道某事而不告诉任何人你知道什么，一个如此抽象和违反直觉的概念，似乎是不可能的。

零知识证明有两个主要角色：证明者和验证者。

证明者的作用是证明他们知道秘密信息。 验证者的作用是确定证明者是否诚实。 验证者通过多次测试证明者来做到这一点，向他们提出只有知道信息的人才能完成的问题或任务。

用于帮助理解零知识证明的一个常见示例称为色盲测试。 假设有两个人，一个证明者和一个验证者。 证明者有两个球，需要向验证者证明它们是不同的颜色，但是验证者是色盲。 为了证明这一点，证明者将球交给验证者，让验证者偷偷地交换每个球的手，让证明者判断是否交换了球。 如果证明者做对了一次，他有 50% 的机会是真的，有 50% 的机会他猜对了，所以重复实验几次，直到他说谎的概率显着降低。 证明者可以毫不费力地告诉验证者这些球是不同颜色的，而无需验证者见过这些球。

又如阿里巴巴的故事：很久以前，有一个藏有宝藏的山洞。 阿里巴巴被强盗抓住，因为他知道打开洞穴石门的咒语。 说出咒语，失去使用价值就会死； 执意不言，强盗必杀之，亦是死。

左右为难的阿里巴巴想到了一个好办法。 他让强盗们胡乱吩咐：“你们只需要离我一箭，把弓箭对准我，举起右手，我就会打开石门。说一个咒语，石门就会关上。” ，如果我做不到或者伺机逃跑，你就用弓箭射死我。”

多次重复之后，阿里巴巴能够通过念咒语打开石门，但是强盗们不知道，他们仍然学不会咒语，但他们可以相信阿里巴巴有咒语零知识证明 比特币，并且阿里巴巴救了他的命。

如第一个示例所示，无法 100% 保证所说的是真的，因此证明者有一定的可能性在说谎。 然而，通过适当的测试和预防措施，这种情况发生的几率可以降低到几乎不可能的程度。

在第二个例子中，盗贼不需要验证咒语本身是否正确，只需要验证阿里巴巴读取的咒语是否可以打开洞门。

这是零知识证明。 证明拥有某些东西而不必透露具体的东西是什么。

零知识证明有多种用途，并将彻底改变我们共享数据的方式以及区块链的工作方式。 借助数字身份和零知识证明，人们可以证明自己的年龄或公民身份，而无需放弃身份证明文件中的敏感和有价值的数据。

它还可以用于数字投票，并确保匿名投票有效且可计算。

应用在区块链上，可以轻松实现验证者可以在不泄露双方隐私信息的情况下，证明对方拥有链上的某些信息或资产，最终让双方建立互信和互信。公开透明的区块链网络。 完成已建立的交易。 事实上，这种技术已经在 ZCash 和 Monero 等面向隐私的加密货币中实现。

Aleo公链项目还加入了零知识证明技术。 昨天，11 月 16 日，Aleo 的官方 Twitter 帖子表示，Aleo 正在使用 zkSNARKs（非交互式零知识证明简介）和一个名为 ZEXE（零知识执行）的新系统来创建第一个完全去中心化的私有开源应用程序平台. 事实上，简洁的非交互式零知识证明是区块链中使用最广泛的零知识证明。

具体来说，零知识证明体现在Aleo公链上，即只需要验证计算机程序是否已经正确运行，而不是像比特币或以太坊那样通过重新运行程序来检查输出是否相同。 后者导致不必要的计算并且非常浪费。 另一方面，Aleo 可以生成证明来验证计算是否正确运行，而无需重新运行整个计算，在实现隐私和安全的同时也实现了高效运行的优势。

这种优势是零知识证明所发挥的明显作用。

零知识技术仍然是一个令人难以置信的新事物，在它成为密码学的主要部分之前还有很长的路要走。 这也是一个非常新的概念。 然而，它的研究正在取得巨大进步，有朝一日可能会为各种事物创建零知识证明，包括以太坊智能合约和金融应用程序。 这将彻底改变我们与数据交互的方式，并导致个人隐私的复兴。

作者：Lincoln Murr, Amy Liu *如果您对Aleo项目感兴趣，可以在下方添加微信好友加入群讨论

阿里奥世界

Aleo官方频道：

官方网站：

推特@AleoHQ：

社区 Twitter @aleocommunity：

GitHub:

不和谐：