长推：零知识证明探索Web3的创新应用案例
零知识证明（ZK）正日益在web3领域中得到应用。
原文作者：Raghav Agarwal
原文来源：[email protected]
编译：MarsBit，MK
ZK正日益在web3中得到采用。目前，扩展性和隐私是ZK的两个最常见的用例，然而，ZK具有更大的潜力，可以实现更多的创新性用例。那些新的ZK用例正在出现呢？
随机性: ZK可以与VDFs (Verifiable Delay Functions) 结合，以在区块链上实现完全安全的随机性。尽管在以太坊上有许多随机性原语，但它们存在微妙的缺陷，如可偏性，活性，昂贵性，额外的信任假设。
通过结合SNARKs和VDFs，Paradigm已经开发了一种由RANDAO和可插拔的区块哈希预言机驱动的，适用于以太坊的VDF兼容随机信标。
https://t.co/phhvsMbBpF
链下数据的验证: SpaceandTimeDB正在使用Proof of SQL，允许数据仓库生成SQL查询执行的SNARK证明，证明查询计算是准确的，且查询和数据都是可以证明的防篡改。
在数据库(DB)的情况下，让网络中的每一个DB节点运行相同的查询数千次并达成共识是不可行的。Proof of SQL允许开发者将事务性查询和可扩展分析的结果直接连接到他们的智能合约。
DeFi安全: zkPoEX (Zero-Knowledge Proof of Exploit) 由zkoranges和zkLumi提供，该服务在ETHDenver中获得了第一名，允许白帽黑客在保护利用的机密性的同时，报告智能合约中的实时漏洞。
https://t.co/oMqIlyzTt4
这可能允许审计员安全地生成一个利用的ZK证明，而不必揭示实际的利用方法。审计员可以证明他们知道一个交易可以在某些合约中产生不希望的状态变化，而无需揭示利用的具体细节。
ZK-email验证：由yush_g和sampriti0在0xPARC中创建的ZK Email允许用户匿名验证电子邮件签名，但可以屏蔽任何他们想要屏蔽的数据。它可以允许用户使用他们的电子邮件证明他们有某个特定的twitter处理程序。
Github贡献证明: zkRepo允许用户创建一个证明，证明他们对某个github仓库做出了贡献，但不会透露他们是谁。一个DAO可以使用它来奖励他们的github贡献者
https://t.co/OokVdkHWBJ
存储证明：@HerodotusDev正在使用ZK构建存储证明技术，以在@ethereum区块链之间启用同步跨层数据访问。使用它，开发者可以在主网和分层网络之间无缝地同步和验证数据。
ZK-Rollups：ZK-Rollups是一种可扩展性解决方案，允许在主链外部计算和验证事务，然后将其作为单个“滚动”事务提交到主链。@zksync, @StarkWareLtd和@loopringorg是在这个领域内最早采用ZK-Rollups的项目。
关于【长推：零知识证明探索Web3的创新应用案例】的延伸阅读
香港Web3，究竟行不行？
香港虚拟资产平台牌照发放一周年，11家平台申请牌照，2家成功获得。未获得牌照的平台离开香港，原生加密平台也出走。发牌过程中，规模和专业度是重要考量，本土金融机构和具备内地资源优势的平台获得先机。有传言称，离岸交易所无法满足监管要求，导致多家知名加密交易所撤回申请。香港监管机构撤回Hashkey Exchange的合规申请，可能是因为涉及敏感地区客户服务或监管人手有限。香港虚拟资产现货ETF表现优异，但市场缩水，流动性差，难以吸引外资。香港选择从传统资本端而非加密原生应用切入，填补资产空白，探索传统领域的Web3资产转型。未来，香港Web3的发展仍有待观察，但去中心化市场与传统机构升维的碰撞仍需时间。
火币HTX重磅亮相GM Vietnam 2024并举办Web3未来之夜：聚焦加密新趋势 推进全球化战略
火币HTX参加GM Vietnam 2024，与越南本地区块链公司和社区合作，推动技术创新。活动上，火币HTX展示了安全合规的交易所经验，并建议用户谨慎投资和多元化投资。此外，火币HTX还与知名媒体ChainCatcher合作举办了“Web3未来之夜”活动，探讨未来发展机遇。火币HTX表示，越南作为亚洲新兴市场，正逐渐成为Web3行业的焦点，将继续关注和支持越南市场的发展。
https://t.co/OokVdkHWBJ
二次支付网络：@zkChannels是一个采用零知识证明的二次支付网络，类似于闪电网络，但它允许双方在交易时保持隐私。
https://t.co/9euF8AdXhS
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等。零知识证明的未来看起来十分光明。
免责声明：本文仅代表作者个人观点，不代表链观CHAINLOOK立场，不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险，以及遵守所在国家和地区的相关法律法规。
图文来源：MarsBit，如有侵权请联系删除。转载或引用请注明文章出处！
