Delphiが共有証明者を探る：モジュール化の新しい領域

元のタイトル：Delphi Digital X アカウント

著者：Delphi Digital

編纂：Luffy，Foresight News

通常、モジュラー理論は4つの層で構成されると考えられています：DA（データの可用性）、コンセンサス、実行、そして決済。しかし、新しい層である共有プロバイダーがモジュラー理論に統合される可能性があります。

それは効率的でスケーラブルな検証に欠けている部分となることができるのでしょうか？ 共有プロバイダー、証明の集約、そしてプロバイダー市場はゼロ知識証明の構図を変えています。私たちの最新のレポートで知っておくべきことをすべて確認できます。

以下はレポートの要点のまとめです

zk Rollup の簡単な振り返り

zk Rollup ソリューションは、イーサリアムの取引規模を拡張し、取引をオフチェーンに移動させてより迅速に処理し、イーサリアム上でハードな確定性を実現し、zk証明（ゼロ知識証明）を通じて検証します。

zk証明：検証速度は速いが、生成速度は遅い

zk証明はプライバシーと拡張性において強力ですが、イーサリアム上で証明を作成することは高コストであり、速度も遅い可能性があります。

高い証明コストはzkアプリケーションを制限します。証明の集約やプロバイダー市場などの新しいアプローチは、これらの制限を解決することを目的としています。

プロバイダーサプライチェーン

共有ソーターはクロスブロックチェーンの取引に高いスループットを提供します。しかし、実際には何も証明することはできません。将来的には、共有プロバイダーネットワークと統合されてこのタスクを委託する可能性があります。

現在、Rollupは高価な個別のゼロ知識証明の提出という課題に直面しています。

プロバイダーネットワークは解決策を提供します：さまざまなzkアプリケーションが証明生成を専門の証明サービスプロバイダーにアウトソーシングできる統一市場を提供し、コストと効率を向上させます。

共有プロバイダーは、zk証明のサポートが必要だが内部のzkVMや回路開発リソースが不足しているアプリケーションの状況を大幅に改善できます。

現在、Rollupは個別のzk証明を提出しており、ピーク時のガスコストが高騰しています。

プロバイダーネットワークの現在の目標は、証明生成を専門のハードウェアプロバイダーにアウトソーシングして効率を向上させることです。

複数のRollupを持ち、プロバイダーネットワークに接続されたネットワークにおける取引ライフサイクルの動作は以下の通りです：

• Rollupが証明リクエストを提出します。

• マッチングメカニズムがプロバイダーを選択します。

• プロバイダーがリクエストに応じます。

• 証明を集約します。

• プロバイダーが最終的な証明をL1に提出して検証します。

検証コストの分担

証明の特異点（Proof Singularity）とは、オンチェーンでの証明検証コストを削減することを目的としたさまざまな技術を指します。

証明の集約はこれらの技術の1つであり、複数の有効な証明を圧縮して、すべての証明を検証できる1つの証明を生成します。

各証明を個別に検証するのと比較して、この「バッチ検証」はガスコストを削減できます。

zkアプリのプロバイダーコスト

zkアプリケーションの高額な検証コストと証明時間は最終的にユーザーに転嫁されます。

過去数年間、zkアプリケーション（主にRollup）は、証明を検証し、オンチェーンで公開するために約3000万ドルのガスを費やしました。

証明集約プロトコルの概要

Nebra UPA

Nebra UPAは、zkアプリが多くの証明をバンドルして検証コストを削減できるようにします。彼らはテストネットで約10回の証明/秒をサポートしていると主張しています。彼らのプロバイダーは現在中央集権的ですが、将来的には許可なしでの証明を実現する予定です。

彼らは既存のL2エスケープポッドに類似した強制的な取り込みメカニズムを持っています。プロバイダーが証明を審査または遅延させた場合、zkアプリケーションはプロバイダーを回避し、L1で証明の決済を強制できます。

Aligned Layer

Aligned Layerは、EigenLayer AVSによって保護されたイーサリアムの汎用zk検証層です。Restakersは証明の集約と単一のイーサリアム提出を通じてユーザーにソフトな最終確定性を提供します。デフォルトのDAはEigenDAですが、CelestiaやAvailなどの他のDA層を選択することもできます。

AggLayer

PolygonのAggLayerは、安全なクロスチェーン相互作用のための中立的なインフラストラクチャです。これは、独立したブロックチェーンネットワークを1つのクロスチェーンブリッジの下に統一し、ブロックチェーンの主権を損なうことなく相互運用性を促進することを目的としています。

このシステムは、接続されたすべてのRollupの証明を集約し、提出された各個別証明のMerkleツリーを含む1つのユニークな証明を提出することを目的としています。

• 特定の仮想マシンや実行環境は必要ありません

• ブロックチェーンは自分のガストークンを自由に選択できます

• 共同ガバナンスに従う必要はありません。

基盤となるインフラストラクチャは、LxLyクロスチェーンブリッジであり、これは一般的なクロスチェーンメッセージングプロトコルを標準化し、Rollupが主権を維持しながら相互に通信し、イーサリアムと通信できるようにします。

LxLyの動作方法の簡単な説明

• 各チェーンはMerkleツリー（出口ツリー）で引き出し転送を追跡します

• すべての出口ツリーは1つのグローバル出口ツリーに統合され、クロスチェーンで共有されます

• ローカルおよびグローバルツリーを更新し、検証と純引き出し計算を可能にします。

さらに、Agglayerは接続されたRollup間に共有クロスチェーンブリッジを持ち、L1とL2間の資産の流動性を簡素化します。資産は1つのL1契約に担保され、ラッピングやロック/ミントを必要としません。

伝統的に、フレームワークは単一の内部プロバイダーに依存しており、審査やアクティビティの問題のリスクがあります。プロバイダーネットワークは中央集権的な方法で始まる可能性がありますが、時間の経過とともに徐々に分散化されるでしょう。

プロバイダー市場の分散化は依然として未解決の問題ですが、いくつかのアプローチが探求されています：

• 証明競争：最も速いプロバイダーが勝利し、効率が向上しますが、計算が無駄になります（コストはユーザーに転嫁されます）。

• 証明マイニング：PoWマイニングに似ており、ランダム数を使用してウィナー・テイク・オールを防ぎます（計算の無駄は依然として存在します）。SNARK ASICのハードウェアアクセラレーションはコスト削減が期待されています。