原作者: Delphi Digital

オリジナル編集：ルフィ、フォーサイトニュース

一般に、モジュラー理論は DA (データ可用性)、コンセンサス、実行、決済の 4 つの層で構成されていると考えられています。ただし、新しい層である共有証明者がモジュラー理論に統合される可能性があります。

それは効率的でスケーラブルな検証に欠けている部分ではないでしょうか? 共有証明者、証明集合体、証明者市場は、ゼロ知識証明の状況を変えています。知っておくべきことはすべて、最新のレポートで見つけることができます。

報告書の要点をまとめると以下の通り

zk ロールアップの簡単なレビュー

zk Rollup ソリューションは、イーサリアムのトランザクションを拡張し、トランザクションをオフチェーンに移動して高速処理を実現すると同時に、イーサリアム上でのハードファイナリティと zk 証明 (ゼロ知識証明) による検証を可能にします。

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

プライバシーとスケーリングの点では強力ですが、proof-of-zk はイーサリアムでの作成にコストがかかり、時間がかかる可能性があります。

証明コストが高いと、zk のアプリケーションが制限されます。証明集約や証明者マーケットなどの新しいアプローチは、これらの制限に対処することを目的としています。

認証機関のサプライチェーン

共有シーケンサーは、ブロックチェーン全体のトランザクションに高いスループットを提供します。ただし、実際には何も証明されていません。将来的には、このタスクを委任するために共有証明者ネットワークと統合される可能性があります。

現在、Rollup は、費用がかかり、ゼロ知識証明を個別に提出するという課題に直面しています。

Prover Network は、さまざまな zk アプリケーションがプルーフの生成を専門のプルーフ サービス プロバイダーにアウトソーシングできる統合マーケットプレイスというソリューションを提供します。これにより、コストと効率が向上します。

共有認証者は、zk 認証のサポートを必要とするが、社内の zkVM または回路開発リソースが不足しているアプリケーションの状況を大幅に改善できます。

現在、Rollup は個別の ZK プルーフを送信するため、ピーク時のガスコストが高くなります。

証明者ネットワークは現在、証明の生成を専門のハードウェアプロバイダーに委託して効率を高めることを目指しています。

証明者のネットワークに接続された複数のロールアップを持つネットワークでは、トランザクションのライフサイクルは次のように機能します。

  • ロールアップは認定リクエストを送信します。

  • 照合メカニズムにより証明者が選択されます。

  • 証明者は要求を満たします。

  • 証拠をまとめてください。

  • 証明者は検証のために最終証明を L1 に送信します。

償却された検証コスト

Proof Singularity は、オンチェーン検証証明のコストを削減するために設計されたさまざまなテクノロジーを指します。

証明の集約はこれらの手法の 1 つで、複数の有効な証明をすべてを検証する 1 つの証明に圧縮します。

この「バッチ検証」により、各プルーフを個別に検証する場合に比べてガスコストが削減されます。

zk アプリ証明者のコスト

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

過去数年間、zk アプリケーション (主にロールアップ) は、オンチェーンでの証明と証明の公開に 3,000 万ドル近くを費やしてきました。

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

ネブラ UPA

Nebra UPA を使用すると、zk アプリケーションは多くの証明書をバンドルして検証コストを削減でき、テストネット上で 1 秒あたり最大 10 個の証明書をサポートすると主張しています。彼らの証明者は現在一元化されていますが、将来的にはパーミッションレス証明を有効にする計画があります。

これらは、既存の L2 脱出ポッドと同様の強制包含メカニズムを備えています。証明者が証明を検閲または遅延した場合、zk アプリケーションは証明者をバイパスし、L1 で証明の決済を強制できます。

整列レイヤー

Aligned Layer は、EigenLayer AVS によって保護された Ethereum のユニバーサル ZK 検証層です。 Restaker は、証明の集約と単一の Ethereum コミットを通じてユーザーにソフト ファイナリティを提供します。デフォルトの DA は EigenDA ですが、Celestia や Avail などの他の DA レイヤーも選択できます。

集約レイヤー

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

このシステムは、接続されているすべてのロールアップ内のプルーフを集約し、送信された個々のプルーフのマークル ツリーを含む固有のプルーフを送信するように設計されています。

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

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

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

内部では、すべてを統合するインフラストラクチャは LxLy クロスチェーン ブリッジです。これは、主権を維持しながらロールアップが相互に通信したり、イーサリアムと通信したりするための共通のクロスチェーン メッセージング プロトコルを標準化します。

LxLy の仕組みの簡単な説明

  • 各チェーンはマークル ツリー (出口ツリー) で出金転送を追跡します。

  • すべての出口ツリーはグローバル出口ツリーにマージされ、チェーン間で共有されます。

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

さらに、Agglayer には、接続されたロールアップ間に共有クロスチェーン ブリッジがあり、L1 と L2 間のアセットのフローを簡素化します。資産は L1 契約で担保されており、ラッピングやロック/ミントは必要ありません。

従来、フレームワークは単一の内部認証者に依存しており、検閲や有効性の問題が発生するリスクがありました。証明者のネットワークは、最初は集中型であり、時間の経過とともに徐々に分散化する場合があります。

プルーバー市場の分散化はまだ未解決の問題ですが、いくつかのアプローチが検討されています。

  • 証明コンテスト: 最速の証明者が勝ち、効率は向上しますが、計算は無駄になります (コストはユーザーに転嫁されます)。

  • プルーフマイニング: PoW マイニングと同様に、勝者総取りを防ぐために乱数が使用されます (計算の無駄は依然として存在します)。 SNARK ASIC のハードウェア アクセラレーションにより、コストの削減が期待できます。