メインコンテンツまでスキップ

ILITY の統合 ZK 検証レイヤー：200 のロールアップを支配する唯一の検証者

· 約 17 分
Dora Noda
Dora Noda
Software Engineer

現在、200 以上のゼロ知識（ZK）ロールアップが稼働しており、それぞれが独自の検証者（ベリファイア）コントラクトをリリースしています。あるチェーンには SP1、別のチェーンには Risc Zero、さらに Plonky3 や Halo2 が混在し、数週間おきに Jolt や Powdr が登場しています。複数のチェーンから状態を読み取りたいプライバシーアプリは、あらゆるプロバー（証明者）を統合し、あらゆる検証者を監査し、回路が変更されるたびに再デプロイするという「税金」を支払っています。これが、Web3 プライバシーインフラにおいて、密かに最大の隠れたコストとなっている「N × N の統合の悪夢」です。

2026 年 4 月 28 日、ILITY はステルス状態を脱しました。その賭けは、解決策は別の zkVM ではなく、それらすべての上位にあるレイヤーであるというものです。1 月 30 日に稼働した Alpha メインネットと並行して展開されるマルチチェーン ZK 証明統合検証レイヤーは、あらゆるチェーンがプライバシー保護メッセージバスとして採用できる「ユニバーサルなクロスチェーンプライバシーインターフェース」を自負しています。Web3Caff Research は同日、このローンチを「検証者の抽象化」に対する世代を超えた賭けであると位置づける Financing Decode を発表しました。その論理は刺激的です。IBC が Cosmos ゾーンの状態を抽象化し、EVM 等価性が L2 の実行を抽象化したように、単一の証明検証 API がその下にあるあらゆる SNARK システムを抽象化できるというものです。

誰も語りたがらない断片化​

Polygon Labs、Succinct、Risc Zero、そして十数件の小規模なチームは、過去 3 年間、より速く、より小さく、より汎用的な zkVM をリリースするために競い合ってきました。この競争は驚異的な成果を生みました。Plonky3 の実用化、SP1 による証明の断片化と単一のユニバーサルな証明への集約、そして Risc Zero のオープンな Boundless 証明市場への転換などです。

しかし、この競争には、ほとんど誰も最適化していない副作用があります。それは、勝者がそれぞれ独自の検証者をリリースすることです。SP1 で証明された Optimism ロールアップ、Plonky3 で証明された Polygon CDK チェーン、Halo2 で証明された Scroll デプロイメントから担保の証明を受け取りたいプライバシー保護レンディングプロトコルは、3 つの全く異なる検証者コントラクトをデプロイし、維持しなければなりません。各検証者には異なるガス代、異なるアップグレードパス、異なるバグの表面積があります。監査予算は膨れ上がり、クロスチェーンの TVL は、プライバシーアプリがローンチされたチェーンに閉じ込められたままになります。

業界はこの問題を認識しています。Polygon の Pessimistic Proof（それ自体が SP1 と Plonky3 で生成された ZK 証明です）は、アグリゲーションを「マルチスタックの未来を統合するもの」として明示的にマーケティングしています。しかし、AggLayer の統合は、Polygon CDK スタックを選択したチェーンに対してのみ機能します。Solana、Cosmos、Polygon スタック以外の Ethereum L2、そして Bitcoin L2 はその範囲外にあります。断片化はある「囲い込まれた庭」の中では解決されますが、その庭の境界線で再び再生産されるのです。

ILITY が実際に構築しているもの​

ILITY のアプローチは構造的に異なります。プロバーの速度で競う代わりに、あらゆるソースチェーンから発生する証明を検証し、あらゆるコンシューマーチェーンが信頼できるアテステーション（証明）を再発行することのみを任務とする、ソブリンなレイヤー 1 ブロックチェーンを構築しています。資産の所有権、保有履歴、取引パターン、オンチェーンの挙動など、すべてをウォレットアドレスや基盤となるデータを公開することなく証明できます。

このアーキテクチャ上の賭けには 3 つの要素があります。第一に、統一された証明検証 API です。アプリケーションは、どの SNARK システムが証明を生成したかに関係なく、1 つのエンドポイントから読み取ります。第二に、チェーンのプライバシーを考慮した検証コアである ILITY ZK Engine です。これは Alpha メインネットを通じて、1 月から内部的なクロスチェーンデータ取得テストによって強化されてきました。第三に、検証者の抽象化を研究成果ではなく開発者サービスとして公開する、今後の製品化レイヤーである ILITY Hub です。

この仕組みは、各ゾーンが他のすべてのゾーンのコンセンサスを実装することなく、IBC が Cosmos ゾーン同士の対話を可能にした方法に似ています。ILITY は証明に対しても同じトリックを提案しています。チェーン同士がどのように証明を行っているかを知る必要はありません。統合レイヤーが発行する検証結果を信頼するだけでよいのです。この抽象化が維持されれば、ILITY 上で一度書かれたプライバシー保護 DeFi アプリは、Solana プログラム、Ethereum L2 コントラクト、Cosmos ゾーン、Bitcoin L2 からのアテステーションを利用できるようになります。これらはお互いのことを知る必要さえありません。

ILITY と周辺のアプローチとの違い​

統合検証レイヤーは、この問題に対する唯一の試みではありません。この分野では 3 つの競合するアプローチが具体化しており、ILITY はそのすべてを包含すると主張しています。

Brevis は、ハイブリッド ZK データコプロセッサと、L1 リアルタイム証明機能を備えた汎用 zkVM を備えた、最も汎用的な ZK コプロセッサをリリースしました。Brevis を使用すると、スマートコントラクトは過去の EVM の状態に遡り、それについて証明することができます。しかし、Brevis は根本的にはコプロセッサです。証明を生成しますが、検証者を統合するものではありません。利用する側のチェーンは、依然として Brevis が使用している証明システムで Brevis の証明を検証する必要があります。

Axiom はより限定的ですが、特定のブロック高における正確なストレージスロットの値やトランザクションの存在を証明するなど、Ethereum の深い状態に対する検証可能なクエリを非常に高速に実行します。そのトレードオフは明確で、設計上 Ethereum 専用のシングルチェーンです。プリミティブとしては有用ですが、マルチチェーンインターフェースとしては機能しません。

Lagrange は別の妥協点を選択しました。ZK とオプティミスティックのハイブリッドで、異議申し立てが発生しにくい状態については ZK の保証を緩和することで、クロスチェーン計算の効率を向上させます。Lagrange はチェーンをまたいで物事を証明しますが、検証のセマンティクスは純粋な ZK の保証と同じではないため、機関投資家がデプロイできる場所が制限されます。

ILITY の主張は、これら 3 つはすべて、欠けているプリミティブに対するポイントソリューションであるというものです。Brevis は検証し、Axiom はクエリし、Lagrange は集約しますが、どれも、あるチェーンが他のチェーンからの証明を検証するために呼び出せる「単一の API」を提供するものではありません。ILITY は、欠けているプリミティブは、また別のプロバーやコプロセッサではなく、検証レイヤーそのものであるということに賭けています。

最も明確な対照は Polygon AggLayer との比較です。AggLayer の Pessimistic Proof システムは、技術的には統合検証レイヤーですが、CDK Sovereign Config で構成されたチェーンに対してのみ機能します。AggLayer v0.3 は 2026 年第 1 四半期までにマルチスタック EVM にスタックを拡張しましたが、Solana、Cosmos、Bitcoin L2 は依然として対象外です。ILITY の設計上の選択はその逆です。まず検証レイヤーを構築し、あらゆるチェーンが接続できるようにし、深さよりも広さを優先して最適化しています。

2026 年 4 月頃に形成されるプライバシー・スタック​

このローンチのタイミングは偶然ではありません。2026 年 4 月下旬、ILITY と組み合わせることで、単体よりも大きな価値を生み出す 2 つのインフラが登場しました。

Mind Network の FHE プライバシー・ブースト — OP Stack 上に構築され、Chainlink CCIP と統合 — は機密計算を提供します。完全準同型暗号（FHE）により、コントラクトは暗号化された入力を復号することなく処理できます。これは、入力データ自体が機密情報である機関投資家向け DeFi にとって極めて重要です。Mind Network の 2026 年第 2 四半期のセキュリティ監査と、第 3 四半期のメインネットにおける FHE 搭載型 Agent-to-Agent 決済ソリューションの展開は、機関投資家向けのロードマップを持つ機密計算レイヤーとしての最初の信頼できる試みです。

ILITY は検証を提供します。つまり、クロスチェーンの状態自体を明かすことなく、その状態に関する事柄を証明する能力です。

第 3 の柱として、中堅規模の資金調達ラウンドでますます目にするようになっているのが、分散型証明計算（decentralized proving compute） です。Risc Zero の Boundless や Succinct のプルーフ・ネットワークのようなオープンな証明市場により、GPU オペレーターは証明生成作業に入札でき、限界費用をゼロに近づけることができます。

これら 3 つの柱 — 機密計算（FHE）、統合検証（ZK）、オープンな証明計算 — が組み合わさることで、機関投資家ユーザーが戦略、ポジション、カウンターパーティのデータを漏洩させることなく DeFi に参加するために実際に必要となるインフラ・スタックが見えてきます。どの柱も単独では不十分です。ILITY の主張は、検証レイヤーこそが他の 2 つを実用的にする結合組織であるということです。なぜなら、統合検証がなければ、プライベートなクロスチェーン DeFi を行うすべての機関は、取引相手が使用する可能性のあるすべてのプルーフ・システム（プロバー）に対応した検証プログラム（ベリファイア）を個別に維持管理しなければならないからです。

誠実に検証する、検証者の抽象化（Verifier Abstraction）という賭け​

検証者の抽象化は強力なテーゼ（命題）です。しかし、歴史的に実現が困難であった種類のテーゼでもあります。ここでは 3 つのリスクを挙げます。

ネイティブ統合の問題。 統合検証レイヤーが重要になるのは、チェーンがそれを採用した場合のみです。ILITY のアルファ・メインネットは内部で検証を行い、その結果を公開しますが、Solana のスマート・コントラクトが実際にそれらのアテステーション（証明）を利用するには、Solana プログラムが ILITY の署名済み結果を信頼する必要があります。この信頼の前提はライト・クライアント・ブリッジに似ており、ILITY は ZK 証明の検証だけでなく、「信頼されたメッセージ・バス」というより広い役割において LayerZero、Wormhole、Chainlink CCIP と競合することになります。検証者の抽象化というストーリーは LayerZero よりも明快ですが、市場参入戦略（Go-to-Market）は同じです。

時期尚早な抽象化のリスク。 zkVerify — ユニバーサルな ZK 証明検証レイヤーとして設計されたモジュール型 L1 — は 2024 年から同様のテーゼを追求してきました。しかし、まだ機関投資家レベルの爆発的な普及には至っていません。リスクは、検証者の抽象化が技術的にはエレガントであっても、商業的には時期尚早である可能性です。もしどのチェーンもネイティブにこの抽象化を統合しなければ、統合レイヤーでのすべての検証は、消費側のチェーンに直接検証プログラムをデプロイする場合と比較して、余計なホップが 1 つ増えることになります。

最適化のギャップ。 チェーンごとの検証プログラムは、検証対象の特定の SNARK システムに合わせて大幅に最適化できます。統合レイヤーは、その定義上、これらの最適化の一部を犠牲にせざるを得ません。AggLayer が Polygon CDK チェーンで優位に立っている理由の一つは、ペシミスティック証明が SP1 + Plonky3 およびチェーン・スタックと共同設計されているためです。ILITY には、あるチェーンの Halo2 証明と別のチェーンの SP1 証明を検証する際に、そのような贅沢は許されません。真にチェーンに依存しない検証プログラムのパフォーマンスの上限は、共同設計されたものよりも必然的に低くなります。

楽観的な見方をすれば、これらのリスクはいずれも致命的ではありません。それは単に、統合検証レイヤーが、生の検証ガス代ではなく、開発者のエルゴノミクス（使いやすさ）で勝負しなければならないことを意味します。新しいチェーンを ILITY に導入するのに、カスタム検証プログラムの構築に 6 ヶ月かけるのではなく 1 週間で済むのであれば、高度に最適化された DeFi プロトコル以外のすべての人にとって、市場投入までの時間の差がガス代の差を上回るでしょう。これは、初期のマルチチェーン・ブリッジが行い、勝利したトレードオフと同じです。

次に注目すべきこと​

統合検証というテーゼが機能しているかどうかを判断する 3 つのシグナルがあります。

ネイティブ統合。 Solana のグラント、Ethereum L2 パートナーシップ、Cosmos ゾーンなど、主要なチェーンが ILITY の検証結果をオンチェーン・ロジックにネイティブに組み込んでいるか。2026 年中に少なくとも 1 つのそのような統合がなければ、この抽象化は孤島に留まります。

プライバシー・アプリの展開。 適切な検証は理論上のものではありません。3 つ以上の異なるプルーフ・エコシステムからの担保アテステーションを本番環境で実際に ILITY を使用して読み取り、有料ユーザーを抱えているプライバシー保護型のレンディング・プロトコルや機密決済レイヤーが存在するかどうかです。

FHE と証明市場によるスタックの構成。 「FHE ＋ ZK ＋ 証明市場」というスタックが、J.P.モルガン型の許可型プールや規制下のトークン化ファンド決済など、機関投資家向け DeFi のパイロット・プロジェクトに現れ始めるかどうか。もしそうでなければ、統合検証レイヤーは、それを必要とするアプリケーションを待ち続ける、巧妙なインフラの断片に過ぎません。

正直な総括をすれば、ILITY の賭けは巨大であり、クリプト業界において「他者のプリミティブを抽象化することで勝つ」という先行事例の結果は一様ではありません。IBC は勝ちました。EVM 等価性も勝ちました。しかし、基盤となるシステムが整う前に出荷され、リードを取り戻せなかった抽象化も存在します。4 月 28 日は、その賭けが公の時計の下で動き出す日です。

BlockEden.xyz は、Sui、Aptos、Ethereum、Solana、およびその他の主要なチェーンにわたって、エンタープライズ・グレードの RPC およびインデックス・インフラを運営しています。これは、プライバシー保護アプリケーションが検証済みのクロスチェーン状態を利用するために必要な、マルチチェーン対応のインフラそのものです。当社の API マーケットプレイスを探索して、マルチチェーン時代のために設計されたインフラ上で構築を開始してください。

情報源​

Share on Twitter