Aleo: 你能保守秘密吗？—零知识证明、Aleo 与互联网未来
本篇文章是 Aleo：你能保守秘密 的最后一篇，主要介绍当前互联网、Web3世界有什么不足之处，尤其是在隐私方面；然后通过零知识证明这一“月亮数学”，能如何解决隐私问题，有什么具体的用例？Aleo又扮演什么角色？
本文主要有三部分，Bizarro互联网、零知识证明回顾、零知识应用。
有空的朋友们，还可以回顾一下本系列已经发布的文章哦
Aleo：你能保守秘密吗？—创始人Howard和Alex为什么构建Aleo的背后故事及使命感
Aleo：你能保守秘密吗？—Aleo 的工作原理及背后经济学含义
Aleo：你能保守秘密吗？—Aleonomics Aleo代币经济学
AleoAsia团队会继续给大家带来Aleo项目的介绍。如果想进群交流，可以文末扫码加AleoAsia小助手。
以下为正文，Enjoy!
原文标题：Aleo: Can You Keep a Secret?
https://www.notboring.co/p/aleo-can-you-keep-a-secret
撰文：Packy McCormick
编译：AleoAsia
Bizarro互联网
想象一个 Bizarro互联网，它与您今天使用的互联网完全一样，除了一个细节：您在这个 Bizarro 互联网上所做、发送或存储的一切都是完全公开的。
当在亚马逊上购买一条新内衣时，您购买的商品会发布到一个网站上，任何有兴趣并具备一些基本技能的人都可以搜索该网站。
您在美国银行的余额也在那里，任何人都可以看到。
您坐上在线扑克牌桌，却发现您可以看到每个人的牌……他们也可以看到您的牌。这游戏糟透了。
你给你的妻子发消息，告诉她你很快就会起来吃晚饭，当然，任何想看到你给你妻子发消息的人都可以。
在你忘记之前，你安排了医生的预约来检查那个东西，并在线填写了一份摄入表，你猜对了，现在任何人都可以窥视该表的所有血淋淋的细节。
除了公共论坛和炫耀你不介意其他人看到的东西之外，这个 Bizarro Internet 几乎无法用于任何其他用途。
这个 Bizarro 互联网就是今天的 web3世界。
对于迄今为止构建在web3 上的大多数应用程序，这种透明度水平是可接受的，甚至是新颖和好的。如果您拥有一个CryptoPunk，您希望人们知道您拥有一个 CryptoPunk。如果您在 DEX 上进行交易，那么您通常对知道您购买了什么以及何时购买的人感到满意。如果你在Farcaster 上投射，无论如何你都希望它是公开的。
迄今为止构建的 web3产品几乎在定义上是隐私不是什么大问题的产品。缩小到更广泛的互联网，你会发现隐私是每一个涉及金钱或个人信息的产品的核心。
如果 web3 的发展要超越这些早期的实验，如果去中心化网络要取代更中心化的服务，那么增加一点隐私会很有帮助。
这就是零知识证明(ZKP) 的用武之地。
零知识证明是一种密码协议，它允许一方（证明者）向另一方（验证者）证明他们知道某条信息，而无需透露有关该信息实际内容的任何信息。
ZKP 是一种证明你知道某事、拥有某事或做过某事的方法，而无需透露有关该事物的任何信息。它们是一种有价值的首要原语，直到最近才在实际使用中过于理论化和昂贵。
当人们调查加密残骸时，零知识证明是一个亮点。好的泡沫会留下基础设施，让下一波浪潮得以建立，而 ZKP 似乎是泡沫废墟中的宝藏。
零知识证明既是一种普遍有用的工具，也是一种为帮助避免FTX所犯下的欺诈行为而量身定制的工具。
在拥有一个安全的CEX(中心化交易所)这个迷人而尴尬的标题下，Vitalik 勾勒出了斯坦福大学 Dan Boneh 团队 2015 年概念的一些想法，称为偿付能力证明，这是一种让中心化交易所证明他们有资金偿还存款人的方式，而无需透露任何信息 敏感或专有信息。
所提议架构的核心是zkSNARKs（零知识简洁非交互式知识论证的缩写），一种特定类型的 ZKP。这就是 Vitalik 引入 ZK-SNARKs 的方式：
ZK-SNARKs是一项强大的技术。ZK-SNARKs之于密码学可能就像transformers之于AI：一种非常强大的通用技术，它将完全推动一大堆特定于应用程序的技术来解决几十年前开发的一大堆问题。
对后面的人再来一次：“ZK-SNARKs之于密码学可能就像transformers之于 AI。”
这是一个重要的声明。如果你一直生活在岩石下，那么 AI 复兴就在脚下。正在取得的所有疯狂进步的核心是一个新的架构：transformers. (Anton在https://www.youtube.com/watch?v=73Dx3Ts1ze4&feature=youtu.be解释了)
特别是对于区块链，ZKP有两个有用的应用：可扩展性和隐私性。
总之，这些特性意味着 ZKP 让区块链接近中心化服务的性能，并超越其安全性和隐私性，同时保持去中心化的好处。
当然，天下没有免费的午餐，这是有代价的。在这里，最大的权衡是隐私成本。从历史上看，生成 ZKP 比仅在本地运行计算更昂贵，因为 ZKP 需要更复杂且计算成本更高的数学运算，并且因为它们依赖于更专业的硬件。
通过构建默认私有的 L1，Aleo 打赌开发人员有足够的需求，他们愿意支付更高的成本来将隐私构建到他们的应用程序中，直到他们能够缩减成本。该团队正致力于通过“商品化其补充”来增加需求，特别是针对硬件进行优化以快速且廉价地解决零知识证明。
ZKP 在技术层面上理解起来非常复杂（比如，远远超出我的能力），而在实用性层面上理解起来却很简单。它们意味着更快的区块链和开放和私有的应用程序。作为其灵活性的证明，零知识证明被称为透明度太低（即 FTX → 偿付能力证明）和透明度太高（即没有它们，每个人都知道你的链上余额的事实）的解决方案 和交易历史）。
零知识证明将在加密货币的未来以及可能在互联网的未来发挥重要作用。他们真的很难搞清楚，但现在他们已经搞清楚了，他们提供的解决方案绝对优于其他选择。具体如何实施仍有待商榷。
一种方法是在现有的 L1区块链（如以太坊）之上构建 zkRollups。 Matter Labs (zkSync)、Starkware 和 Aztec等领先企业正在采用这种方法。
另一种方法是从头开始，构建新的 L1，并在基础层嵌入扩展和隐私。这就是 Aleo 正在做的事情。
Aleo 最初被设想为以太坊上的 L2，但以太坊上的 ZKP 更大——它们必须消耗应用程序的完整状态——而且以太坊不支持 SNARK 友好的原语——哈希函数和椭圆曲线——所以团队重写了计划并决定建立自己的 L1 以提供更便宜的 ZKP。
Aleo 正在采取最激进的方法从头开始构建基于零知识的区块链。它没有构建 EVM 兼容链，开发人员可以在其上使用熟悉的 Solidity 编程语言构建应用程序，而是创建了自己的虚拟机snarkVM 和编程语言 Leo。它不依赖现有的共识机制，如工作量证明 (PoW) 或权益证明 (PoS)，而是结合使用两者，并对 PoW 进行了有用的调整，称为简洁工作量证明。结果应该是 ZKP 在 Aleo 上比在以太坊上便宜得多。
Aleo打赌开发人员将愿意学习新技巧以获得扩展和隐私超级大国。
这是一个赌注，需要你相信ZKP 不仅是一个不错的功能，而且它们是构建区块链的第三种方式的基础：
·浪潮1：比特币
·浪潮2：以太坊
·浪潮3：Aleo
了解 Aleo下注的原因是探索零知识证明技术的细节和影响的好方法。所以今天，我们将深入探讨零知识、Aleo 和互联网的未来。
零知识证明回顾
零知识证明是一种精美的密码学,它允许一方(证明者)向另一方(验证者)证明它知道某些东西, 没有透露有关该东西的任何信息。他们让某人证明自己知道一个秘密,而不会放弃有关该秘密的任何信息。
这些秘密可以采取多种形式,从密码到战舰板上的职位再到银行帐户中的美元。在 零知识(文章：https://www.notboring.co/p/zero-knowledge), 吉尔和我举了一个玩具例子：我证明我有足够的钱来租公寓,而没有给房地产经纪人我的银行记录和财务记录。
图中的 ZKP 盒子做了很多工作。 里面发生了什么？
有很多不同的方法可以解释 ZKP 的工作原理，而无需进入“月球数学”。 在零知识中，我们使用了“色盲朋友”的例子。
我和我的色盲朋友正在看一张桌子上相同的球,除了一个是红色,另一个是绿色。当我告诉他它们是两种不同的颜色时,他不确定他是否相信我。我们决定通过玩游戏来确定它们实际上是不同的颜色:
我给他两个球藏在他的背后。
他拿出一个球给我看。
然后,他将球放回背后,再次伸出手,向我展示一个球,问:“我切换了球吗?”
如果我们重复此游戏足够多次,并且每次都正确回答,那么我将向他证明这些球几乎可以肯定是两种不同的颜色。重要的是,在这里,我已经向他证明了这一点,而没有透露任何其他信息。也许对他来说令人沮丧,他仍然不知道哪个球是红色的,哪个球是绿色的。
更深入的一个层次,我喜欢ZK区块链Mina在2019年博客文章中提供的示例, Zero-Knowledge Proofs: An Intuitive Explanation零知识证明:直观解释 (https://minaprotocol.com/blog/zero-knowledge-proofs-an-intuitive-explanation)
我们可以使用“三色拼图”代替我们的色盲朋友和两个球。 目标是用三种不同的颜色为该图上的节点着色，以使相邻节点的颜色不相同。
像这样：
现在是 ZKP。 进行 3 色着色的证明者将碗放在每个节点的顶部，而验证者不在房间内。
验证者回到房间并选择一条边，任何边。 证明者需要拿起该边缘节点顶部的两个碗。
到目前为止，一切都很好。 相邻的两个球颜色不同。 现在，我们一遍又一遍地重复这个过程，每次验证者走出去，证明者重新排列球。 想象一下这样做了数百万次（证明者和验证者移动得非常快。）每次，验证者都会选择一个边缘并举起碗，瞧：两种不同的颜色。
这个游戏揭示了零知识证明的两个关键属性：
· 可靠性：如果证明者作弊，验证者应该能够抓住他们。 如果证明者真的不知道三色解决方案，那么在至少一轮中，验证者将选择一条边并找到两个相同颜色的球。
· 零知识：验证者不应该学习任何关于 3 色、完整拼图的知识，这是我们通过运行游戏数百万次获得的。 从 Mina 那里，“验证者在一轮中可能学到的任何东西都与随后的几轮无关，因为无论验证者看到什么，都可以通过在每一轮中随机挑选两个不同颜色的球来模拟。”
当你实际运行 ZKP时，并没有小人四处跑来跑去把球放在背后或把碗放在球上，这一切都发生在我无法理解的复杂数学、椭圆曲线、电路和专用硬件上。 对于像我这样的文字工作者，这些小游戏有助于充分理解 ZKP 以获得概念，尽管需要多年的学习才能很好地理解它们以创造我自己。
无论如何，ZKP 可以让你在区块链上或日常生活中做很多真正有用的事情。 它们是一种可以超越加密应用的加密技术。
在公寓租赁示例中，我基本上将我的银行账户连接到 ZKP 系统，它会根据其中的数字创建一个证明，让代理知道我在正确的财务范围内，而无需了解我实际有多少钱。
或者，我可以通过在我的本地设备上创建我知道密码的证明，并将该证明代替密码发送到我尝试登录的网站来登录网站。 无需区块链，增强安全性。 正如投资 Aleo 的 a16z 加密货币 GP Ali Yahya 所说，“在安全方面，攻击通常比防御更容易。 ZKP 具有相反的动力：它们使防御比攻击更容易。”
真正理解ZKPs 需要大量的人才和多年的研究。目前，我们在这篇文章中有很多内容要介绍，所以如果您想更深入但仍易于访问，请阅读零知识。 如果你真的想深入了解 ZKP，a16z crypto 已经为你介绍了零知识标准。 如果您对 ZKP 阅读本文感到非常兴奋，您可以通过收听零知识播客来了解最新进展。为了我们的目的，你们都准备好了。
现在我们可以转向每个人都在想的问题：应用。
零知识，许多应用
你的脑袋疼吗？ 我的脑袋有点疼。 那么为什么要这样做呢？ ZKP 允许你做哪些你不能做的事情？ 有哪些用例？
我在早期草稿的文章后面有这一部分，但 Dan 正确地建议将其放在首位，因为隐私显然不是一个有价值的价值主张。
当然，隐私是一件好事，当然，人们说他们想要更多的在线隐私，当然，GDPR 和 CCPA 等法规旨在为消费者提供更多隐私，但当真正归结为它时，人们是否愿意采取不同的措施来保护他们的隐私？ 即使只是简单地点击那些 GDPR 规定的弹出窗口也会很烦人。
要相信 ZKP是有用的，你需要相信隐私是有用的。 我认为，要相信隐私是有用的，你需要重新构建你看待隐私的方式，从“做我现在做的同样的事情，但更麻烦，所以也许扎克对我了解得更少”到“哇，实际上有 一堆我现在不能做的事情，只能使用更好的隐私原语。”
本节的目标是帮助重新构建框架。
零知识证明在广泛的应用中都很有用，从金融等显而易见的应用到机器学习、身份、人工智能、投票和游戏等不太直观的应用。 它们对 web3 的未来至关重要。 我越深入，我就越相信 web3 扩展到数十亿用户和“真实世界”应用程序的唯一方法是使用 ZKP 将 Bizarro 互联网正面翻过来。
让我们来看看一些潜在的应用程序，从 web3 开始，然后扩展到更广泛的网络。
去中心化金融( “ DeFi ” )
隐私对传统金融至关重要。
您的大通账户是私人的。 企业向供应商支付的款项是私密的。 对冲基金竭尽全力将其交易细节保密。 瑞士是世界上最富有的国家之一，很大程度上是因为它非常善于保持金融私有化。
有很多问题阻碍了去中心化金融——它可能是可怕的、有风险的、不直观的和过度抵押的——但最大的问题之一是 DeFi 不具隐私的这一简单事实。
任何知道你钱包地址的人都知道你持有多少（资产）。 从一个钱包到另一个钱包的支付——个人对个人、企业对企业以及介于两者之间的一切——都是公开的，并且永久存在于链上。 您在 DEX 上的交易很容易抢先。 DeFi 的完全透明既是一个特性，也是一个缺陷。
这是一个错误，因为完全透明会让普通人和企业感到不舒服。 很难让人们开始将他们的薪水直接存入他们的加密钱包，更不用说将他们的全部净资产保存在他们的加密钱包中了，因为任何人都可以看到他们赚了多少钱和他们的价值。
通过连接你的钱包来支付你需要的一切是很酷的，但大多数人不希望他们的交易历史存在于互联网上，让所有人都能看到。 但为了支付、投资和借钱，人们需要证明他们确实拥有、可以发送或可以借到他们需要拥有、发送或借入的金额。
通过传统金融机构是解决这个问题的一种方法，老实说，传统金融机构非常好。 但如果你相信 DeFi 可以建立一个更好的金融系统，那么你需要一种在隐私方面匹配甚至超越传统金融机构的方法。 进入ZKP（零知识证明）。
ZKPs 允许人们证明他们有足够的钱来购买特定的东西，而无需透露他们总共有多少钱，而完全私有的 ZKPs，就像在 Aleo 上一样，允许人们在不分享任何细节的情况下完成交易，包括它们是否发生过。 使用 ZKP，我可以在网上购物、给朋友汇款、在 DEX 上进行交易，或者在不向全世界公布这些事情的情况下进行贷款。
这对于广义上的个人参与 DeFi 很重要，但对企业来说更为重要。 企业需要将他们的供应商和客户关系保密，并且不能将所有交易公开。 就企业和个人看到 DeFi 的价值而言——从借贷到使用稳定币发送程序化支付——他们会更喜欢将其细节保密的解决方案。
随着加密货币企业家致力于将“真实世界的资产”带到网上并连接传统和去中心化的金融系统，对隐私的需求将变得更加迫切。 举个例子，当你可以在不暴露底层贷款的所有细节的情况下以加密方式证明有关一篮子贷款的事情时，链上证券化似乎更有意义。
当人们可以选择将他们的私人信息保密时，DeFi 的某些部分会更好地工作还有许多其他原因。 我们上面讨论的偿付能力证明是一个非常及时的应用。 Zexe 论文涵盖了私有 DEX 和私有稳定币作为另外两个例子。 但不言而喻的是，在隐私保护工具得到更广泛使用之前，Bizarro 互联网的金融角落将保持 Bizarro 和小规模，因此我们可以继续前进。
游戏
回想一下Bizarro Internet Casino 的扑克游戏。 每个人都可以看到其他人的卡片。这样玩没有意义。
ZKP 允许你在链下对每个人（包括庄家）负责，从而玩链上扑克。 在线博彩是一个价值超过 500 亿美元的市场，任何玩过博彩的人都曾在某个时候感觉到他们没有得到公平的发牌。 ZKP 可以解决这个问题。
除了赌博之外，还有像战舰这样的简单游戏，其中需要隐私，这在今天的 web3 中没有意义，但可以使用 ZKP。
更进一步，随着更丰富的游戏上链，ZKP 可以为 MMORPG 和其他需要玩家位置相互隐藏的游戏提供支持，这一功能被称为“战争迷雾”。 星际争霸和 EVE Online 等超级流行的“不完全信息”游戏属于这一类。
更有趣的是，广泛且廉价的 ZKP 可以在链上启用全新类型的游戏。 迄今为止最受欢迎的完全链上游戏 黑森林Dark Forest（受本书启发）使用 zkSNARKs 来隐藏玩家的位置。 这篇关于《黑暗森林》的优秀《麻省理工科技评论》文章深入探讨了游戏的创造者如何利用零知识证明和区块链技术来构建一款他原本无法开发的游戏。
来自麻省理工学院技术评论的 DFWiki 的黑暗森林
2020 年 8 月宣布黑暗森林的博客文章中的第一段都是关于 ZK 的：
在过去的 18 个月里，以太坊上的应用零知识 (ZK) 密码学取得了突飞猛进的进步。 iden3 的 SnarkJS 等新工具首次实现了高效的浏览器内 ZK 证明和验证。 应用 zkSNARK 技术的这些最新进展使我们能够构建黑暗森林：一个完全去中心化和持久的 RTS（实时战略）游戏。
黑暗森林建立在以太坊之上，具有老一代的 zkSNARKs 和硬件。 随着 Aleo 和其他人降低成本并增加 zkSNARKs 的可访问性，可能会有更多创造性的实验来构建只能用它们构建的游戏。
联合学习
好吧，好吧，那只是加密的东西。 如果我不关心 DeFi 或将游戏上链怎么办？
将 ZKP 应用于“现实世界有用”的东西的最有趣的想法之一来自联合学习。
联合学习是一种机器学习技术，它允许多个设备（例如智能手机或物联网传感器）训练共享模型，而无需与中央服务器共享数据。 它允许收集大型、分散的数据集，而不会损害各个数据源的隐私。
虽然联邦学习有很多潜在的方法（参见 Nicole Ruiz 的未来是联邦（学习）），ZKP 是一个很有前途的解决方案。
ZKP 在联邦学习中最令人兴奋的应用之一是在医疗保健研究中。 目前，医疗保健数据在进行试验和实验的机构中是孤立的，患者的电子医疗记录 (EHR) 与他们的提供者是孤立的。 在不违反 HIPAA 的情况下，研究人员没有简单的方法来访问所有这些丰富的数据，这意味着我们无疑会错过可以挽救生命的发现。
借助 ZKP，人们可以选择共享他们的数据以进行大规模研究，或者医疗保健组织可以选择共享患者或研究参与者的数据，所有识别信息都将被剥离并匿名化。 该模型基本上会接触到所有不同的端点并询问数据问题，在不获取信息本身的情况下获得他们所请求信息的证明，并在比其他方式更大和更丰富的数据集上进行训练。
这只是一个例子，而且还很早，但很容易想象出更多的例子，在这些例子中，您可能希望在不放弃任何实际信息的情况下贡献您的数据以换取付款或访问模型的输出。
身份证明
说到个人信息，ZKP 可用于创建更多身份产品，让人们无需人肉搜索即可验证有关自己的信息。
例如，您可以想象一个去中心化身份 (DID) 解决方案，允许人们使用 ZKP 提交他们的驾驶执照、护照、背景调查、信用评分和其他敏感信息，以确认某些事情是真实的，而无需透露任何关于他们自己的信息 .
这在web3 环境中可能很有用，比如在不透露你所有个人信息的情况下通过 KYC 检查，但也可能在 web3 之外有用，比如在不透露你自己的任何其他信息的情况下证明你是一个国家的公民。 考虑在国外注册签证或购买 SIM 卡。 每次都需要上传护照！ 必须有更安全的方法。 将所有这些信息安全地保存在一个 DID 或在线护照中，将使在线和国外交易变得更加顺畅和安全。
另外，像Worldcoin 这样的公司正在使用零知识证明让人们在不放弃任何信息的情况下证明他们是人。 当 Worldcoin 推出时，人们对它的方法有很多担忧——扫描人们的虹膜以铸造他们独特的身份——并担心它正在建立一个虹膜集合，用来……接管世界或其他什么。 在这种情况下，ZKP 确保 Worldcoin 可以验证每个人只注册过一次，而无需接触或存储他们的任何个人信息，包括虹膜扫描。
投票
说到政府发文件，选举诚信是个热点问题，让我们来吧！
零知识证明可用于通过三种方式改进投票过程：
1. 在线投票。 ZKP 可以通过允许人们投票而不用担心暴露他们的身份或他们的投票被泄露来实现安全的在线投票，同时向政府证明他们是他们所说的那个人，只投票过一次，等等。
2. 确认。 ZKP 可用于验证选票的真实性，而无需透露选票本身或选民的身份。 如果任何现任总统要毫无根据地挑战民主选举的结果，作为一个随机的例子，可能会有用。
3. 匿名。 ZKP 可以让选民在不向任何人透露身份的情况下投票。 这可能有助于防止买票和其他形式的选举腐败，还可以为选民的隐私提供更大的保证。当然，最有可能腐败的国家可能最不可能采用这种系统，但更民主的国家可以首先采用这种技术。
在这种情况下，采用的挑战将是体制上的，而不是技术上的，因为现在工具已经可用。 这些技术很可能会在政府采用这些技术之前很久就在政府之外（比如在 DAO 投票中）得到采用和实战测试。
人工智能
最后，如果我不在这里对 AI 进行一些推测，那我就是失职了。 这与联邦学习示例有些相关，但我想解决一些不同的问题。
· 深度造假检测。 在 The Dawn of Mediocre Computing 中，Venkatesh Rao 将加密和 AI 称为阴阳两面，写道：“AI 可用于生成“深度伪造”，而密码技术可用于可靠地验证事物以防止此类伪造。” 我认为他在谈论 ZKP。 随着伪造图像甚至视频变得越来越容易，对证明图像真实性的方法的需求变得越来越迫切。 一种提供帮助的方法可能是创建能够对图像进行加密签名的相机。 如果图像被更改，签名将消失。
· 数据的完整性。 类似的方法可以应用于图像以外的任何在线文档或数据集。 ZKP 可用于证明文档的某个版本没有被篡改，或者数据集包含它所说的数据，而不会泄露数据集本身的内容，这可能是专有的。
· 代码验证。 许多为人工智能提供动力的模型——比如 GPT-3——都是专有的，训练起来非常昂贵，而且非常有价值。 OpenAI 不想让任何人访问他们的模型是有道理的，但与此同时，我们非常信任 OpenAI。 ZKP 可能允许 OpenAI 和其他人在不共享完整源代码的情况下证明该模型可以做某些事情。
另外，在某种程度上，在链上运行 AI 模型是有用的——我认为模型的去中心化治理至少是有用的——ZKP 首次使其实用。 例如，鉴于 Aleo 的结构，模型可以在链下运行，无论它需要运行多长时间，然后将输出证明发送到链下。 在以太坊或其他传统的 L1 上运行大型模型是不可能的。
我们涵盖的某些应用程序可以在没有 ZKP 的情况下使用其他方法来完成。 例如，我写过 Evervault 如何帮助公司处理 PII。 Footprint 正在使用不同的密码学构建一键式 KYC。 作为第三种，联合学习有多种方法。
另一方面，这些只是我和我交谈过的人可以想出的一小部分用例。 如果开放系统的历史教会了我们任何东西，那么它们只是触及表面。 如果目标是将互联网模式转变为人们选择使用他们的数据加入的模式，那么社交媒体产品似乎是进一步探索的好目标，但还有很多其他产品。
当我询问阿里对潜在应用的看法时，他提出了一个更广泛的观点：
我们可以在区块链上构建的东西比我们想象的要有限，因为一切都必须完全公开，而且很难想象这在多大程度上是真实的，”他告诉我。我们会感到惊讶，就像我们最初对智能合约可以完成的事情感到惊讶一样。
除了我们讨论过的具体用例之外，零知识证明的最大支持者认为它们有可能重新连接互联网，为我们在网上所做的一切建立隐私并让人们控制他们的数据。 我们真正进入消费者互联网生活只有二十年左右，而且很明显，呃，还有需要改进的地方。
将隐私纳入互联网基础设施并不意味着生活在一个没有人对其他任何人一无所知的黑暗森林中。 这意味着让人们选择分享什么和保密什么，就像我们在线下所做的那样。
我发现正确思考加密的最有用方法是它赋予数字资产物理属性和数字超级能力。 比特币的行为类似于黄金，但可以更容易地存储和转移。 NFT 可以表现得像独特的商品，具有较低的存储成本、可编程性和可组合性。 我认为 ZKP 可以对信息做同样的事情，将它锁在家里的安全文件柜中，没有死树，并根据需要无缝连接到更广泛的互联网。
如果零知识证明能够变得足够便宜和普遍存在，它们就有可能将隐私融入我们在网上所做的一切，将数据共享范式从“选择退出”转变为“选择- 简而言之。 随着越来越多的信息上线，并且越来越难以判断该信任什么，ZKP 可以帮助解决我们今天无法想象的问题。
这就是吸引Howard 吴加入 ZKP的世界愿景。
前文回顾：
Aleo：你能保守秘密吗？—创始人Howard和Alex为什么构建Aleo的背后故事及使命感
Aleo：你能保守秘密吗？—Aleo 的工作原理及背后经济学含义
Aleo：你能保守秘密吗？—Aleonomics Aleo代币经济学
翻译：AleoAsia（转载请注明）
AleoAsia大中华社区是Aleo官方指定并指导创立的Aleo大中华区社群，旨在为大中华区社区的伙伴传递最权威、最快速、最全面的项目资讯；同时协助Aleo在大中华区举办各种活动，包括宣传、会议、AMA等，扩大Aleo在大中华区的知名度，获得更多人对Aleo的认同感，从而加入到Aleo，一起为Aleo生态的繁荣努力！
AleoAsia网站：https://aleoasia.notion.site/Aleo-Asia-Aleo-7138f4ed225a4f9c9c8e869d0fdc2e31
加入AleoAsia大中华社区请在后台回复AleoAsia 。