作者: @yyy
Coinbase は市場に参入し、OP スタック - @BuildOnBase に基づいて L2 を構築すると発表し、「楽観主義に対する強気」の感情が再び燃え上がりました。これを機に、このツイートでは楽観主義の挑戦期間についてお話します。
ご存知のとおり、オプティミズムの第 2 層資金をイーサリアムのメイン ネットワークに引き出すには、7 日間のチャレンジ期間が必要です。
では、なぜ正確に 7 日なのでしょうか? 3日？ 5日じゃないの？
この質問に答える前に、まずチャレンジ期間が必要な理由を理解しましょう。
ロールアップは、実行層をイーサリアムから切り離すことにより、イーサリアム メインネットのパフォーマンスを向上させます。これは、トランザクションが第 2 層で実行されることを意味しますが、イーサリアムのメインネットワークのセキュリティを継承するには、第 2 層で発生したトランザクションをメインネットワークで検証する必要があります。
簡単に言うと、イーサリアムのメインネットは、シーケンサーによって送信されたトランザクションが実際に第 2 層で発生したこと、つまりトランザクションの正当性を確認する必要があります。
ロールアップは、トランザクションの有効性を検証する方法が異なるため、zk-Rollup と Optimistic Rollup に分けられます。
検証方法は主にゼロ知識証明と不正証明の 2 つに分類されます。ゼロ知識証明メカニズムの下では、トランザクションはほぼ即時にファイナリティを持ちます。
不正行為の証明に基づく ORU の場合、トランザクションの最終性はチャレンジ期間の長さに依存します。これが、オプティミズムの資金が第 2 層からメイン ネットワークに引き出されるまでに 7 日かかる理由を説明しています。
ORU メカニズムでは、シーケンサーによって送信されたすべてのロールアップ トランザクションが有効であることが楽観的です。その後、チャレンジ期間中に、検証者は無効なトランザクションを見つけた場合に不正証明を開始できます。
チャレンジ期間後に誰もチャレンジしない場合、トランザクションはデフォルトで有効とみなされ、この時点でトランザクションは最終的になります。
しかし、チャレンジ期間は本当に 7 日間かかるのでしょうか?まず、チャレンジ プロセス全体を単純化してみましょう。検証者はステート ルートを再構築することで無効なトランザクションを発見し、不正証明を発行します。この一連の動作には時間がかかるため、チャレンジ期間を0にすることはできません。
上記のチャレンジプロセスは非常に高速で、完了までに 10 ブロック (約 2 分) であると仮定します。
もちろん、それほど早く応答することは不可能なので、時間を 10 倍遅くして 100 ブロック (約 20 分) にすると、この時間は 50,400 ブロック (7 日) よりもはるかに短くなります。
上記の議論は、最も理想的な状況に基づいています。誰かがネットワーク上で悪事を働いたらどうなるでしょうか?不正行為を発見するのにどのくらい時間がかかりますか?
言い換えれば、悪行を防ぐためには、少なくともチャレンジ期間をどれくらい延長する必要があるのでしょうか?ここでの悪い動作は、大量のトランザクションを公開して一定期間にわたってガスを急増させることで、バリデーターが不正な証明を受け取るのを防ぐことです。
ここで、別の仮定を立てます。オプティミズムには 20 億米ドルのリスクがあり、加害者は、詐欺の証拠。
したがって、ネットワークが「ハイジャック」される最大時間は 2000 ブロック (6.67 時間) です。もちろん、これまでの例は、非常に単純かつ大まかな仮定に基づいています。
どう考えてもチャレンジ期間は7日間も長くなくても良さそうです。チャレンジ期間の長さとセキュリティとの間に非線形の関係があることを理解するのは困難です。
おそらく、ビットコインの4年間の半減期にサトシ・ナカモトがサッカー愛好家であると誰もが推測したのと同じように、オプティミズムの創始者にとって7という数字は非常に意味のある数字なのだろう。
では、セキュリティを損なうことなく、ORU のチャレンジ期間を 3 ～ 5 日に短縮することはできるのでしょうか?はい、ただしユーザーエクスペリエンスがあまり最適化されていません。
チャレンジ期間を 1 ～ 2 日に短縮してはどうでしょうか?ユーザーエクスペリエンスを効果的に最適化することは理にかなっているようです。
BitDAO によってインキュベートされた ORU である @0xMantle を使用すると、チャレンジ期間を 1 ～ 2 日に短縮できます。チャレンジ期間の最適化ロジックは、MPC スキームに基づいています。
簡単に言うと、シーケンサーはトランザクション バッチをイーサリアムに直接送信するのではなく、まず MPC ネットワークに送信し、MPC ノードによって共同署名され、トランザクションが有効であることを確認した後、イーサリアムに送信されます。
したがって、主な違いは次のとおりです。
Optimism は、実行結果としてステート ルートを含むバッチをイーサリアムに送信します。
Mantle は、MPC ノードによって共同署名されたステート ルートを含むバッチを実行結果としてイーサリアムに送信します。
目的は、ロールアップ実行結果の信頼リスクを軽減することです。
しかし、最終的には、MPC 検証は依然としてオフチェーン検証ソリューションであり、何もしないよりはマシであり、ユーザーに特別な心理的快適さを提供します。
不適切な比喩を使用すると、MPC 検証スキームは分散型 zk スキームに似ており、前者のセキュリティは経済的な前提に基づいており、後者は暗号検証に基づいています。
上記は、ORU のチャレンジ期間に関するいくつかの考えと議論です。これらはあまり論理的ではないため、提案として使用する必要があります。ところで、私は将来的にチャレンジ期間が大幅に短縮されたORU（タイムシェアリングレベル）を期待しています。