zkVerify

zkVerify 是由 Horizen Labs Research 开发的模块化和去中心化的证明验证网络。它旨在解决区块链中与零知识（ZK）证明验证相关的高昂计算和经济成本。该协议将证明验证与 Layer 1（L1）主链分离，使得专门的基础设施可以针对高效且大规模地验证证明进行优化。作为专用的验证层，zkVerify 支持广泛的证明系统，包括 Groth16、Plonk、Halo2、STARK，以及新兴模型如 Binius 和 Circle STARKs。其架构允许开发者将任何证明系统集成到去中心化应用、Rollup、跨链桥或身份框架中，不受 L1 性能或成本限制的影响。

zkVerify 相比链上执行可将验证成本降低高达 90%，同时保持可验证性和透明度。证明通过 Proof Submission Interface（证明提交接口）提交，由原生 Rust 验证器进行验证，聚合到 Merkle 树中，并最终通过记录在 L1 合约上的背书（attestations）加以确认。这一模块化设计支持可扩展性，并可持续集成新的证明方法，无需进行网络级别的分叉。

VFY 代币是 zkVerify 网络的原生效用和结算资产。它为核心网络运营提供经济激励，包括激励验证者、覆盖验证成本，并维护系统完整性。

费用支付： 用户和应用在向网络提交 ZK 证明时，以 VFY 代币支付验证和背书费用。
质押与安全： 验证者通过质押 VFY 来为证明验证和背书发布共识提供安全保障。不当行为（如发布错误背书）可能导致质押被罚没。
治理： 代币持有者参与协议治理，影响如背书频率、证明验证政策和新证明类型集成等参数。
生态系统激励： 向为 zkVerify 生态系统扩展作出贡献的参与者（如提供算力或集成开发者）分发 VFY。

zkVerify 作为专注于证明验证的权益证明（Proof-of-Stake）主链运行。其核心组件包括：

• 主链（Mainchain）： 一个 L1 区块链，执行验证，管理用 Rust 编写的验证器模块，并将结果提交到 Merkle 树。
• 证明提交接口（Proof Submission Interface）： 一个 RPC 和交易层，接受来自 zkRollup、zkApps、zkBridges 的异构证明提交。
• 背书机制（Attestation Mechanism）： 一个协议，将证明聚合到 Merkle 树中，并发布带有 Merkle 根的签名背书。
• zkVerify L1 合约： 一个智能合约，用于存储背书，并通过 Merkle 包含证明实现公开验证。

共识机制为权益证明（Proof-of-Stake）协议，验证者出块并确认包含已验证证明的区块。一旦证明通过验证，zkVerify 会生成可发布到多个目标链（如以太坊或比特币 Rollup 层）的背书。

根据第10页图10，zkVerify 将来自异构证明系统的证明作为 Merkle 树的叶子，成为不同 ZK 技术之间的自然聚合结构。

1. 由 zkApps、zkRollup 或 zkBridge 生成的证明通过其证明提交接口提交给 zkVerify。
2. zkVerify 使用其原生 Rust 验证器模块对每个证明进行验证。
3. 已验证的证明被存储在链上，并聚合进 Merkle 树。
4. 一旦预设策略（如时间或证明数量阈值）满足，包含 Merkle 根的数字签名背书会被发布到 zkVerify 合约。
5. 目标链可通过这些背书确认其证明已被验证，无需重新处理验证逻辑。

该流程允许应用将计算密集型的证明验证委托给 zkVerify，同时保持加密信任保障。

zkVerify 的模块化验证模型支持若干关键应用：

ZK Rollup： 通过直接验证交易批次实现更快的最终性和更低成本，避免递归聚合和耗费高昂的 STARK-to-SNARK 转换。
比特币 zkRollup： 为链下生成的证明提供外部验证层，缓解比特币脚本的限制。
ZK 应用： 降低身份系统、DeFi 隐私层、投票平台等场景的验证成本。
标准化： 构建兼容多种证明类型的统一验证协议，促进跨链互操作性和可扩展性。