Delphi Digitalによるオリジナル
オリジナルコンピレーション:ルフィ、フォーサイトニュース
モジュラー理論は一般に、DA(データ可用性)、コンセンサス、実行、決済の4つの層で構成されると考えられています。 しかし、新しい層である共有証明器は、モジュラー理論に統合される可能性があります。
それは、効率的でスケーラブルな検証に欠けている部分なのでしょうか? 共有プローバー、プルーフアグリゲーション、プルーバー市場は、zk-SNARKsの状況を変えています。 最新のレポートで、知っておく必要のあるすべてのことを学ぶことができます。
以下は、👇レポートの主なポイントをまとめたものです
zk Rollupソリューションは、イーサリアムのトランザクションサイズを拡張し、トランザクションをオフチェーンに移動して処理を高速化すると同時に、イーサリアム上でハード決定論を有効にし、zkプルーフ(zk-SNARKs)で検証することができます。
zkプルーフはプライバシーとスケーリングの点で強力ですが、イーサリアムでプルーフを作成するのはコストがかかり、時間がかかる可能性があります。
認証のコストが高いため、zkアプリは制限されます。 認証アグリゲーションやプルーバーマーケットプレイスなどの新しいアプローチは、これらの制限に対処することを目的としています。
共有シーケンサーは、ブロックチェーン全体のトランザクションに高いスループットを提供します。 しかし、実際には何も証明していません。 将来的には、このタスクを委任するために、共有証明ネットワークと統合される可能性があります。
今日、ロールアップは、高価で個別のzk-SNARKs提出という課題に直面しています。
プルーフネットワークは、さまざまなZKアプリケーションがプルーフ生成を専用の認証サービスプロバイダーにアウトソーシングできる統合マーケットプレイスというソリューションを提供し、コストと効率を向上させます。
共有アテベータは、zkプルーフサポートを必要とするが、社内のzkVMまたは回線開発リソースが不足しているアプリケーションの状況を大幅に改善できます。
現在、ロールアップは個別のzkプルーフを提出するため、ピーク時にはガスコストが高くなります。
現在の証明ネットワークの目標は、効率を高めるために、注文で証明の生成を専門のハードウェアプロバイダーにアウトソーシングすることです。
ロールアップが最も長く、証明ネットワークに接続されているネットワークでは、トランザクションのライフサイクルは次のように機能します。
プルーフ・シンギュラリティとは、コストドロップ オンチェーン 認証証明ために設計されたさまざまな手法を指します。
証明の集約は、これらの手法の 1 つであり、最も長い有効な証明を、すべての証明を検証する 1 つの証明に圧縮します。
この「バッチ検証」は、各証明を個別に検証する場合と比較してコストドロップ ガスことができます。
ZKアプリケーションの高い検証コストと証明時間は、最終的にユーザーに転嫁されます。
過去数年間、zkアプリケーション(主にロールアップ)は、オンチェーンで証明を検証および公開するために、ガスに約3,000万ドルを費やしてきました。
Nebra UPAを使用すると、zkアプリはロングプルーフをバンドルして検証コストをドロップでき、テストネットで毎秒約10プルーフをサポートすると主張しています。 現在、認証機関は一元化されていますが、後で許可の証明を必要とせずに実装する予定です。
これらは、既存のL2エスケープポッドと同様の強制収容メカニズムを備えています。 証明者が証明をレビューまたはレイテンシーする場合、zkアプリケーションは証明者をバイパスし、L1で証明の決済を強制できます。
アライメントレイヤーは、EigenLayer AVSによって保護されたイーサリアムのユニバーサルzk検証レイヤーです。 Restakersは、プルーフアグリゲーションと単一のイーサリアムコミットを通じて、ユーザーにソフトファイナリティを提供します。 デフォルトのDAはEigenDAですが、CelestiaやAvailなどの他のDAレイヤーを選択することもできます。
ポリゴンのAggLayerは、安全なクロスチェーン相互運用性のための中立的なインフラストラクチャです。 これは、独立したブロックチェーンネットワークを単一のクロスチェーン ブリッジに統合し、ブロックチェーン主権を損なうことなく相互運用性を促進することを目的としています。
このシステムは、接続されているすべてのロールアップの配達確認を集計し、送信された個々の配達確認のマークルツリーを含む一意の配達確認を送信するように設計されています。
*特定の仮想マシンや実行環境は必要ありません *ブロックチェーンは独自のガス トークンを自由に選択できます *共同統治の対象となる必要はありません。
内部的には、これらすべてをまとめるインフラストラクチャはLxLyクロスチェーンブリッジであり、共通のクロスチェーンメッセージングプロトコルを標準化して、ロールアップが主権を維持しながら相互に通信したり、イーサリアムと通信したりできるようにします。
LxLyの仕組みの簡単な説明 👇
*各チェーンは、マークルツリー(出口ツリー)で引き出し転送を追跡します。 *すべての出口ツリーは、共有クロスチェーンであるグローバル出口ツリーにマージされます *検証と純引き出しの計算を可能にするためにローカルツリーとグローバルツリーを更新しました。
さらに、Agglayerは接続されたロールアップ間でクロスチェーン ブリッジを共有し、L1とL2の間のアセットのフローを簡素化します。 資産はL1契約で担保され、ラッピングやロック/ミンティングは行われません。
従来、フレームワークは単一の内部証明者に依存しており、検閲や活性の問題のリスクを冒していました。 証明者のネットワークは、中央集権的な方法で開始され、時間の経過とともに徐々に分散化される場合があります。
プルーバー市場の分散化はまだ未解決の問題ですが、いくつかのアプローチが検討されています。
*プルーフコンペティション:最速の証明者が勝ち、効率は向上しますが、計算を無駄にします(コストはユーザーに転嫁されます)。 *証明マイニング:PoW マイニングと同様に、乱数は勝者総取りを防ぐために使用されます(計算の無駄はまだ存在します)。 SNARK ASICのハードウェアアクセラレーションにより、コストがドロップすることが期待されます。
15.9K 人気度
4.7M 人気度
125.2K 人気度
79.4K 人気度
164.7K 人気度
Delphi Digital:モジュール化の新たな領域である共有プラベルを探る
Delphi Digitalによるオリジナル
オリジナルコンピレーション:ルフィ、フォーサイトニュース
モジュラー理論は一般に、DA(データ可用性)、コンセンサス、実行、決済の4つの層で構成されると考えられています。 しかし、新しい層である共有証明器は、モジュラー理論に統合される可能性があります。
それは、効率的でスケーラブルな検証に欠けている部分なのでしょうか? 共有プローバー、プルーフアグリゲーション、プルーバー市場は、zk-SNARKsの状況を変えています。 最新のレポートで、知っておく必要のあるすべてのことを学ぶことができます。
以下は、👇レポートの主なポイントをまとめたものです
zk Rollup の簡単なレビュー
zk Rollupソリューションは、イーサリアムのトランザクションサイズを拡張し、トランザクションをオフチェーンに移動して処理を高速化すると同時に、イーサリアム上でハード決定論を有効にし、zkプルーフ(zk-SNARKs)で検証することができます。
ZKプルーフ:高速検証、低速生成
zkプルーフはプライバシーとスケーリングの点で強力ですが、イーサリアムでプルーフを作成するのはコストがかかり、時間がかかる可能性があります。
認証のコストが高いため、zkアプリは制限されます。 認証アグリゲーションやプルーバーマーケットプレイスなどの新しいアプローチは、これらの制限に対処することを目的としています。
プロテンダーサプライチェーン
共有シーケンサーは、ブロックチェーン全体のトランザクションに高いスループットを提供します。 しかし、実際には何も証明していません。 将来的には、このタスクを委任するために、共有証明ネットワークと統合される可能性があります。
今日、ロールアップは、高価で個別のzk-SNARKs提出という課題に直面しています。
プルーフネットワークは、さまざまなZKアプリケーションがプルーフ生成を専用の認証サービスプロバイダーにアウトソーシングできる統合マーケットプレイスというソリューションを提供し、コストと効率を向上させます。
共有アテベータは、zkプルーフサポートを必要とするが、社内のzkVMまたは回線開発リソースが不足しているアプリケーションの状況を大幅に改善できます。
現在、ロールアップは個別のzkプルーフを提出するため、ピーク時にはガスコストが高くなります。
現在の証明ネットワークの目標は、効率を高めるために、注文で証明の生成を専門のハードウェアプロバイダーにアウトソーシングすることです。
ロールアップが最も長く、証明ネットワークに接続されているネットワークでは、トランザクションのライフサイクルは次のように機能します。
バリデーションのコストを配分する
プルーフ・シンギュラリティとは、コストドロップ オンチェーン 認証証明ために設計されたさまざまな手法を指します。
証明の集約は、これらの手法の 1 つであり、最も長い有効な証明を、すべての証明を検証する 1 つの証明に圧縮します。
この「バッチ検証」は、各証明を個別に検証する場合と比較してコストドロップ ガスことができます。
zk App Prover コスト
ZKアプリケーションの高い検証コストと証明時間は、最終的にユーザーに転嫁されます。
過去数年間、zkアプリケーション(主にロールアップ)は、オンチェーンで証明を検証および公開するために、ガスに約3,000万ドルを費やしてきました。
プルーフアグリゲーションプロトコルプロファイル
ネブラUPA
Nebra UPAを使用すると、zkアプリはロングプルーフをバンドルして検証コストをドロップでき、テストネットで毎秒約10プルーフをサポートすると主張しています。 現在、認証機関は一元化されていますが、後で許可の証明を必要とせずに実装する予定です。
これらは、既存のL2エスケープポッドと同様の強制収容メカニズムを備えています。 証明者が証明をレビューまたはレイテンシーする場合、zkアプリケーションは証明者をバイパスし、L1で証明の決済を強制できます。
整列レイヤー
アライメントレイヤーは、EigenLayer AVSによって保護されたイーサリアムのユニバーサルzk検証レイヤーです。 Restakersは、プルーフアグリゲーションと単一のイーサリアムコミットを通じて、ユーザーにソフトファイナリティを提供します。 デフォルトのDAはEigenDAですが、CelestiaやAvailなどの他のDAレイヤーを選択することもできます。
アグロスレイヤー
ポリゴンのAggLayerは、安全なクロスチェーン相互運用性のための中立的なインフラストラクチャです。 これは、独立したブロックチェーンネットワークを単一のクロスチェーン ブリッジに統合し、ブロックチェーン主権を損なうことなく相互運用性を促進することを目的としています。
このシステムは、接続されているすべてのロールアップの配達確認を集計し、送信された個々の配達確認のマークルツリーを含む一意の配達確認を送信するように設計されています。
*特定の仮想マシンや実行環境は必要ありません *ブロックチェーンは独自のガス トークンを自由に選択できます *共同統治の対象となる必要はありません。
内部的には、これらすべてをまとめるインフラストラクチャはLxLyクロスチェーンブリッジであり、共通のクロスチェーンメッセージングプロトコルを標準化して、ロールアップが主権を維持しながら相互に通信したり、イーサリアムと通信したりできるようにします。
LxLyの仕組みの簡単な説明 👇
*各チェーンは、マークルツリー(出口ツリー)で引き出し転送を追跡します。 *すべての出口ツリーは、共有クロスチェーンであるグローバル出口ツリーにマージされます *検証と純引き出しの計算を可能にするためにローカルツリーとグローバルツリーを更新しました。
さらに、Agglayerは接続されたロールアップ間でクロスチェーン ブリッジを共有し、L1とL2の間のアセットのフローを簡素化します。 資産はL1契約で担保され、ラッピングやロック/ミンティングは行われません。
従来、フレームワークは単一の内部証明者に依存しており、検閲や活性の問題のリスクを冒していました。 証明者のネットワークは、中央集権的な方法で開始され、時間の経過とともに徐々に分散化される場合があります。
プルーバー市場の分散化はまだ未解決の問題ですが、いくつかのアプローチが検討されています。
*プルーフコンペティション:最速の証明者が勝ち、効率は向上しますが、計算を無駄にします(コストはユーザーに転嫁されます)。 *証明マイニング:PoW マイニングと同様に、乱数は勝者総取りを防ぐために使用されます(計算の無駄はまだ存在します)。 SNARK ASICのハードウェアアクセラレーションにより、コストがドロップすることが期待されます。