图片来源：由MazeAI生成
2022年，由于ZK-Rollups在以太坊领域取得进展，零知识证明成为Web3年度关热词。甚至有人预测下一轮牛市的发动机就将会是零知识证明，并宣称零知识证明之于Web3的重要性，能和Bitcoin引入了区块链概念、以太坊引入了智能合约相媲美。
零知识证明何以拥有如此强大发展潜力？这或许要从Web3的发展谈起。Web3旨在通过去中心化网络将网络所有权移交给其用户，然而当下Web3似乎只是带来了以用户为中心的价值观，距离其愿景落地还有很多问题需要解决，隐私安全即是其面临的关键问题。
Web3网络在设计中宣称用户与去中心化的网络进行交互，以避免如Web2中心化网络数据泄露、私有数据化、集权等弊端。即如果您正在运行一个完整的节点，您将获得完整的、数学上保证的加密安全性。然而，运行一个完整的节点需要昂贵的硬件以及保持连接到100GB的大型区块链。
V神：Eth 2.0将在2022年末拥有企业级应用程序所期望的可扩展性:以太坊创始人V神表示，我们原本认为进行PoS需要一年时间，但实际上需要六年时间。如果你正在做一件你认为需要一段时间的复杂事情，实际上很可能需要更多的时间。以太坊走到今天的过程中中，发生了许多内部团队冲突。在项目中发现的最大问题之一不是技术问题，而是与人有关的问题。Eth 2.0或许将在2022年末才能够拥有大型企业应用程序所期望的那种可扩展性。（Cointelegraph）[2021/6/2 23:04:23]
显然目前的加密客户端无法处理这类需求。因此，当下Web3仍在很大程度上依赖于受信任的中心化中介，由这些中介连接起Web3去中心化网络，这似乎与Web3愿景背道而驰。如何在去中心化网络环境中，以去中心化的方式保障隐私安全呢？零知识证明技术巧妙地解决了这个问题。而网络安全之外，零知识证明的用例还有很多，下文将为大家介绍该技术在加密领域中的用例。
什么是零知识证明
在介绍零知识证明在Web3的用例之前，让我们快速了解零知识证明的原理。零知识证明是一种密码学，允许一个人向另一方证明某些细节是真实的，而无需提供任何额外信息。
1inch首席执行官：以太坊2.0可能仍不具有足够的可扩展性和安全性:9月7日消息，去中心化交易聚合平台1inch首席执行官Sergej Kunz近日表示，以太坊2.0可能仍然不具有足够的可扩展性和安全性以方便用户进行交易。Kunz表示，以太坊2.0是对当前以太坊公共网络的一次重大升级。虽然它旨在通过提高性能来加速以太坊的使用和采用，但在目前的高Gas费用下，它会阻碍很多新用户进入DeFi领域。并且，这次升级并没有真正预料到DeFi的大肆炒作。因此，为了确保每个人都能参与其中，以太坊需要重新考虑基础架构。此外，ParaSwap创始人兼首席执行官Mounir Benchemled也表示，尽管以太坊2.0可以进行扩展，但它可能无法保证提供足够的安全性来容纳更多的用户，潜在的攻击已引发了人们对以太坊升级版安全性的担忧。（Cointelegraph）[2020/9/7]
零知识证明需要以下三个关键要求：
完整性：如果陈述真的是真的，并且两个用户都正确地遵守规则，那么验证者将不需要任何其他条件，就可以完成验证。
可靠性：如果陈述为假，验证者在任何情况下都不会被说服。该方法利用概率检查理论，以确保不会发生错误。
声音 | 李启威：莱特币MimbleWimble协议的扩展性优于比特币:据ambcrypto 1月29日消息，莱特币创始人李启威（Charlie Lee）已聘请Grin开发人员David Burkett来实现MimbleWimble协议，并使用扩展模块来实现网络的可扩展性和隐私性。李启威还表示，莱特币MimbleWimble协议的扩展性优于比特币。[2020/1/29]
零知识：意味着验证信息的人无法知道除断言是否正确之外的任何信息。
零知识证明有两种主要类型：
交互式零知识证明要求证明者执行一组任务或操作，以向验证者证明他们拥有特定信息。为了通过交互式零知识证明而必须完成的大部分任务通常涉及数学概率之类内容。
证明者和验证者无需相互通信即可使非交互式零知识证明有效，而验证将在之后进行。这类特殊、的零知识证明需要使用额外的计算或程序。
零知识证明的Web3用例
尽管零知识证明技术早在1980年已经产生，但受困于技术难度，其并未得以广泛应用。零知识证明到底能够为Web3的发展带来哪些帮助？让我们从技术用例中窥探一二。
声音 | BM：可扩展性对于去中心化区块链是至关重要的:据meet.one报道，BM 今日连续发推谈论他对于区块链的可扩展性、去中心化及 KYC 的看法： 1.区块链的目标是给每个人一个不能被指责或伪造的发声机会，并客观对其排序。但不幸的是，由于规模有限，我们必须限制发言的人数。如果我们都有无限的处理速度和带宽，我们就可以自由地发声； 2.任何没有近乎无限带宽的区块链都是中心化的，以至于有些人因经济原因而被排除在外。可扩展性越差，它就变得越中心化； 3.一个只能由 2 人使用的区块链和一个可以由 100 人使用的区块链相比更中心化。可扩展性对于去中心化来说是至关重要的； 4.不管你喜不喜欢，几乎所有想要实现他们的收益的加密用户都必须经历一次或者多次的 KYC。在加密世界中避免 KYC 的唯一简单方法就是坚定持有（hodl）。[2019/6/6]
链下计算
随着越来越多应用在以太坊上部署，在以太坊上的交易处理速度较慢，网络扩展性不足成为阻碍其发展的重要难题。而构建一个Layer2网络，将计算处理转移至链下成为解决当下问题的重要方案。ZK-Rollups即是颇受以太坊社区认可的解决方案之一。ZK-Rollups系Starkware，Zk-sync是扩容类项目。
动态 | CBC Casper白皮书公布旨在解决以太坊可扩展性问题:据newsbt消息，一个由四名加密研究人员组成的财团公布了一份关于CBC（Correct-By-Construction）Casper的白皮书，旨在通过股权证明（PoS）解决以太坊的可扩展性问题。虽然技术文档还处于起步阶段，但许多人认为这一发展是迈向上述项目精神的一个有希望的步骤，即创建一个可扩展、分散、高效的“世界计算机”。[2018/11/6]
扩展性是零知识证明在Web3中最普遍的用例。目前也有将扩展和隐私两种性能结合的方案，如Aztec、StarkNet之类的隐私Layer2公链的发展，感兴趣的开发者可在《浅谈隐私在Layer2现状和未来》一文中了解更多。
跨链桥联
随着公链生态的扩张，以太坊一统天下的局面很难达成，跨链互操的需求越来越大，而利用桥来跨链的安全性难以得到保障，因此很多项目将开始使用零知识证明以实现互操作，其中包括Wormhole，Polymer和ZKBridge正在布局基于零知识证明技术构建无信任假设的跨链协议，将一改因IBC轻客户端不能在ETH运行所导致的无法互通的现象。零知识证明也将大大提高加密桥的安全性，以提高跨链互操的安全性。?
链上游戏
以「黑暗森林」为例，这是一款灵感来自于刘慈欣的《三体》的基于零知识证明的游戏。作为策略游戏，游戏中的许多阴谋都来自于隐藏信息或信息不对称的概念，整个黑暗森林宇宙是无限的，它充满了成千上万的对抗玩家、机器人、脚本、智能合约玩家等等。然而，单个玩家在加入宇宙后只能访问整个宇宙地图的一小部分，这正是赋予《黑暗森林》灵魂的地方。如何在信息都是公开透明的区块链上实现「隐藏」部分信息，这正是基于零知识证明所实现的「隐藏」部分不想透露或需要触发条件的信息。
资产安全
区块链技术不仅保证了我们的资产只由我们自己处理，而且分布存储在多个节点中，降低了资产风险。而零知识还有助于进一步提高Web3安全级别。在安全设计中使用数学验证而不是概率论，零知识通过采用有效性证明来降低潜在风险，有效性证明保证信息的准确性，具体而言：
唯一能够破译加密信息的人是用户；如果证明者是伪造的，得到的最终根将不同，验证者将拒绝接受；
即使所有验证者与证明者串通，由于区块链数据的可用性，账户状态也可以回滚和更正；
使用零知识证明时，通常会采用额外的检查和强化机制。
用户验证
可以通过零知识证明来确认个人的加密身份。零知识证明允许用户向系统验证他们的身份，而无需透露他们完整的个人信息。例如，当您登录一个帐户时，需要输入用户名和密码，但如果使用零知识证明技术，你只需要出一个ZKProof，平台就永远无法算出你的真实密码，在无需泄露个人敏感数据的前提下完成个人身份验证。
文档共享
我们在网络上常会面临某些数据共享需求，而共享过程中会面临信息丢失、拦截等问题。当零知识证明与区块链技术相结合，可以分片加密数据，不仅保障传输安全性，还能使用户拥有管理某些块以及其中包含的信息的权利，从而授予某些用户访问权限，而未经授权的用户则无法访问您的共享文档。
存储保护
去中心化存储作为Web3三大支柱之一，对于行业发展十分重要。而零知识证明能够为存储安全提供更好的保护，其能够利用算法设置相应的协议，使存储单元和其中的协议被加密，甚至在访问通道也会设置加密保护，让Web3云存储的安全性更上一层楼。
*免责声明：本文不应被视为，也不旨在提供任何投资建议。
零知识证明技术还有很长路要走
在可扩展性和隐私用例之外，零知识证明的用例十分广泛，其在Web3中发挥的作用也更加清晰。目前已有不少项开始将该技术用于项目实践，据Messari统计显示，零知识证明最广泛应用的扩展领域的一众项目将在2023年迎来发展的关键期，如Scroll、PolygonzkEVM等项目主网将陆续上线。在《扩容赛道开年即冲刺，盘点近期上线测试网的L2项目》一文中，也介绍了近期上线测试网的零知识证明项目。
但是我们还需要认识到，尽管零知识证明在Web3中的应用前景广阔、领域众多，但其证明的性能问题还未得到妥善解决。目前有不少团队都在搞硬件加速，但这种硬件加速仅部分负责有效证明。而在算法级别、软件级别和其他方面仍需要进行优化。
鉴于此，今年零知识证明的有效的利用将出现在小规模应用之中，很难得到大规模广泛应用。而DeFi之后，零知识证明要想成为下一轮牛市的发动机还有很长的路要走，希望能够有更多Web3开发者在前瞻零知识证明的前景基础上，敢于挑战、攻克其技术难题，以技术进展推动应用实践。
参考文献：
2023CryptoThesis
https://thesis.neworder.network/#in-the-belly-of-the-bear
撰文：TinTinLand
来源：DeFi之道
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。