zkVerify

zkVerify 是一条专门用于验证零知识证明的 Layer-1 区块链。它不运行通用智能合约，而是充当一个专用的验证层。开发者通过 RPC 提交证明（如 Groth16、Plonky2、RISC Zero），网络验证后将多个证明聚合为一个 Merkle 根，再桥接到以太坊等目标链，让 dApp 以极低的链上成本确认证明有效性。

它解决的核心问题是 ZK 证明验证的高成本和碎片化。直接在以太坊上验证证明每条可能消耗 20 万至 30 万 gas，网络拥堵时 gas 价格飙升，成本难以预测。此外，EVM 原生不支持多种证明系统（如 STARK、SNARK），项目方不得不编写复杂的包装合约。zkVerify 原生支持多种证明类型，并通过聚合机制将验证成本分摊到多个证明上，费用可降低约 90%。

其核心竞争力在于它是一个中立、专业化的验证层。它不是与以太坊竞争的通用链，而是任何 ZK 项目都可以接入的模块化组件。网络采用提名权益证明机制，使用 VFY 代币支付费用和参与质押。同时支持无许可聚合，任何人都可以发布聚合证明并获得奖励。

近半年（2026 年 3 月至 9 月），zkVerify 主要扩展验证器生态。文档显示新增了对 UltraPlonk 和 SP1 等证明系统的支持，并集成了 Sepolia 和 Base Sepolia 等测试网。团队还优化了聚合域系统，允许开发者配置聚合大小和发布队列长度，以平衡成本与延迟。该期间未报告重大安全事件或网络中断，项目仍处于增长阶段，协议持续优化中。