什么是 zkVerify
zkVerify 是一条专注于零知识证明（zk-proof）验证的高性能、开放、去中心化区块链。它为 ZK 应用提供了模块化、可组合的验证能力。
zkVerify 的目标
zkVerify 专注于验证零知识证明（zk-proof）。这类证明可以在不暴露底层数据的情况下，确认某个计算被正确执行。它们适用于交易摘要、选择性身份信息共享、安全投票、以及游戏中的隐私信息（例如暗牌）。
一个完整的零知识证明包含两个关键环节：
- Proof Generation —— 通过计算生成证明。
- Proof Verification —— 验证证明是否有效。
两步都必不可少，以确认计算的正确性。虽然很多团队在优化证明生成（更快、更小），但每一种新的证明体系都需要可靠的验证方式。
zkVerify 通过接收证明、完成验证，并在链上记录证明及其验证结果，来解决这个问题。
zkVerify 试图解决什么问题？
证明验证成本
从宏观成本来看，仅 zkRollup 在 2024 年的安全验证支出就预计超过 1 亿美元，若包含各类 ZK 应用，2028 年可能达到 15 亿美元。
从更细粒度来看，在以太坊上验证一条 ZK 证明，取决于证明类型，可能需要 200,000–300,000 gas。除了当前的费用外，未来手续费的波动也会抑制产品落地。将证明验证从以太坊等 L1 迁移出去，既能显著降低名义成本，也能把验证费用从 gas 波动中隔离出来，让成本更稳定。
例如在网络拥堵时，gas 价格可能超过 100 Gwei，这意味着验证一条证明可能要花 $20–$60，甚至更高。
并非所有 ZK 证明都适合在 EVM 上验证
在以太坊上验证多种证明后端，特别是 STARK 证明，因证明体积大和 EVM 约束会非常昂贵。大多数 zkVM 目前使用 STARK 作为后端，并在以太坊上通过递归「包裹」成 SNARK（groth16）证明来验证，这会显著拉长证明时间。在 zkVerify 上，无需转换成 groth16，就能原生验证 STARK 证明。