著者：ファウスト、オタクウェブ3
はじめに: 最近、Danksharding の作成者でイーサリアム財団の研究者である Dankrad Feist が Twitter で物議を醸す発言をしました。同氏は、DA層（データ可用性層）としてETHを使用しないモジュラーブロックチェーンはロールアップではなく、イーサリアム層2でもないことを明確に指摘した。 Dankrad 氏によると、Arbitrum Nova、Immutable X、ApeX、Metis はすべて、ETH の外部にトランザクション データのみを開示しているため (DAC と呼ばれる独自のオフチェーン DA ネットワークを構築しているため)、レイヤー 2 リストからすべて「削除」される可能性があります。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-3c1ddb3168-dd1a6f-1c6801)
同時に、ダンクラッド氏は、セキュリティを確保するためにオンチェーンのデータ可用性（データ可用性）を必要としないプラズマやステートチャネルのようなソリューションは依然としてレイヤー2であるが、Validium（DAレイヤーとしてETHを使用しないZKRollup）であるとも述べました。レイヤ 2 ではありません。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-f619f0e656-dd1a6f-1c6801)
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-5b87792897-dd1a6f-1c6801)
Dankrad 氏の発言が世に出るとすぐに、ロールアップ分野の多くの創設者や研究者がこれに疑問を抱きました。結局のところ、コストを節約するためにETHをDA（データ可用性）レイヤーとして使用しない「レイヤー2」プロジェクトが多くあり、これらのプロジェクトがL2リストから除外されれば、かなりの拡張に影響を与えることは避けられません。同時に、validium が L2 としてカウントされない場合、Plasma も L2 として認定されるべきではありません。
この点に関して、ダンクラッド氏は、DAが利用できない場合（つまり、チェーン下のDA層ネットワークがデータを保留し、トランザクションデータを開示しない場合）でも、プラズマユーザーは安全に資産をL1に引き出すことができるが、同じ状況下ではあると述べた。 , Validium (StarkEx スキームを使用するほとんどのプロジェクトは validium) ですが、ユーザーが L1 に資金を引き出すことができなくなり、資金が凍結される可能性があります。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-c620bace3c-dd1a6f-1c6801)
明らかに、Dankrad は拡張プロジェクトがイーサリアム レイヤー 2 であるかどうかを「安全かどうか」から定義するつもりです。 「セキュリティ」の観点から見ると、Validium は実際に L2 でユーザー資産を凍結することができ、シーケンサーの障害 + DA 層がデータ保留攻撃 (新しいデータを隠蔽) を開始する極端なケースでは L1 について言及することはできません。Validium とは設計が異なりますが、ほとんどの機能が異なります。セキュリティは Validium ほど良くありませんが、シーケンサーの障害 + DA 層がデータ保留攻撃 (新しいデータを隠蔽) を開始した場合、ユーザーは資産を L1 に安全に退避させることができます。したがって、ダンクラッドのレトリックは理にかなっています。
この記事では、Dankrad の観点から開始し、Layer2 の詳細をさらに分析して、Validium が厳密には「Layer2」ではない理由を理解することを目的としています。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-89b997d3bd-dd1a6f-1c6801)
ethereum.org Web サイトおよびイーサリアム コミュニティのほとんどのメンバーの定義によれば、レイヤー 2 は「イーサリアムの容量を拡張し、イーサリアムのセキュリティを継承する独立したブロックチェーン」です。まず「イーサリアムの容量を拡張する」とは、イーサリアムが伝送できないトラフィックを迂回し、TPSの圧力を分担することを指します。そして、「イーサリアムのセキュリティを継承する」とは、実際には「イーサリアムの助けを借りて自らのセキュリティを守る」と言い換えることができます。
たとえば、レイヤー 2 のすべてのトランザクション Tx は ETH 上で終了する必要があり、間違ったデータを含む Tx は解放されません。レイヤー 2 ブロックをロールバックしたい場合は、イーサリアム ブロックが有効である限り、最初にイーサリアム ブロックをロールバックする必要があります。メイン ネットワークの L2 ブロックは、51% 攻撃と同様のブロック ロールバックがなければロールバックされません。
レイヤ 2 のセキュリティをさらに詳しく調査すると、実際には考慮すべき特殊なケースが数多くあります。たとえば、L2 プロジェクト パーティが暴走し、シーケンサーが故障し、オフチェーン DA レイヤーがハングアップした場合、これらの極端なイベントが発生したときに、ユーザーは L2 上の資金を安全に L1 に引き出すことができるでしょうか?
L2 契約のアップグレード/マルチシグネチャの隠れた危険などの要因に関係なく、実際には、Arbitrum や StarkEx など、ユーザーが強制出金を設定するための出口があります。 L2 のシーケンサーが検閲攻撃を開始するか、ユーザーのトランザクション/引き出し要求を意図的に拒否するか、単に永久にシャットダウンすると仮定すると、Arbitrum ユーザーは、L1 上のシーケンサー受信ボックス コントラクトの強制インクルージョン機能を呼び出して、トランザクション データを L1 に直接送信できます。 ; 24 時間以内に、シーケンサーは「強制的に含める」必要があるトランザクション/出金を処理していないため、トランザクションはロールアップ台帳のトランザクション シーケンスに直接組み込まれ、L2 ユーザーに対して「必須の出金」が作成されます。出口"。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-2f7c9b10ae-dd1a6f-1c6801)
対照的に、脱出ポッド Escape Hetch メカニズムを備えた StarkEx スキームはさらに悪いです。 L1 によって送信された強制引き出しリクエストが 7 日間以内に終了したときに、L2 ユーザーがシーケンサーから応答を受け取らなかった場合、ユーザーは凍結リクエスト関数を呼び出して、L2 が凍結期間に入ることを許可できます。現時点では、L2 シーケンサーは L1 上の L2 状態を更新できず、L2 状態が凍結されてから凍結が解除されるまでに 1 年かかります。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-0eaa165746-dd1a6f-1c6801)
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-9de6649b97-dd1a6f-1c6801)
L2 状態が凍結された後、ユーザーは現在の状態に関連するマークル証明を構築して、L2 に XX 額の資金があることを証明し、L1 でエスケープ ヘッチ関連のコントラクトを通じて資金を引き出すことができます。これは、StarkEx プログラムが提供する「全額引き出し」サービスです。 L2 プロジェクト パーティーがいなくなり、シーケンサーが永続的に故障したとしても、ユーザーは依然として L2 から資金を引き出す方法があります。
しかし、ここで問題があります。StarkEx スキームを使用する L2 のほとんどは Validium (Immutable X や ApeX など) であり、DA が必要とするデータを ETH に公開せず、現在の L2 状態ツリーを構築するための情報が保存されます。オフチェーン。ユーザーがオフチェーンでマークルプルーフを構築するためのデータを取得できない場合（たとえば、オフチェーン DA レイヤーがデータ保留攻撃を開始する場合）、エスケープポッドを介して資金を引き出すことは不可能です。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-356a929776-dd1a6f-1c6801)
これまでのところ、記事の冒頭で Dankrad 氏が Validium が安全ではないと信じている理由は、実際には非常に明確です。Validium はロールアップのような DA データをチェーンに送信しないため、ユーザーは「強制」に必要なマークルを構築できない可能性があります。撤退」の証拠。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-2002df37f7-dd1a6f-1c6801)
実際、Validium のシーケンサーは、L1 チェーン上の L2 の最新の Stateroot (状態ツリーのルート) のみを公開し、その後、新しい Stateroot に含まれる状態遷移 (ユーザー資金の変更) を証明するために Validity Proof (ZK Proof) を提出します。生成過程も、全て正しいです。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-21740861e5-dd1a6f-1c6801)
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-4821191c66-dd1a6f-1c6801)
しかし、現時点ではstaterootだけではステートツリー世界ステートトライを復元することはできず、各L2アカウントの具体的な状態（資金残高を含む）を知ることは不可能であり、L2ユーザーは現在の合法的なStaterootに対応するマークルプルーフを構築することはできません。ここが Validium の不利な点です。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-f6f4ddb1de-dd1a6f-1c6801)
ここでDACのことを強調しなければなりません。シーケンサーで処理された最新のトランザクションバッチなど、Validium の DA に関わるデータは、Data Availability Committee (DAC) と呼ばれる L2 専用の DA ネットワークに同期され、コミュニティ メンバーまたはその他の部門が運用と監督を担当します (しかし、これは表面上にすぎず、実際には、DAC メンバーが誰であるかを外部の世界が確認することは困難です)。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点からレイヤー 2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-1bab61a86d-dd1a6f-1c6801) 興味深いのは、Validium の DAC メンバーは頻繁に送信する必要があるということです。 L1 マルチ署名では、L1 の L2 シーケンサーによって送信された新しい Stateroot および Validity Proof が、DAC によって同期された DA データと照合できることを証明します。 DAC の複数署名の提出後、新しい Stateroot および Validity Proof は合法とみなされます。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-306bc94473-dd1a6f-1c6801)
現在、Immutable XのDACは5/7マルチシグネチャを採用していますが、dYdXはZKRollupではありますが、1/2マルチシグネチャを採用したDACも搭載しています。 (dYdX は、完全なトランザクション データではなく、L1 の状態の差分、つまり状態の変化のみを公開します。ただし、履歴レコード内の状態の差分を取得した後、すべての L2 アドレスの資産残高を復元でき、マークル プルーフを構築できます。今度は全額撤退する）。
ダンクラッドの言い分も一理ある。 Validium の DAC メンバーが共謀してデータ保留攻撃を開始し、他の L2 ノードがその時点で最新のデータを同期できないようにし、その時点で L2 の法的ステートルートを更新した場合、ユーザーは法的規則に対応するマークル証明を構築できません。現時点では、お金を引き出すためにrootにアクセスしてください（現在のDAデータはもう利用できないため、以前のDAデータは利用可能です）。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-83a810d33d-dd1a6f-1c6801)
しかし、Dankrad は理論上の極端なケースのみを考慮しており、実際には、ほとんどの Validium シーケンサーは、新しく処理されたトランザクション データを、多くの正直なノードを含む他の L2 ノードにリアルタイムでブロードキャストします。 DA データを時間内に取得できる正直なノードが 1 つある限り、ユーザーは L2 から脱出できます。
しかし、理論的には Validium に存在する問題が、なぜ Plasma には存在しないのでしょうか?これは、Plasma が合法的な Stateroot を決定する方法が Validium とは異なるためであり、不正行為の証拠となるウィンドウ期間があるためです。 Plasma は、OPRollup より前の L2 拡張ソリューションであり、OPR と同様に、不正行為の証明に依存して L2 のセキュリティを確保します。
プラズマには OPR と同様にウィンドウ期間が設定されており、シーケンサーによってリリースされた新しいステートルートはすぐには合法であると判断されず、ウィンドウ期間が終了し、L2 ノードによって発行された不正証明書がなくなるまで待つ必要があります。したがって、プラズマとOPRの現在の合法的なステートルートは数日前に提出されており（これは私たちが見ているスターライトのようなもので、実際にはかなり前に発行されました）、ユーザーは多くの場合、過去の瞬間のDAデータを取得できます。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-8132af49f5-dd1a6f-1c6801)
同時に、現時点で不正防止メカニズムが有効になるための前提条件は、その時点で L2 DA が利用可能であること、つまり、Plasma の Verifier ノードがその時点で DA に含まれるデータを取得できることです。現時点での不正行為の証拠を（必要に応じて）生成できること。
したがって、すべては非常に単純です。Plasma が正常に動作する前提は、現時点で L2 の DA データが利用可能であるということです。今後、L2 の DA が利用できなくなった場合、ユーザーは安全に資金を引き出すことができますか?
この問題は分析するのが難しくありません。Plasma のウィンドウ期間が 7 日であると仮定すると、特定の時点 T0 から開始すると、新しい DA データは利用できなくなります (DAC は、正直な L2 ノードがデータを取得できないようにするためにデータ保留攻撃を開始します)。 T0 以降のデータ)。 T0 およびその後の一定期間の合法的な Stateroot は T0 より前に提出されており、T0 より前の履歴データを追跡できるため、ユーザーは強制的に撤回するためのマークル プルーフを構築できます。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-0ea4691a94-dd1a6f-1c6801)
すぐに異常を検知できない人も多いですが、猶予期間（OPは7日間）があるため、T0で提出されたStaterootが合法化されておらず、T0以前のDAデータが追跡できる限り、安全に退会することができます。 L2 からのお金。
これまでのところ、セキュリティの観点から Validium と Plasma の違いを大まかに理解できます。
Validium のシーケンサーが Stateroot をリリースした後、Validity Proof と DAC マルチ署名を即座にリリースする限り、それを合法化し、最新の合法的な Stateroot になることができます。ユーザーと誠実な L2 ノードがデータ保留攻撃に遭遇した場合、データ保留攻撃に対応するマークルを構築することはできません。現在の合法的な Stateroot. その証拠に、L1 にお金を引き出すことはできません。
ただし、Plasma が新しい Stateroot を提出した後は、ウィンドウ期間が終了するまでは合法になりません。この時点では、合法な Stateroot は過去に提出されていました。ウィンドウ期間があるため (ARB は 3 日、OP は 7 日)、新しく提出された Stateroot DA データが利用できない場合でも、ユーザーは現在の合法的な Stateroot DA データをまだ保持しています (合法的なルートは過去に提出されています)。 、L1に撤退を強制するのに十分な時間があります。
したがって、ダンクラッドの言ったことは理にかなっています。データ保留攻撃が発生すると、Validium ではユーザー資産が L2 にトラップされる可能性がありますが、Plasma ではこの問題は発生しません。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-362ee6b9e2-dd1a6f-1c6801)
したがって、オフチェーン DA 層に対するデータ保留攻撃は多くのセキュリティ リスクを引き起こすことになりますが、Celestia が解決しようとしているのはこの問題です。さらに、ほとんどのレイヤー 2 プロジェクトは、L2 ノードとシーケンサーをオフチェーンで同期させるためのサービス ポートを提供するため、Dankrad 氏の懸念は現実的なものではなく、理論的なものであることがよくあります。
細かいところを指摘して、より極端な仮説を立てると、すべての Plasma オフチェーン ノードが利用できなくなり、L2 ノードを経由していない一般のユーザーは L1 に強制的に撤退することができなくなります。しかし、そのようなことが起こる確率は、パブリック チェーンのすべてのノードが集合的に永久にダウンする確率と同等であり、決して起こらない可能性があります。
そのため、多くの場合、人々は決して起こらなかったことについて話しているだけです。ちょうど、アメリカのドラマ「チェルノブイリ」でリック・ガーブ副会長が主人公に放った「決して起こらないことをなぜ心配するのか」という金言のように。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-f3c8ceca25-dd1a6f-1c6801)
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-7b85030092-dd1a6f-1c6801)
40k 人気度
15k 人気度
9k 人気度
17k 人気度
62k 人気度
31k 人気度
3k 人気度
96k 人気度
27k 人気度
DA レイヤーとして Ethereum を使用しない場合、Rollup としてカウントされませんか?ダンクシャーディング提案者の観点からレイヤー 2 を理解する
著者：ファウスト、オタクウェブ3
はじめに: 最近、Danksharding の作成者でイーサリアム財団の研究者である Dankrad Feist が Twitter で物議を醸す発言をしました。同氏は、DA層（データ可用性層）としてETHを使用しないモジュラーブロックチェーンはロールアップではなく、イーサリアム層2でもないことを明確に指摘した。 Dankrad 氏によると、Arbitrum Nova、Immutable X、ApeX、Metis はすべて、ETH の外部にトランザクション データのみを開示しているため (DAC と呼ばれる独自のオフチェーン DA ネットワークを構築しているため)、レイヤー 2 リストからすべて「削除」される可能性があります。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-3c1ddb3168-dd1a6f-1c6801)
同時に、ダンクラッド氏は、セキュリティを確保するためにオンチェーンのデータ可用性（データ可用性）を必要としないプラズマやステートチャネルのようなソリューションは依然としてレイヤー2であるが、Validium（DAレイヤーとしてETHを使用しないZKRollup）であるとも述べました。レイヤ 2 ではありません。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-f619f0e656-dd1a6f-1c6801)
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-5b87792897-dd1a6f-1c6801)
Dankrad 氏の発言が世に出るとすぐに、ロールアップ分野の多くの創設者や研究者がこれに疑問を抱きました。結局のところ、コストを節約するためにETHをDA（データ可用性）レイヤーとして使用しない「レイヤー2」プロジェクトが多くあり、これらのプロジェクトがL2リストから除外されれば、かなりの拡張に影響を与えることは避けられません。同時に、validium が L2 としてカウントされない場合、Plasma も L2 として認定されるべきではありません。
この点に関して、ダンクラッド氏は、DAが利用できない場合（つまり、チェーン下のDA層ネットワークがデータを保留し、トランザクションデータを開示しない場合）でも、プラズマユーザーは安全に資産をL1に引き出すことができるが、同じ状況下ではあると述べた。 , Validium (StarkEx スキームを使用するほとんどのプロジェクトは validium) ですが、ユーザーが L1 に資金を引き出すことができなくなり、資金が凍結される可能性があります。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-c620bace3c-dd1a6f-1c6801)
明らかに、Dankrad は拡張プロジェクトがイーサリアム レイヤー 2 であるかどうかを「安全かどうか」から定義するつもりです。 「セキュリティ」の観点から見ると、Validium は実際に L2 でユーザー資産を凍結することができ、シーケンサーの障害 + DA 層がデータ保留攻撃 (新しいデータを隠蔽) を開始する極端なケースでは L1 について言及することはできません。Validium とは設計が異なりますが、ほとんどの機能が異なります。セキュリティは Validium ほど良くありませんが、シーケンサーの障害 + DA 層がデータ保留攻撃 (新しいデータを隠蔽) を開始した場合、ユーザーは資産を L1 に安全に退避させることができます。したがって、ダンクラッドのレトリックは理にかなっています。
この記事では、Dankrad の観点から開始し、Layer2 の詳細をさらに分析して、Validium が厳密には「Layer2」ではない理由を理解することを目的としています。
Layer2 を定義するにはどうすればよいですか?
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-89b997d3bd-dd1a6f-1c6801)
ethereum.org Web サイトおよびイーサリアム コミュニティのほとんどのメンバーの定義によれば、レイヤー 2 は「イーサリアムの容量を拡張し、イーサリアムのセキュリティを継承する独立したブロックチェーン」です。まず「イーサリアムの容量を拡張する」とは、イーサリアムが伝送できないトラフィックを迂回し、TPSの圧力を分担することを指します。そして、「イーサリアムのセキュリティを継承する」とは、実際には「イーサリアムの助けを借りて自らのセキュリティを守る」と言い換えることができます。
たとえば、レイヤー 2 のすべてのトランザクション Tx は ETH 上で終了する必要があり、間違ったデータを含む Tx は解放されません。レイヤー 2 ブロックをロールバックしたい場合は、イーサリアム ブロックが有効である限り、最初にイーサリアム ブロックをロールバックする必要があります。メイン ネットワークの L2 ブロックは、51% 攻撃と同様のブロック ロールバックがなければロールバックされません。
レイヤ 2 のセキュリティをさらに詳しく調査すると、実際には考慮すべき特殊なケースが数多くあります。たとえば、L2 プロジェクト パーティが暴走し、シーケンサーが故障し、オフチェーン DA レイヤーがハングアップした場合、これらの極端なイベントが発生したときに、ユーザーは L2 上の資金を安全に L1 に引き出すことができるでしょうか?
Layer2 の「強制離脱」メカニズム
L2 契約のアップグレード/マルチシグネチャの隠れた危険などの要因に関係なく、実際には、Arbitrum や StarkEx など、ユーザーが強制出金を設定するための出口があります。 L2 のシーケンサーが検閲攻撃を開始するか、ユーザーのトランザクション/引き出し要求を意図的に拒否するか、単に永久にシャットダウンすると仮定すると、Arbitrum ユーザーは、L1 上のシーケンサー受信ボックス コントラクトの強制インクルージョン機能を呼び出して、トランザクション データを L1 に直接送信できます。 ; 24 時間以内に、シーケンサーは「強制的に含める」必要があるトランザクション/出金を処理していないため、トランザクションはロールアップ台帳のトランザクション シーケンスに直接組み込まれ、L2 ユーザーに対して「必須の出金」が作成されます。出口"。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-2f7c9b10ae-dd1a6f-1c6801)
対照的に、脱出ポッド Escape Hetch メカニズムを備えた StarkEx スキームはさらに悪いです。 L1 によって送信された強制引き出しリクエストが 7 日間以内に終了したときに、L2 ユーザーがシーケンサーから応答を受け取らなかった場合、ユーザーは凍結リクエスト関数を呼び出して、L2 が凍結期間に入ることを許可できます。現時点では、L2 シーケンサーは L1 上の L2 状態を更新できず、L2 状態が凍結されてから凍結が解除されるまでに 1 年かかります。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-0eaa165746-dd1a6f-1c6801)
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-9de6649b97-dd1a6f-1c6801)
L2 状態が凍結された後、ユーザーは現在の状態に関連するマークル証明を構築して、L2 に XX 額の資金があることを証明し、L1 でエスケープ ヘッチ関連のコントラクトを通じて資金を引き出すことができます。これは、StarkEx プログラムが提供する「全額引き出し」サービスです。 L2 プロジェクト パーティーがいなくなり、シーケンサーが永続的に故障したとしても、ユーザーは依然として L2 から資金を引き出す方法があります。
しかし、ここで問題があります。StarkEx スキームを使用する L2 のほとんどは Validium (Immutable X や ApeX など) であり、DA が必要とするデータを ETH に公開せず、現在の L2 状態ツリーを構築するための情報が保存されます。オフチェーン。ユーザーがオフチェーンでマークルプルーフを構築するためのデータを取得できない場合（たとえば、オフチェーン DA レイヤーがデータ保留攻撃を開始する場合）、エスケープポッドを介して資金を引き出すことは不可能です。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-356a929776-dd1a6f-1c6801)
これまでのところ、記事の冒頭で Dankrad 氏が Validium が安全ではないと信じている理由は、実際には非常に明確です。Validium はロールアップのような DA データをチェーンに送信しないため、ユーザーは「強制」に必要なマークルを構築できない可能性があります。撤退」の証拠。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-f619f0e656-dd1a6f-1c6801)
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-2002df37f7-dd1a6f-1c6801)
データ保留攻撃が発生した場合の Validium と Plasma の違い
実際、Validium のシーケンサーは、L1 チェーン上の L2 の最新の Stateroot (状態ツリーのルート) のみを公開し、その後、新しい Stateroot に含まれる状態遷移 (ユーザー資金の変更) を証明するために Validity Proof (ZK Proof) を提出します。生成過程も、全て正しいです。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-21740861e5-dd1a6f-1c6801)
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-4821191c66-dd1a6f-1c6801)
しかし、現時点ではstaterootだけではステートツリー世界ステートトライを復元することはできず、各L2アカウントの具体的な状態（資金残高を含む）を知ることは不可能であり、L2ユーザーは現在の合法的なStaterootに対応するマークルプルーフを構築することはできません。ここが Validium の不利な点です。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-f6f4ddb1de-dd1a6f-1c6801)
ここでDACのことを強調しなければなりません。シーケンサーで処理された最新のトランザクションバッチなど、Validium の DA に関わるデータは、Data Availability Committee (DAC) と呼ばれる L2 専用の DA ネットワークに同期され、コミュニティ メンバーまたはその他の部門が運用と監督を担当します (しかし、これは表面上にすぎず、実際には、DAC メンバーが誰であるかを外部の世界が確認することは困難です)。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点からレイヤー 2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-1bab61a86d-dd1a6f-1c6801) 興味深いのは、Validium の DAC メンバーは頻繁に送信する必要があるということです。 L1 マルチ署名では、L1 の L2 シーケンサーによって送信された新しい Stateroot および Validity Proof が、DAC によって同期された DA データと照合できることを証明します。 DAC の複数署名の提出後、新しい Stateroot および Validity Proof は合法とみなされます。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-306bc94473-dd1a6f-1c6801)
現在、Immutable XのDACは5/7マルチシグネチャを採用していますが、dYdXはZKRollupではありますが、1/2マルチシグネチャを採用したDACも搭載しています。 (dYdX は、完全なトランザクション データではなく、L1 の状態の差分、つまり状態の変化のみを公開します。ただし、履歴レコード内の状態の差分を取得した後、すべての L2 アドレスの資産残高を復元でき、マークル プルーフを構築できます。今度は全額撤退する）。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-f619f0e656-dd1a6f-1c6801)
ダンクラッドの言い分も一理ある。 Validium の DAC メンバーが共謀してデータ保留攻撃を開始し、他の L2 ノードがその時点で最新のデータを同期できないようにし、その時点で L2 の法的ステートルートを更新した場合、ユーザーは法的規則に対応するマークル証明を構築できません。現時点では、お金を引き出すためにrootにアクセスしてください（現在のDAデータはもう利用できないため、以前のDAデータは利用可能です）。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-83a810d33d-dd1a6f-1c6801)
しかし、Dankrad は理論上の極端なケースのみを考慮しており、実際には、ほとんどの Validium シーケンサーは、新しく処理されたトランザクション データを、多くの正直なノードを含む他の L2 ノードにリアルタイムでブロードキャストします。 DA データを時間内に取得できる正直なノードが 1 つある限り、ユーザーは L2 から脱出できます。
しかし、理論的には Validium に存在する問題が、なぜ Plasma には存在しないのでしょうか?これは、Plasma が合法的な Stateroot を決定する方法が Validium とは異なるためであり、不正行為の証拠となるウィンドウ期間があるためです。 Plasma は、OPRollup より前の L2 拡張ソリューションであり、OPR と同様に、不正行為の証明に依存して L2 のセキュリティを確保します。
プラズマには OPR と同様にウィンドウ期間が設定されており、シーケンサーによってリリースされた新しいステートルートはすぐには合法であると判断されず、ウィンドウ期間が終了し、L2 ノードによって発行された不正証明書がなくなるまで待つ必要があります。したがって、プラズマとOPRの現在の合法的なステートルートは数日前に提出されており（これは私たちが見ているスターライトのようなもので、実際にはかなり前に発行されました）、ユーザーは多くの場合、過去の瞬間のDAデータを取得できます。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-8132af49f5-dd1a6f-1c6801)
同時に、現時点で不正防止メカニズムが有効になるための前提条件は、その時点で L2 DA が利用可能であること、つまり、Plasma の Verifier ノードがその時点で DA に含まれるデータを取得できることです。現時点での不正行為の証拠を（必要に応じて）生成できること。
したがって、すべては非常に単純です。Plasma が正常に動作する前提は、現時点で L2 の DA データが利用可能であるということです。今後、L2 の DA が利用できなくなった場合、ユーザーは安全に資金を引き出すことができますか?
この問題は分析するのが難しくありません。Plasma のウィンドウ期間が 7 日であると仮定すると、特定の時点 T0 から開始すると、新しい DA データは利用できなくなります (DAC は、正直な L2 ノードがデータを取得できないようにするためにデータ保留攻撃を開始します)。 T0 以降のデータ)。 T0 およびその後の一定期間の合法的な Stateroot は T0 より前に提出されており、T0 より前の履歴データを追跡できるため、ユーザーは強制的に撤回するためのマークル プルーフを構築できます。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-0ea4691a94-dd1a6f-1c6801)
すぐに異常を検知できない人も多いですが、猶予期間（OPは7日間）があるため、T0で提出されたStaterootが合法化されておらず、T0以前のDAデータが追跡できる限り、安全に退会することができます。 L2 からのお金。
要約
これまでのところ、セキュリティの観点から Validium と Plasma の違いを大まかに理解できます。
Validium のシーケンサーが Stateroot をリリースした後、Validity Proof と DAC マルチ署名を即座にリリースする限り、それを合法化し、最新の合法的な Stateroot になることができます。ユーザーと誠実な L2 ノードがデータ保留攻撃に遭遇した場合、データ保留攻撃に対応するマークルを構築することはできません。現在の合法的な Stateroot. その証拠に、L1 にお金を引き出すことはできません。
ただし、Plasma が新しい Stateroot を提出した後は、ウィンドウ期間が終了するまでは合法になりません。この時点では、合法な Stateroot は過去に提出されていました。ウィンドウ期間があるため (ARB は 3 日、OP は 7 日)、新しく提出された Stateroot DA データが利用できない場合でも、ユーザーは現在の合法的な Stateroot DA データをまだ保持しています (合法的なルートは過去に提出されています)。 、L1に撤退を強制するのに十分な時間があります。
したがって、ダンクラッドの言ったことは理にかなっています。データ保留攻撃が発生すると、Validium ではユーザー資産が L2 にトラップされる可能性がありますが、Plasma ではこの問題は発生しません。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-362ee6b9e2-dd1a6f-1c6801)
したがって、オフチェーン DA 層に対するデータ保留攻撃は多くのセキュリティ リスクを引き起こすことになりますが、Celestia が解決しようとしているのはこの問題です。さらに、ほとんどのレイヤー 2 プロジェクトは、L2 ノードとシーケンサーをオフチェーンで同期させるためのサービス ポートを提供するため、Dankrad 氏の懸念は現実的なものではなく、理論的なものであることがよくあります。
細かいところを指摘して、より極端な仮説を立てると、すべての Plasma オフチェーン ノードが利用できなくなり、L2 ノードを経由していない一般のユーザーは L1 に強制的に撤退することができなくなります。しかし、そのようなことが起こる確率は、パブリック チェーンのすべてのノードが集合的に永久にダウンする確率と同等であり、決して起こらない可能性があります。
そのため、多くの場合、人々は決して起こらなかったことについて話しているだけです。ちょうど、アメリカのドラマ「チェルノブイリ」でリック・ガーブ副会長が主人公に放った「決して起こらないことをなぜ心配するのか」という金言のように。
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-f3c8ceca25-dd1a6f-1c6801)
!【イーサリアムがないとRollupはDAレイヤーとしてカウントされないのでしょうか？ Danksharding 提案者の観点から Layer2 を理解する](https://img-cdn.gateio.im/resize-social/moments-69a80767fe-7b85030092-dd1a6f-1c6801)