什么是zkVerify

zkVerify是一个专门用于结算优化的零知识证明验证网络。

近年来，web3开发人员采用了模块化解决方案，将区块链协议的核心功能——执行、共识、数据可用性和结算——作为单独的功能进行优化。模块化架构提出了一种更有效的替代单片链的方案，它将这些特性组合成一个协议。zkVerify是第一个用于结算层的模块化解决方案，它通过将验证与L1上的结算解耦来降低安全成本。

Horizen Labs估计，2023年，仅以太坊上的zkrollups就花费了4700多万美元用于验证，行业研究预计，到2030年，zk验证将成为一个价值100亿美元的市场。zkVerify为使用zkrollups构建的开发人员消除了计算密集型验证的成本和复杂性，为去中心化应用程序的可扩展性和采用提供了关键的解锁。一开始，zkVerify可以用于在以太坊和比特币上验证证据，成本降低90%以上，并将迅速扩展到支持多种区块链架构。随着zkrollups作为一种关键的扩展基础设施不断被采用，zkVerify正在为任何结算层上的任何类型的zkrollup引入一种新的验证标准。

zkVerify的主要功能

快速模块化过程：允许区块链网络卸载计算量大且昂贵的验证过程，使其能够专注于其主要功能并保持领先。这种模块化方法不仅简化了操作，而且显著提高了整体网络效率。经济高效的证明验证：将证明验证成本降低90%以上，这一变化仅在2023年就可以为ZK Rollups节省4280多万美元。简化且易于集成：与现有区块链生态系统和多个SNARK验证方案无缝集成，在开发者友好的环境中最大限度地减少技术开销。zkVerify目前支持4个验证器：Risc0、Groth16、Fflonk和zkSync Era。

zkVerify是如何工作的？

zkVerify网络发展了zk汇总和应用链验证和验证其事务的方式。它通过为他们提供模块化区块链系统来实现这一点，该系统旨在优化验证过程并降低相关成本。它基本上免除了zk汇总解决方案中最昂贵的步骤。

为什么需要这样做？在传统的区块链系统中，验证是在执行和结算交易的同一区块链上进行的。这导致链的最终用户的成本增加和交易成本增加，因为验证需要很长时间并消耗大量计算资源。

问题的根源在于对区块链采取单一的方法，即一个区块链应该负责每个相关的过程。区块链需要一种更好的方法来解决网络拥塞问题，而不是让网络验证器对每笔交易进行zk证明。

zkVerify通过其模块化方法解决了这些挑战，该方法能够将证明验证过程与执行层和结算层分离。它可以被视为一个专门的区块链层，专门用于验证交易证据，独立运行，但与任何可组合的zk汇总和应用链并行。

现在，由于证明验证功能外包给zkVerify，zk汇总和应用链可以以更低的成本处理增加的交易量。更重要的是，zkVerify为zk汇总和应用链的最终用户提供了巨大的节约。

探索zkVerify！

zkVerify目前正在测试网上直播，我们邀请开发人员和建设者来探索zkVerifey如何增强他们的网络可扩展性！

以下是一些有用的入门链接：

zkVerify文档连接钱包zkVerifyHub zkVerify-Testnet令牌请求Polygon CDK证明提交如何向zkVerification教程视频提交证明

比分咬的很紧

加入zkVerify Discord，获得团队的支持，并与社区互动！在Twitter上关注zkVerify，获取最新消息和更新。加入zkVerify Telegram群组与其他用户连接。