作者｜Raghav Agarwal
来源｜Twitter@0xRaghav
编译｜MarsBit，MK
封面设计｜LDNews DAO
ZK正日益在web3中得到采用。目前，扩展性和隐私是ZK的两个最常见的用例，然而，ZK具有更大的潜力，可以实现更多的创新性用例。那些新的ZK用例正在出现呢？
随机性: ZK可以与VDFs (Verifiable Delay Functions) 结合，以在区块链上实现完全安全的随机性。尽管在以太坊上有许多随机性原语，但它们存在微妙的缺陷，如可偏性，活性，昂贵性，额外的信任假设。
通过结合SNARKs和VDFs，Paradigm已经开发了一种由RANDAO和可插拔的区块哈希预言机驱动的，适用于以太坊的VDF兼容随机信标。
链下数据的验证: SpaceandTimeDB正在使用Proof of SQL，允许数据仓库生成SQL查询执行的SNARK证明，证明查询计算是准确的，且查询和数据都是可以证明的防篡改。
在数据库(DB)的情况下，让网络中的每一个DB节点运行相同的查询数千次并达成共识是不可行的。Proof of SQL允许开发者将事务性查询和可扩展分析的结果直接连接到他们的智能合约。
DeFi安全: zkPoEX (Zero-Knowledge Proof of Exploit) 由zkoranges和zkLumi提供，该服务在ETHDenver中获得了第一名，允许白帽黑客在保护利用的机密性的同时，报告智能合约中的实时漏洞。
这可能允许审计员安全地生成一个利用的ZK证明，而不必揭示实际的利用方法。审计员可以证明他们知道一个交易可以在某些合约中产生不希望的状态变化，而无需揭示利用的具体细节。
ZK-email验证：由yush_g和sampriti0在0xPARC中创建的ZK Email允许用户匿名验证电子邮件签名，但可以屏蔽任何他们想要屏蔽的数据。它可以允许用户使用他们的电子邮件证明他们有某个特定的twitter处理程序。
Github贡献证明: zkRepo允许用户创建一个证明，证明他们对某个github仓库做出了贡献，但不会透露他们是谁。一个DAO可以使用它来奖励他们的github贡献者
存储证明：@HerodotusDev正在使用ZK构建存储证明技术，以在@ethereum区块链之间启用同步跨层数据访问。使用它，开发者可以在主网和分层网络之间无缝地同步和验证数据。
ZK-Rollups：ZK-Rollups是一种可扩展性解决方案，允许在主链外部计算和验证事务，然后将其作为单个“滚动”事务提交到主链。@zksync, @StarkWareLtd和@loopringorg是在这个领域内最早采用ZK-Rollups的项目。
二次支付网络：@zkChannels是一个采用零知识证明的二次支付网络，类似于闪电网络，但它允许双方在交易时保持隐私。
ZK身份验证：在以太坊主网上验证实体身份可能需要揭示大量个人信息，而ZK证明可以使个人在无需揭示任何个人信息的情况下证明自己的身份。@AztecNetwork正在开发此类解决方案。
ZK身份验证也可以用于NFTs。你可以证明你拥有某个NFT，而无需透露你是谁或你拥有什么。@niftyc正在开发此类解决方案。
数据可用性抽样（Data Availability Sampling，简称DAS）：@celeste和@zkvalidator正在开发一种利用零知识证明技术来实现数据可用性抽样的方法。
在一个分布式系统中，DAS是一种检测是否所有的数据都可用的方法。如果一个块的数据被证明不可用，那么该块可以被标记为无效，从而避免无效的区块被添加到链上。
可验证的计算（Verifiable Computation）：可以使用零知识证明来证明一个复杂计算的正确性，而无需执行整个计算。@O(1)Labs正在开发这种技术，它可以在无需知道所有输入和输出的情况下验证计算的结果。
投票：@vocdoni正在使用ZK-SNARKs开发一个完全匿名的投票系统。通过这种方式，投票者可以在不揭示自己身份的情况下证明他们有投票权。
跨链互操作性：使用零知识证明，我们可以在不需要任何中介的情况下实现两个区块链之间的交互。例如，@interlay正在使用这种技术在比特币和波卡网络之间实现无信任桥接。
跨链互操作性的另一个例子是@HopProtocol，它正在使用ZK-Rollups实现以太坊和多链网络之间的快速和便宜的交互。
匿名资金：零知识证明可以用于实现完全匿名的资金转账。例如，@TornadoCash是一种基于以太坊的、非托管的、完全匿名的资金转账服务。
证明性能：虽然ZK证明在理论上很有前景，但其计算成本高昂，对于许多应用来说可能是不切实际的。然而，@EYnews的Nightfall项目和@matterlabs正在改善这种情况。
零知识证明的未来：虽然目前零知识证明的应用还处在早期阶段，但未来的发展空间巨大。一些公司，如@Filecoin，正在寻找将零知识证明应用于更大范围的方法。
许多公司正在努力提高零知识证明的性能和便捷性，以使其适用于各种各样的应用。在这些公司中，@hermez_network和@iden3io正在使用ZK-Rollups技术改善以太坊的可扩展性。
尽管零知识证明的计算成本高昂，但许多人仍对其潜力保持乐观。因此，@zkMesh和@ZKProofStandards正在开发一种旨在提高ZK证明技术性能的开放标准。
综上所述，零知识证明是一种强大的工具，可以在保证隐私和安全的同时实现可扩展性和互操作性。目前，许多项目正在利用这种技术，包括@Ethereum，@Zcash，@Filecoin，@Cosmos，和@Polkadot等。零知识证明的未来看起来十分光明。
