Delphiが共有プロバイダーについて考察：モジュラーの新たなフロンティア
TechFlow厳選深潮セレクト
Delphiが共有プロバイダーについて考察：モジュラーの新たなフロンティア
zkアプリケーションの証明コストを削減し、証明効率を向上させるために、証明者を共有することができる。
Web3業界の深掘り報道に専念し潮流を洞察執筆：Delphi Digital
翻訳：Luffy，Foresight News
一般的に、モジュラー理論は4つのレイヤーから構成されるとされている：DA（データ可用性）、コンセンサス、実行、および決済。しかし、新たに「共有プローバー（shared prover）」というレイヤーがモジュラー理論に統合される可能性がある。
これは、効率的で拡張可能な検証の欠落していたピースになり得るだろうか？ 共有プローバー、証明集約（proof aggregation）、およびプローバーマーケットプレイスは、ゼロ知識証明（zk）の地図を変えてきている。最新のレポートで、知っておくべきすべてを確認できる。
以下はそのレポートの要点要約👇
zk Rollup の簡単な復習
zk Rollup ソリューションはイーサリアムのトランザクション規模を拡張し、処理をより高速にするためにトランザクションをオフチェーンに移動する。一方でイーサリアム上では堅牢な最終性を実現し、zk 証明（ゼロ知識証明）によって検証を行う。
zk 証明：検証は速いが、生成は遅い
zk 証明はプライバシーとスケーラビリティにおいて強力だが、イーサリアム上で証明を作成することはコストが高く、時間がかかる場合がある。
高額な証明コストは zk アプリケーションの発展を制限する。証明集約やプローバーマーケットなど新しいアプローチが、こうした制約を解消しようとしている。
プローバーのサプライチェーン
共有ソーターは複数のブロックチェーン間での取引に高いスループットを提供する。しかし、実際には何も「証明」していない。将来的には、このタスクを委任するために共有プローバーネットワークと統合される可能性がある。
現在、Rollup は高価で個別なゼロ知識証明の提出という課題に直面している。
プローバーネットワークは解決策を提示する：さまざまな zk アプリケーションが証明生成を専門のプロバイダーにアウトソーシングできる統一された市場であり、コストと効率を改善する。
共有プローバーは、zk 証明が必要だが内部の zkVM や回路開発リソースを持たないアプリケーションにとって大きな助けとなる。
現状では、Rollup は個別の zk 証明を提出しており、ピーク時にはガスコストが高騰する。
プローバーネットワークは現在、証明生成を専用ハードウェアを持つプロバイダーに外部委託することで、効率を高めることを目指している。
複数の Rollup を抱え、プローバーネットワークに接続されたネットワークでは、トランザクションライフサイクルは以下のようになる：
-
Rollup が証明リクエストを提出する。
-
マッチング機構がプローバーを選択する。
-
選ばれたプローバーがリクエストを満たす。
-
証明が集約される。
-
プローバーが最終証明を L1 に提出して検証させる。
検証コストの分担
「証明特異点（Proof Singularity）」とは、オンチェーンでの証明検証コストを削減することを目指す各種技術を指す。
証明集約もその一つであり、複数の有効な証明を、すべてを検証できる単一の証明に圧縮する。
個々の証明を別々に検証するよりも、「一括検証」によりガスコストを削減できる。
zk アプリのプローバー費用
zk アプリケーションにおける高額な検証コストと証明時間は、最終的にユーザーに転嫁される。
過去数年間、zk アプリケーション（主に Rollup）は、証明の検証とオンチェーン公開のために約3000万ドルのガスを支出した。
証明集約プロトコル概要
Nebra UPA
Nebra UPA は、zk アプリが多数の証明を束ねて検証コストを削減できるようにする。テストネットでは約10件/秒の証明をサポートすると主張している。現在のプローバーは中央集権的だが、今後は無許可型の証明者への移行を計画している。
既存の L2 エスケープハッチに類似した強制インクルージョンメカニズムを持っている。もしプローバーが証明を検閲または遅延させた場合、zk アプリはプローバーをバイパスし、L1 上で証明の決済を強制できる。
Aligned Layer
Aligned Layer は、EigenLayer AVS によって保護されたイーサリアム向けの汎用 zk 検証レイヤーである。リステーカーは証明の集約と単一のイーサリアム提出を通じて、ユーザーにソフト最終性を提供する。デフォルトのDAは EigenDA だが、Celestia や Avail などの他のDA層を選択することも可能。
AggLayer
Polygon の AggLayer は、安全なクロスチェーン相互作用のための中立的なインフラである。独立したブロックチェーンネットワークを一つのクロスチェーンブリッジ下に統合し、ブロックチェーンの主権を損なうことなく相互運用性を促進することを目指している。
このシステムは、接続されたすべての Rollup の証明を集約し、それぞれの個別証明を含む Merkle ツリーを持つ唯一の証明を提出する。
-
特定の仮想マシンや実行環境を必要としない
-
各ブロックチェーンは自身のGasトークンを自由に選べる
-
共通のガバナンスに従う必要はない
基盤にあるのは、LxLy クロスチェーンブリッジであり、Rollup が主権を維持しつつ互いに、またイーサリアムとも通信できるよう、共通のクロスチェーンメッセージプロトコルを標準化している。
LxLy の動作の簡単な説明👇
-
各チェーンはMerkleツリー（エグジットツリー）内で出金トランザクションを追跡する
-
すべてのエグジットツリーが統合され、グローバルなエグジットツリーとしてクロスチェーンで共有される
-
ローカルおよびグローバルツリーが更新され、検証と純出金計算が可能になる
さらに、AggLayer は接続された Rollup 間に共有クロスチェーンブリッジを持ち、L1 と L2 間の資産移動を簡素化する。資産は L1 コントラクト内に担保され、ラップやロック／ミンティングが不要となる。
従来、フレームワークは内部の単一プローバーに依存しており、検閲や活性のリスクがあった。プローバーネットワークは中央集権的に始まり、徐々に分散化されていく可能性がある。
プローバーマーケットの分散化は依然として未解決の問題だが、いくつかのアプローチが模索されている：
-
証明コンペティション：最も速いプローバーが勝利するが、計算の浪費があり（コストはユーザーに転嫁される）。
-
証明マイニング：PoW マイニングと同様に、ナンスを使って独占防止を図る（計算の浪費は残る）。SNARK ASIC によるハードウェア加速がコスト削減につながると期待される。
TechFlow公式コミュニティへようこそ
Telegram購読グループ：https://t.me/TechFlowDaily
Twitter公式アカウント：https://x.com/TechFlowPost
Twitter英語アカウント：https://x.com/BlockFlow_News
Delphi Digital
