zkVerify

zkVerifyは、ゼロ知識証明の検証に特化した目的特化型のLayer-1ブロックチェーンです。汎用的なスマートコントラクトを実行するのではなく、専用の検証レイヤーとして機能します。開発者はRPCを介して証明（例：Groth16、Plonky2、RISC Zero）を送信し、ネットワークがそれらを検証し、複数の証明を単一のMerkleルートに集約します。このルートはイーサリアムなどのターゲットチェーンにブリッジされ、dAppsは最小限のオンチェーンコストで証明の有効性を確認できます。 このプロジェクトが解決する中核的な問題は、ZK証明検証の高コストと断片化です。イーサリアム上で直接証明を検証すると、1件あたり20万～30万ガスがかかり、混雑時にはガス価格が急騰して予測不能になります。さらに、STARKsやSNARKsなどの異なる証明システムはEVMでネイティブにサポートされておらず、プロジェクトは複雑なラッパーコントラクトを使用せざるを得ません。zkVerifyは、複数の証明タイプをネイティブにサポートし、集約によって検証コストを多数の証明に分散することで、最大90%のコスト削減を実現します。 その競争優位性は、中立的で専門化されたレイヤーであることにあります。イーサリアムと競合する汎用チェーンではなく、あらゆるZKプロジェクトが接続できるモジュラーコンポーネントです。ネットワークは、VFYトークンによる手数料とステーキングを伴うNominated Proof-of-Stakeメカニズムを採用しています。また、パーミッションレス集約をサポートしており、誰でも集約証明を公開して報酬を得ることができます。 過去6か月間（2026年3月～9月）、zkVerifyは検証者エコシステムの拡大に注力してきました。ドキュメントにはUltraPlonkやSP1などの追加の証明システムへの対応が示されており、ネットワークはSepoliaやBase Sepoliaを含む複数のテストネットと統合されています。また、チームは集約ドメインシステムを改良し、開発者がコストとレイテンシのバランスを取るために集約サイズや公開キューの長さを設定できるようにしました。この期間中、重大なセキュリティインシデントやネットワーク障害は報告されていませんが、プロトコルの最適化が続く成長段階にあります。