執筆: ヴィタリック・ブテリン
コンピレーション:ウェンサー、Odailyプラネットデイリー
編集者注:長い間、イーサリアムのロールアップセキュリティの3つのフェーズに関する議論は、イーサリアムのメインネットとL2ネットワークの運用安定性だけでなく、L2ネットワークの実際の開発にも関連するイーサリアムエコロジカルコミュニティの焦点でした。 最近、イーサリアムコミュニティのメンバーであるダニエル・ワンは、Xプラットフォーム上のL2ネットワークのステージ2フェーズの命名ラベル #BattleTested を提案し、現在のコードと構成を持つL2ネットワークのみが、イーサリアムのメインネット上で6か月以上オンラインになり、合計ロックアップ値(TVL)が1億ドル以上、ETHと主要なステーブルコインで少なくとも5,000万ドルを維持しているもののみがこのタイトルを取得できると主張し、タイトルは「オンチェーンゴースト」を避けるために動的に評価されます。」。 その後、イーサリアムの共同創設者であるヴィタリック氏は、この質問に詳細な回答をし、以下のOdaily Planet Dailyがまとめた彼の見解を共有しました。
イーサリアムのロールアップのセキュリティの三つの段階は、セキュリティ委員会がいつノン・トラスト(つまり、純粋な暗号またはゲーム理論)コンポーネントを覆すことができるかによって判断される。
私たちは、以下のグラフを使用して、安全委員会が異なる段階で持っている「投票シェア」を示すことができます:
3つの段階のガバナンス投票構造
重要な問題は、L2ネットワークがステージ0からステージ1、そしてステージ1からステージ2に移行する最適なタイミングはそれぞれ何かということです。
ステージ2に直ちに入らない唯一の有効な理由は、あなたが証明システムを完全に信頼できないからです——これは理解できる懸念です。このシステムは大量のコードで構成されており、コードに脆弱性が存在する場合、攻撃者が全ユーザーの資産を盗む可能性があります。あなたが証明システムに対して強い信頼を持っているほど(または逆に、安全委員会に対する信頼が弱いほど)、あなたはネットワーク全体のエコシステムを次の段階に進めたくなるでしょう。
実際、私たちは簡略化された数学モデルを使用してこれを定量化することができます。まず、仮定を列挙しましょう:
これらの仮定の下で、証明システムが崩壊する特定の確率を考慮し、L2ネットワークが崩壊する可能性を最小化したいと考えています。
この作業を完了するために、二項分布を使用できます:
ここにグラフ形式で表示されます:
L2ネットワークの異なる段階における証明システムの故障確率
上記の推測結果に従い、証明システムの品質が向上するにつれて、最適な段階は段階0から段階1に移行し、次に段階1から段階2に移行します。段階0の品質の証明システムを使用して段階2のネットワーク運用を行うことは、最も悪い結果です。
今、上記の簡略化モデルにおける仮定が不完全であることに注意してください:
これらの二つの議論は、グラフに示されているものと比較して、フェーズ1とフェーズ2がより魅力的であることを示しています。
もしあなたが数学を信じるなら、フェーズ1の存在が合理的であることはほぼ永遠に証明されることはないでしょう:あなたは直接フェーズ1に入るべきです。私が聞いた主な反対意見は、重要なエラーが発生した場合、8人のセキュリティ委員会メンバーの中から迅速に6人のメンバーの署名を得ることが難しい可能性があるということです。しかし、簡単な解決策があります:任意のセキュリティ委員会メンバーに1〜2週間の引き出し遅延の権限を与え、他のメンバーが(修正)行動をとるための十分な時間を与えることです。
同時に、しかし、段階 2 に早すぎる移行をすることも誤りであり、特に段階 2 への移行作業が基盤となる証明システムの強化作業を犠牲にする場合はそうです。理想的には、L2Beat のようなデータプロバイダーは、証明システムの監査と成熟度指標を示すべきであり(全体の要約ではなく証明システムの実装指標が望ましいですので、再利用が可能です)、段階を示すべきです。
234k 投稿
204k 投稿
149k 投稿
80k 投稿
66k 投稿
64k 投稿
61k 投稿
59k 投稿
52k 投稿
51k 投稿
数学モデルがL2段階の選択ロジックを明らかにする:なぜ段階1がスキップされる可能性があるのか?
執筆: ヴィタリック・ブテリン
コンピレーション:ウェンサー、Odailyプラネットデイリー
編集者注:長い間、イーサリアムのロールアップセキュリティの3つのフェーズに関する議論は、イーサリアムのメインネットとL2ネットワークの運用安定性だけでなく、L2ネットワークの実際の開発にも関連するイーサリアムエコロジカルコミュニティの焦点でした。 最近、イーサリアムコミュニティのメンバーであるダニエル・ワンは、Xプラットフォーム上のL2ネットワークのステージ2フェーズの命名ラベル #BattleTested を提案し、現在のコードと構成を持つL2ネットワークのみが、イーサリアムのメインネット上で6か月以上オンラインになり、合計ロックアップ値(TVL)が1億ドル以上、ETHと主要なステーブルコインで少なくとも5,000万ドルを維持しているもののみがこのタイトルを取得できると主張し、タイトルは「オンチェーンゴースト」を避けるために動的に評価されます。」。 その後、イーサリアムの共同創設者であるヴィタリック氏は、この質問に詳細な回答をし、以下のOdaily Planet Dailyがまとめた彼の見解を共有しました。
L2 ネットワークの 3 つの段階:0 から 1 へ、そして 2 へ、安全性はガバナンスのシェアによって決まる
イーサリアムのロールアップのセキュリティの三つの段階は、セキュリティ委員会がいつノン・トラスト(つまり、純粋な暗号またはゲーム理論)コンポーネントを覆すことができるかによって判断される。
私たちは、以下のグラフを使用して、安全委員会が異なる段階で持っている「投票シェア」を示すことができます:
重要な問題は、L2ネットワークがステージ0からステージ1、そしてステージ1からステージ2に移行する最適なタイミングはそれぞれ何かということです。
ステージ2に直ちに入らない唯一の有効な理由は、あなたが証明システムを完全に信頼できないからです——これは理解できる懸念です。このシステムは大量のコードで構成されており、コードに脆弱性が存在する場合、攻撃者が全ユーザーの資産を盗む可能性があります。あなたが証明システムに対して強い信頼を持っているほど(または逆に、安全委員会に対する信頼が弱いほど)、あなたはネットワーク全体のエコシステムを次の段階に進めたくなるでしょう。
実際、私たちは簡略化された数学モデルを使用してこれを定量化することができます。まず、仮定を列挙しましょう:
これらの仮定の下で、証明システムが崩壊する特定の確率を考慮し、L2ネットワークが崩壊する可能性を最小化したいと考えています。
この作業を完了するために、二項分布を使用できます:
ここにグラフ形式で表示されます:
上記の推測結果に従い、証明システムの品質が向上するにつれて、最適な段階は段階0から段階1に移行し、次に段階1から段階2に移行します。段階0の品質の証明システムを使用して段階2のネットワーク運用を行うことは、最も悪い結果です。
今、上記の簡略化モデルにおける仮定が不完全であることに注意してください:
これらの二つの議論は、グラフに示されているものと比較して、フェーズ1とフェーズ2がより魅力的であることを示しています。
もしあなたが数学を信じるなら、フェーズ1の存在が合理的であることはほぼ永遠に証明されることはないでしょう:あなたは直接フェーズ1に入るべきです。私が聞いた主な反対意見は、重要なエラーが発生した場合、8人のセキュリティ委員会メンバーの中から迅速に6人のメンバーの署名を得ることが難しい可能性があるということです。しかし、簡単な解決策があります:任意のセキュリティ委員会メンバーに1〜2週間の引き出し遅延の権限を与え、他のメンバーが(修正)行動をとるための十分な時間を与えることです。
同時に、しかし、段階 2 に早すぎる移行をすることも誤りであり、特に段階 2 への移行作業が基盤となる証明システムの強化作業を犠牲にする場合はそうです。理想的には、L2Beat のようなデータプロバイダーは、証明システムの監査と成熟度指標を示すべきであり(全体の要約ではなく証明システムの実装指標が望ましいですので、再利用が可能です)、段階を示すべきです。