紹介：この記事は、Celestiaの研究者であるNashQによる、Rollupモデル分析に関する散発的な声明をまとめたものであり、4つの新しいRollupバリアントを含んでいます。以前の記事「Celestia Researcherが6つのロールアップバリアントを分析：Sequencer=Aggregator+Header Generator「、彼は6つの異なるロールアップモデルをリストアップし、この記事はこの記事を基にした4種類のロールアップモデルの新しい抽象化です。

以前、NashQはシーケンサーシーケンサーを2つのモジュール、アグリゲーター+ヘッダープロデューサーに分割し、トランザクション命令のライフサイクルを切り取って、Celestia Sovereign Rollupがどのように機能するかを説明し、検閲耐性と異なるRollupバリアントの活動、およびユーザーが最小構成で信頼を最小限にするために実行する必要があるノードの最小の種類（つまり、トラストレス、Rollupユーザーが実行すべきノードの最小の種類は何ですか）。

Variant 7：ベースのRollup + 複数のヘッダープロデューサー + “highest Protocol MEV”

このRollupバリアントでは、Rollupネットワークのユーザーはトランザクションデータを直接DA層ブロックに投稿し、その後、ヘッダープロデューサーがトランザクションの順序付けを担当し、MEVはそれによって抽出されます。明らかに、Rollupバリアント7のトランザクション集約/含有プロセスは、以前に紹介されたBased Rollupと同じであり、DA層によって処理されます（ユーザーはトランザクションを直接DA層に投稿します）、しかし、Based Rollupとは異なり、DA層ノードがソートを担当していないため、ソートはHP（ヘッダープロデューサー）によって処理されます。

互いに競合する3つのHPがあり、「最高プロトコルMEV」と呼ばれるMEV割り当てプロトコルに従っていると仮定します。このプロトコルは、CosmosエコシステムのSkip Protocolによって提案されており、ブロックビルダーがブロックチェーンネットワークのバリデーターに追加の「チップ」を支払い、最もチップの多いビルダーによって構築されたブロックがバリデーターによって採用されるという点で、Ether PBSスキームとは異なります。最もチップをもらったビルダーによって構築されたブロックは、バリデーターによって採用されます。同時に、SKIPプロトコルは「Sovereign MEV」の概念を提唱しており、すべてのバリデーターとパブリックチェーンネットワークのコミュニティにMEV割り当ての自律性を持たせ、イーサネットPBSのフライホイール効果によるビルダーの集中化が進む問題を解決しようとしています(ただし、これはこの記事の核心ではありません)。).

この論文で提示されているRollupの変種では、異なるヘッダープロデューサーは、作成するバッチヘッダー内でチップ額を宣言する必要があり、最もチップを提示したHPによって投稿されたバッチヘッダーは、Rollupのノードによって自動的に受け入れられます（ノードのコードに記述された台帳フォーク選択アルゴリズムによって自動的に）。

これに加えて、HPによって公開されるバッチヘッダーは、DAレイヤー上の完全なトランザクションバッチバッチに対応できる必要があります。

HPが公開したヘッダーに、トランザクション実行結果Staterootが間違っている、またはバッチに特定のトランザクションが含まれていない(トランザクションの損失)などのエラーがある場合、正直なRollupフルノードは、不正防止の不正防止をライトノードにブロードキャストします。ただし、通常 (楽観的に)、ライトノードは HP によって公開されたヘッダーを受け入れ、問題がないと信じることができます。

検閲耐性分析：このRollupには、トランザクションの検閲が可能な2つのポイントが存在します。最初のポイントはDAレイヤーに存在し、特定のユーザーのトランザクションの含めを拒否することができます。2つ目のポイントもDAレイヤーにあり、HPによって提出されたヘッダーをレビューし、特定のヘッダーの含めを拒否して、ヘッダーと共謀してトランザクションの検閲攻撃を通じてMEVを独占することができます。

同時に、トランザクションのシーケンスはHPによって処理され、詐欺証拠（HPが取引をドロップする場合に使用できる）が存在するため、HP自体は検閲攻撃を行いがちではありませんが、DAレイヤーノードに賄賂を贈ることができます（または一部のDAレイヤーノードを自ら実行することもできます）。これの解決策は、Rollupトランザクションシーケンスが確定されるウィンドウ期間を延長し、悪意のあるDAレイヤーノードによって拒否されたヘッダーが、ウィンドウ期間が終了する前に誠実なDAレイヤーノードによってチェーンに含まれるようにすることです。これにより、DAレイヤーノードの検閲攻撃の難易度が増加します。

アクティビティ：L = L_da && ( L_hp1 || L_hp2 || L_hp3 )

DAレイヤーにアクティブな障害がある場合、Rollupにもアクティブな障害が発生します。この基準に基づいて、すべてのHPにアクティブな障害がある場合にのみ、Rollupにアクティブな障害が発生します。

Variant 8: ZK Rollup with Shared Aggregator + Decentralized Prover

Variant 8は、トランザクションの含有および順序付けに共有アグリゲータ（SA）を使用し、SAはトランザクションシーケンスバッチをDAレイヤに公開し、トランザクションの順序は、トランザクションシーケンスがDAレイヤに送信された後、理論的に変更されないとされています。

そして、バッチがDAレイヤーに送信される前に、共有アグリゲータSAは最初にバッチ+SAヘッダーをフルノードとプルーバにブロードキャストし、SAヘッダーをライトノードにブロードキャストすることができます。ただし、この時点では、DAレイヤーにないバッチはまだ不安定であり、いつでも置き換えられる可能性があります。

Shared Aggregator SAによって公開されたヘッダーは、HPによって公開されたバッチヘッダーとは異なることに注意することが重要です。SAヘッダーには、ロールアップノードがDAレイヤーから読み取るバッチが実際にSAによって生成されたことを保証するための暗号証明が含まれており、それによって偽造されていないことが示されています。

Proverは、DAレイヤーからトランザクションバッチBatchを読み取り（共有集約器に直接同期も行います）、ZK Proof+Batchヘッダーを生成し、DAレイヤーに公開します。明らかに、ProverはHPとして機能します。

Rollupのライトノードの場合、ZKProofを受け取った後、このバッチに含まれるトランザクションのシーケンスが最終決定されます。もちろん、プルーバはRollupのp2pネットワークを介してDAレイヤーチェーンの下でZKPをブロードキャストすることもでき、そのようにしてライトノードがより早く受信できますが、この時点ではZKPはまだDAレイヤーに送信されておらず、「最終性」を持っていません。

検閲耐性：バリアント8では、DAレイヤーは一部のペン固有のトランザクションに対する検閲攻撃を行うことはできませんが、共有アグリゲータによって提出されたトランザクションのバッチ全体に対するバッチ検閲攻撃のみを行うことができます。同時に、共有アグリゲータは特定のユーザーのトランザクションをパッケージ化することを拒否することができます。

アクティブ：L = L_da && L_sa && L_pm。この変異体のいずれかの部分がアクティブに失敗すると、Rollup はアクティブに失敗します。検証者が失敗した場合、軽量ノードは Rollup 台帳の進行を効率的に同期させることができません。しかし、フルノードはすべてのトランザクションシーケンスバッチを同期するため、帳簿の進行に追いつくことができます。この時、フルノードは影響を受けず、すべての軽量ノードが失敗します。これは、以前に共有アグリゲータを使用したベース Rollup の場合と同等です。

信頼最小化のための最小構成：DAティアライトノード+共有アグリゲータネットワークライトノード+Rollupライトノード

Variant 9: 共有アグリゲータ + 分散型プルーバ + 複数のDAを持つZK-Rollup

バリアント9は実際には、上記のバリアント8の展開に基づいていますが、複数のDAレイヤーを持っており、Rollupのアクティビティを効果的に向上させることができます。バリアント9では、共有アグリゲータSAは、任意のDAレイヤーにトランザクションシーケンスBatchを公開することができ、自身のニーズに応じて異なるDAレイヤーを選択してデータを公開することができます。これにより、Rollupの関連パラメータ（データコスト、セキュリティ、アクティビティ、トランザクション遅延、完了）を動的に最適化することができます。

ロールアッププロジェクターのニーズに応じて、最も安価で安全で最も活発で最も迅速に決済されるロールアップがカスタマイズされ、スループットが最も高いDAレイヤーが選択されることができます。一般的に、特定のロールアップブロックの高さ（例：10,000番目）のバッチは、異なるDAレイヤー上に存在する必要はありませんが、存在する場合、その内容は同じでなければなりません。同じ高さで異なる内容の2つのバッチが異なるDAレイヤー上に存在する場合、共有アグリゲーターが意図的に台帳のフォークに関与していることを意味します。

ここでは、Proverがヘッダープロデューサーとして機能し、バッチヘッダーとZKProofを公開する変種8と同じ分散型Proverマーケットを選択します。この時点で、Proverは変種7で言及されているチップオークションメカニズムを通じて競争する必要があります（SKIPプロトコルによって提案されたもの）。

9つのバリアントのトランザクション決済スピード（最終確認スピード）は、採用しているブロックの中で最も速いDAレイヤーに影響を受けます。

Censorship resistance: shared aggregators can engage in censorship attacks, but the number of optional DA layers becomes larger, and the likelihood of censorship attacks associated with DA layers decreases.

アクティビティ: L = (L_da1 || L_da2) && L_sa && L_pm.

Variant 9は、以前のバリアントと比較してより活発です。すべてのDAレイヤーネットワークで活動の障害がない限り、すべてが通常通り進行できます。

信頼最小化のための最小構成: 異なるDAレイヤーのライトノード + 共有アグリゲータネットワークライトノード + Rollupライトノード。

明らかに、より多くのDAレイヤーを使用するほど、実行する軽量ノードも増えます。しかし、その利点はコストを上回る可能性があります。

バリアント 10: 2 つの ZK-Rollup + オンチェーン ライト ノードを持つ分散型証明者 (ブリッジ可能)

Variant 10は、互いにブリッジできる2つのZK-Rollupを作成することを目的として、Variant 5の拡張です。Variant 5（ベースロールアップ+ZKP+分散型プルーバー）と比較して、Variant 10にはリピーターリレイヤーとしての追加役割があり、バッチヘッダー+ZK-プルーフを単一のトランザクションにラップします。このトランザクションをRollup1ライトノードに送信することで、Rollup2が実行されていることを証明し、ある高さのバッチが有効であることを証明します。もちろん、Rollup2もDAレイヤーのライトノードを実行する必要があります。

これは、クロスチェーンブリッジの信頼を最小限に抑えるための前提条件です。ただし、Ether Rollup（スマートコントラクトベースのSC Rollup）からEtherにクロスする場合、RollupのDAレイヤーの軽量ノードを実行する必要はもはやありません。なぜなら、DAレイヤー自体がEtherだからです。これは、CelestiaのSovereign Rollupとは非常に異なります。ここでは、Rollup同士がクロスするために相互にDAレイヤーの軽量ノードを実行する必要があります。

Relayerがクロスチェーン取引を送信すると、Rollup2のアグリゲーター2とHP2によって処理されます。両方をグラフに追加して、Rollup2のノードがクロスロールアップ取引をどのように処理するかを理解します。

Rollup 2のリピーターリレーアはRollup 2のバッチヘッダーとZKPを取得し、Rollup 1に送信します。Rollup 1にはRollup 2用のライトノードとDAレイヤー用のライトノードもあります。

モデルをより簡略化することができます。2つのロールアップが同じ共有アグリゲーターとヘッダープロデューサーを使用すると仮定し、つまり、重複するDAレイヤーを使用します。

この場合、Relayerは直接非合法化される可能性があります。 HPによってバッチヘッダーとZK証明が同じDAレイヤーに公開されたため、他のRollupのヘッダーやZKPなどのデータはDAレイヤーで直接読むことができ、もはやRelayerを介して共有アグリゲータに渡す必要はありません。

明らかに、同じDAレイヤーを使用するロールアップは、リレーヤーに依存する必要がありません（多くのクロスチェーンブリッジはリレーノードに依存しています）。これにより、クロスチェーンブリッジのセキュリティ問題が解決されます（この観点から見ると、イーサリアム内のSCロールアップ間の相互スパニングは、異なるパブリックチェーン間の相互スパニングよりも安全です）。

この時点では、信頼度を最小限に抑えるための最小構成：DAティアのライトノード+ロールアップのライトノード。

ステートメント：

1. この記事は[[Geek Web3]から転載されましたhttps://mp.weixin.qq.com/s/Wi4FPTCZli5g8UGVkYFnlw) ],著作権は原著作者に帰属します[NashQ, Celestia], if you have any objections to the reprint, please contactGate Learnチーム、チームは関連するプロセスに従ってできるだけ早く対処される予定です。
2. 免責事項: この記事で表現された見解や意見は著者個人の見解を表しており、投資アドバイスを構成するものではありません。
3. 他の言語の記事はGate Learnチームによって翻訳され、参照なしに複製、配布、コピーすることはできません。Gate.io.