オプティミスティック・ロールアップ

オプティミスティック・ロールアップは、イーサリアム（ベースレイヤー）のスループットを拡張するために設計されたレイヤー2 (L2) プロトコルです。トランザクションをオフチェーンで処理することで、メインのイーサリアムチェーン上の計算量を削減し、処理速度を大幅に向上させます。サイドチェーンや、同じく不正証明を用いてイーサリアムでトランザクションを検証するもののトランザクションデータは別の場所に保存するプラズマチェーンといった他のスケーリングソリューションとは異なり、オプティミスティック・ロールアップはトランザクション結果をオンチェーンで公開することでメインネットからセキュリティを派生させます。

イーサリアムにおける処理は、速度が遅く高価であるという欠点がありますが、オプティミスティック・ロールアップを用いることでスケーラビリティを10〜100倍向上させることができます。オプティミスティック・ロールアップはまた、トランザクションをcalldataとして、またはブロブでイーサリアムに書き込むことで、ユーザーのガス代を削減します。

前提条件

イーサリアムのスケーリングとレイヤー2に関するページを読み、理解しておく必要があります。

オプティミスティック・ロールアップとは何か？

オプティミスティック・ロールアップとは、計算とステートストレージをオフチェーンに移動させることでイーサリアムをスケーリングするアプローチです。オプティミスティック・ロールアップはイーサリアムの外部でトランザクションを実行しますが、トランザクションデータをcalldataとして、またはブロブでメインネットに投稿します。

オプティミスティック・ロールアップのオペレーターは、イーサリアムに送信する前に、複数のオフチェーントランザクションをまとめて大きなバッチにします。このアプローチでは、固定費を各バッチに含まれる複数のトランザクションに分散できるため、エンドユーザーの費用を軽減することができます。さらに、データ圧縮技術を用いることで、イーサリアムに送信するデータ量を削減しています。

オプティミスティック・ロールアップが「楽観的」と見なされるのは、オフチェーントランザクションが有効であると想定し、オンチェーンに投稿されるトランザクションバッチの有効性の証明を公開しないためです。この点が、オフチェーントランザクションに対して暗号論的なを公開するゼロ知識ロールアップとオプティミスティック・ロールアップを区別します。

オプティミスティック・ロールアップでは、暗号による有効性証明の代わりに不正証明のスキームを用いて、正しく計算されていないトランザクションを検出します。ロールアップバッチがイーサリアムに送信された後、「チャレンジ期間」と呼ばれる時間枠があり、その間は誰でもを計算することで、ロールアップトランザクションの結果に異議を申し立てることができます。

不正証明が認められると、ロールアップのプロトコルにより当該のトランザクション（複数の場合あり）が再度計算され、その結果に基づきロールアップのステートが更新されます。不正証明が認められた場合はさらに、不適切に実行されたトランザクションをブロックに追加したシーケンサーにペナルティが科されます。

チャンレンジ期間にロールアップされたバッチに対する異議申立が実行されない場合（つまり、すべてのトランザクションが正しく実行されている場合）、計算は正当と見なされ、イーサリアム上で承認されます。他のユーザーは、未検証のロールアップブロックを引き続き使用することができますが、公開された実行済みのトランザクションが正しく計算されていない場合、それ以後のトランザクションの結果が取り消される点に注意が必要です。

オプティミスティック・ロールアップは、イーサリアムとどのようなやりとりを行うか？

オプティミスティック・ロールアップは、イーサリアム上で動作するように構築されたオフチェーンスケーリングソリューションです。個々のオプティミスティック・ロールアップは、イーサリアムメインネット上でデプロイされた一連のスマートコントラクトにより管理されます。オプティミスティック・ロールアップは、メインのイーサリアムチェーンの外部でトランザクションを処理しますが、オフチェーントランザクションを（バッチで）オンチェーンのロールアップコントラクトに投稿します。イーサリアムブロックチェーンと同様に、このトランザクション記録は改変不可であり、「オプティミスティック・ロールアップ・チェーン」を構築します。

オプティミスティック・ロールアップのアーキテクチャには、以下の構成要素が含まれています：

オンチェーンコントラクト: オプティミスティック・ロールアップの運用は、イーサリアム上で実行されるスマートコントラクトによって制御されます。具体的には、ロールアップされたブロックを保存するコントラクト、ロールアップの状態更新を監視するコントラクト、およびユーザーのデポジットを追跡するコントラクトが含まれます。この意味で、イーサリアムは、オプティミスティック・ロールアップに対するベースレイヤー（つまり、「レイヤー1」）であると言うことができます。

オフチェーン仮想マシン (VM): オプティミスティック・ロールアッププロトコルを管理するコントラクトはイーサリアム上で実行されますが、ロールアッププロトコルは、イーサリアム仮想マシンとは別の仮想マシン上で計算とステートストレージを実行します。オフチェーンVMは、アプリケーションが存在し、ステート変更が実行される場所です。これはオプティミスティック・ロールアップにとって上位レイヤー、つまり「レイヤー2」として機能します。

オプティミスティック・ロールアップは、EVM用に記述またはコンパイルされたプログラムを実行するように設計されているため、オフチェーンVMには多くのEVM設計仕様が組み込まれています。さらに、オンチェーンで計算された不正証明により、イーサリアムネットワークはオフチェーンVMで計算されたステート変更の有効性を強制することができます。

オプティミスティック・ロールアップは、イーサリアムとは別個のプロトコルとして存在するものの、そのセキュリティ属性はイーサリアムに依存しているため、「ハイブリッド型のスケーリング・ソリューション」と呼ばれます。とりわけ、イーサリアムはロールアップのオフチェーン計算の正しさと、その計算の背後にあるデータの可用性を保証します。これにより、オプティミスティック・ロールアップは、セキュリティをイーサリアムに依存しない純粋なオフチェーンスケーリングプロトコル（例：サイドチェーン）よりも安全になります。

オプティミスティック・ロールアップでは、以下の事項につきイーサリアムメインネットのプロトコルに依存します：

データ可用性

前述のように、オプティミスティック・ロールアップはトランザクションデータをcalldataとして、またはブロブでイーサリアムに投稿します。ロールアップチェーンは送信されたトランザクションに基づき実行されるため、イーサリアムのベースレイヤーに含まれるコールデータの情報を用いて、どのユーザーでもロールアップのステートを実行し、状態遷移の正しさを検証することができます。

データ可用性は極めて重要です。なぜなら、ステートデータにアクセスできなければ、チャレンジャーは無効なロールアップ操作に異議を唱えるための不正証明を構築できないからです。イーサリアムがデータ可用性を保証するため、ロールアップのオペレータによる悪意の行動（例：無効なブロックの送信）が見過ごされる可能性が低くなります。

検閲耐性

オプティミスティック・ロールアップはさらに、検閲耐性についてもイーサリアムに依存します。オプティミスティック・ロールアップでは、中央主権型のエンティティ (オペレーター) が、トランザクションの処理とイーサリアムへのロールアップブロックを送信する役割を担います。これは、以下のような結果をもたらします：

ロールアップのオペレーターは、自分が完全にオフライン化するか特定のトランザクションを含むブロックの作成を拒否することで、ユーザーを検閲できる。
ロールアップのオペレーターは、所有権のマークル証明に必要な状態データを隠匿することで、ロールアップのコントラクトに入金された資金の引き出しを停止することができる。さらに、状態データを隠匿することでロールアップの状態を非公開にし、このロールアップとやりとりできないようにさせることができる。

オプティミスティック・ロールアップでは、オペレーターに対し、状態更新に関連したデータをイーサリアム上で公開するように強制することで、この問題を解消します。ロールアップデータをオンチェーンで公開することには、以下の利点があります。

オプティミスティック・ロールアップのオペレーターがオフラインになったりトランザクションのバッチ作成を停止した場合、他のノードは、利用可能なデータを用いてロールアップの最新状態を復元し、引き続きブロック作成を継続できる。
各ユーザーは、トランザクションデータを用いて資金の所有権を証明するマークル証明を作成できるため、ロールアップから各自の資産を引き出すことができる。
各ユーザーはさらに、トランザクションをシーケンサーに対してではなく、L1に送信できる。この場合シーケンサーは、正当なブロックを引き続き作成するために、一定期間内に送信されたトランザクションをブロックに追加する必要がある。

決済

オプティミスティック・ロールアップにおいてイーサリアムが担うもう一つの役割は、決済レイヤーとしての役割です。決済レイヤーとは、ブロックチェーンのエコシステム全体の基礎となり、セキュリティを提供すると同時に、他のチェーン（本トピックにおいては、オプティミスティック・ロールアップ）における仲裁が必要な紛争に対して、客観的なファイナリティを提供します。

イーサリアムメインネットは、オプティミスティック・ロールアップにおいて不正証明を検証し、紛争を解消するハブの役割を担います。さらに、ロールアップで実行されたトランザクションは、ロールアップブロックがイーサリアム上で承認された_後_にのみ確定します。ロールアップのトランザクションは、イーサリアムのベースレイヤーで確定した後はロールバックできなくなります（チェーンの再編成というまれなケースを除く）。

オプティミスティック・ロールアップは、どのように実行されるのか？

トランザクションの実行と集約

各ユーザーは、オプティミスティック・ロールアップにおいてトランザクションの実行を担うノードである「オペレーター」にトランザクションを送信します。オペレーターは、「バリデータ」あるいは「アグリゲータ」と呼ばれる場合もあり、複数のトランザクションを集約し、トランザクションのデータを圧縮した上で、イーサリアム上でブロックを公開します。

誰でもバリデータになることができますが、オプティミスティック・ロールアップのバリデータは、プルーフ・オブ・ステークシステムと同様に、ブロックを生成する前にボンドを提供する必要があります。このボンドは、バリデータが無効なブロックを送信したり、時間が経過しているが無効なブロックの上にブロックを構築した場合、（当該ブロック自体が有効であっても）没収されます。オプティミスティック・ロールアップでは、このような暗号経済的なインセンティブを通じて、バリデータにおける正直な行動を保証しています。

オプティミスティック・ロールアップチェーン上の他のバリデータは、当該ロールアップの状態に対する各自のコピーを用いて、送信されたトランザクションを実行することが求められます。バリデータにおける最終的な状態がオペレーターが提案した状態と異なる場合、オペレーターは不正証明の計算を開始することでチャレンジを申し立てることができます。

一部のオプティミスティック・ロールアップでは、パーミッションレスのバリデーター・システムを採用せず、単独の「シーケンサー」がチェーンを実行する場合もあります。シーケンサーは、バリデータと同様に、トランザクションを処理し、ロールアップのブロックを作成した上で、ロールアップされたトランザクションをL1チェーン（イーサリアムメインネット）に送信します。

シーケンサーが通常のロールアップオペレーターと異なるのは、トランザクションの順序決定に対する権限がより大きいという点です。また、シーケンサはロールアップチェーンへの優先アクセス権を持ち、オンチェーンコントラクトにトランザクションを送信する権限を与えられた唯一のエンティティです。シーケンサー以外のノード、あるいは通常のユーザーが送信したトランザクションは、シーケンサーがそれらを新規バッチに追加するまでの間は、別個のインボックス上でキューに置かれた状態になります。

ロールアップブロックのイーサリアムへの送信

前述のように、オプティミスティック・ロールアップのオペレーターは、オフチェーントランザクションをバッチにバンドルし、公証のためにイーサリアムに送信します。このプロセスには、トランザクション関連データを圧縮し、calldataとして、またはブロブでイーサリアム上に公開することが含まれます。

calldataは、スマートコントラクト内の変更不可能で非永続的な領域であり、ほとんどメモリのように動作します。 calldataはブロックチェーンの履歴ログ (opens in a new tab)の一部としてオンチェーンに永続化されますが、イーサリアムのステートの一部としては保存されません。 calldataはイーサリアムのステートのどの部分にも触れないため、オンチェーンにデータを保存するのにステートよりも安価です。

calldataキーワードは、実行時にスマートコントラクト関数に引数を渡すためにSolidityでも使用されます。 calldataは、トランザクション中に呼び出される関数を識別し、その関数への入力を任意のバイトシーケンスの形式で保持します。

オプティミスティック・ロールアップの文脈では、calldataは圧縮されたトランザクションデータをオンチェーンコントラクトに送信するために使用されます。ロールアップのオペレーターは、ロールアップのコントラクトに含まれる必須の関数を呼び出し、関数の引数として圧縮データを渡す方法によって新規バッチを追加します。ロールアップにかかるコストのほとんどはオンチェーンでのデータ保存から生じるため、calldataを使用するとユーザー手数料が削減されます。

この概念がどのように機能するかを示すロールアップバッチ送信の例 (opens in a new tab)を以下に示します。シーケンサはappendSequencerBatch()メソッドを呼び出し、calldataを使用して圧縮されたトランザクションデータを入力として渡しました。

一部のロールアップは現在、トランザクションのバッチをイーサリアムへ投稿するのにブロブを使っています。

ブロブは変更不可能で非永続的ですが（calldataと同様）、約18日後に履歴からプルーニング（削除）されます。ブロブに関する詳細は、ダンクシャーディングをご覧ください。

状態コミットメント

いかなる時点においても、オプティミスティック・ロールアップのステート（アカウント、残高、コントラクトコードなど）は、「ステートツリー」と呼ばれるマークルツリーとして構成されています。このマークルツリーのルート（ステートルート）は、ロールアップにおける最新の状態を参照しており、ロールアップのコントラクトにおいてハッシュ化されて保存されます。ロールアップチェーンにおける状態遷移は常に新規のロールアップステートを生成し、オペレーターは新しいステートルートを計算することでこれにコミットします。

オペレーターは、バッチ送信時において、新旧両方のステートルートを送信する必要があります。古いステートルートがオンチェーンコントラクト内の既存のステートルートと一致する場合、後者は破棄され、新しいステートルートに置き換えられます。

ロールアップのオペレーターはさらに、トランザクションバッチ自体のマークルルートに対してもコミットする必要があります。これにより、誰でもマークル証明を提示することで、バッチ（L1上）にトランザクションが含まれていることを証明できます。

状態へのコミットメントは、特にステートルートの場合、オプティミスティック・ロールアップにおける状態遷移の正しさを証明するために必要です。ロールアップのコントラクトは、オペレーターから送信された時点で新規のステートルートを受け入れますが、無効なステートルートを事後に削除し、ロールアップを正しい状態に復元することが可能です。

不正の証明

前述のように、オプティミスティック・ロールアップでは、どのユーザーでも有効性証明を提供せずにブロックを公開することができます。しかし、ロールアップチェーンの安全性を維持するために、どのユーザーも状態遷移に対する異議申立を行える期間が設定されています。どのユーザーでもブロックの正当性に対して異議を申し立てられるため、ロールアップブロックは「アサーション」（主張）と呼ばれます。

アサーションに対して異議が申し立てられると、ロールアップ・プロトコルにより不正証明の計算が開始されます。不正証明はその種類を問わず双方向性のやりとりを要するため、異議を申し立てるにはまず他のユーザーがアサーションを送信していなければなりません。不正証明における各アプローチの違いは、その計算を行うにあたり何回のやりとりが必要とされるかです。

1回のやりとりを要求する証明スキームでは、異議申立の対象であるトランザクションをL1上で再生し、無効なアサーションを検出します。ロールアップのプロトコルでは、異議申立の対象であるトランザクションに対するL1（イーサリアムメインネット）上での再実行につき、検証者のコントラクトを用いてエミュレートし、計算されたステートルートによりこの異議申立における勝者を決定します。異議申立者によるロールアップの正しい状態についての主張が認められた場合、オペレーターに対してはボンドの没収（スラッシング）によるペナルティが科せられます。

しかし、不正を検出するためにL1でトランザクションを再実行するには、個々のトランザクションのステートコミットメントを公開する必要があり、ロールアップがオンチェーンで公開しなければならないデータが増加します。さらに、トランザクションの再実行はかなりのガス代を伴います。これらの理由により、オプティミスティック・ロールアップでは複数回にわたるやりとりを通じた証明に移行中であり、これにより、無効なロールアップ操作を検出するという同じ目的をより効率的に実現できるようになるでしょう。

複数ラウンドの対話型証明

複数回のやりとりによる証明では、L1上の検証者コントラクトがアサーター／チャレンジャー間のやりとりのプロトコルを監視し、このコントラクトが最終的に虚偽のユーザーを決定します。 L2上のノードが特定のアサーションに対してチャレンジを行うと、このアサーションを行ったアサーターは、異議申立のアサーションを二等分しなければなりません。これにより、二等分されたアサーションは、それぞれがもう一方のアサーションと同数の計算ステップを含むことになります。

次にチャレンジャーが、どちらのアサーションに異議を申し立てるかを選択します。この分割プロセス（「二分割プロトコル」と呼ばれる）は、両当事者の争点が実行の_単一_ステップに関するアサーションになるまで継続されます。対象が単独の実行ステップになった時点で、L1上のコントラクトが不正な当事者を発見するための命令（および結果）を判定し、紛争が解決されます。

アサーターは、紛争の対象であるシングルステップ計算の正当性を証明するための「ワンステップ証明」を提供しなければなりません。アサーターがこのワンステップ証明を提供できない場合、あるいはL1上の検証者により当該証明が無効であると判定された場合、アサーターの申立は棄却されます。

この種類の不正証明に関する注記：

複数回のやりとりによる不正証明は、L1チェーン上における紛争仲裁の作業量を最小化できるために効率的だと考えられています。 L1チェーン上では、トランザクション全体を再生する必要はなく、ロールアップ実行における特定のステップのみを再実行すればよいからです。
二分割プロトコルは、オンチェーンに投稿されるデータの量を削減します（すべてのトランザクションのステートコミットを公開する必要はありません）。さらに、オプティミスティック・ロールアップのトランザクションは、イーサリアムのガス上限による制限を受けません。反対にトランザクションを再実行するオプティミスティック・ロールアップの場合は、イーサリアムメインネット上の1回のトランザクションで実行をエミュレートできるように、L2のトランザクションにおいてガス上限がより低く設定されていることを確認する必要があります。
悪意のアサーターが提供したボンドの一部はチャレンジャーに付与され、残りはバーンされます。残余のボンドをバーンすることで、バリデータ間の共謀を防ぐことができます。2名のバリデータが共謀して虚偽のチャレンジを開始した場合、彼らがステーキングした資産のうちかなりの部分が没収されるからです。
複数回のやりとりによる証明では、アサーターとチャレンジャーの両者は指定された期間内にアクションを実行する必要があります。期限までにアクションを実行しない場合、不履行の当事者の主張が退けられます。

オプティミスティック・ロールアップにおいて不正証明が重要である理由

不正証明は、オプティミスティック・ロールアップにおいて_トラストを必要としないファイナリティ_を促進するため重要です。トラストレスなファイナリティとは、有効なトランザクションは最終的に承認されるというオプティミスティック・ロールアップの特性を指す概念です。

悪意のノードは、正当なロールアップブロックに対して、虚偽のチャレンジを開始することでその正当性確認を遅延させることができます。しかし最終的に、不正証明によりロールアップブロックの正当性が証明され、有効化されます。

このことは、オプティミスティック・ロールアップのもう一つのセキュリティ特性にも関連しています。つまり、チェーンの有効性は_1つ_の正直なノードの存在に依存しているということです。正直なノードは、有効なアサーションを送信するか、無効なアサーションに対して異議申立を行うことで、チェーンを適切に前進させることができます。いずれの場合でも、正直なノードに対して異議を申し立てる悪意のノードは、不正証明プロセスを通じてステークを失うことになります。

L1/L2の相互運用性

オプティミスティック・ロールアップは、イーサリアムメインネットとの相互運用性を念頭において開発されており、ユーザーはメッセージや任意のデータをL1／L2間でやりとりできます。また、EVMとも互換性があるため、既存のdappsをオプティミスティック・ロールアップに移植したり、イーサリアム開発ツールを使って新しいdappsを作成したりすることができます。

1. 資産の移動

ロールアップに参加する

オプティミスティック・ロールアップを使用するには、ユーザーはL1上にあるロールアップのブリッジコントラクトに、ETH、ERC-20トークン、およびその他の承認された資産を入金します。このブリッジコントラクトは、当該トランザクションをL2にリレーし、L2において同価値の資産をミントした上で、ユーザーがオプティミスティック・ロールアップで指定したアドレスにその資産を送信します。

ユーザーが生成したトランザクション（L1 > L2の入金など）は通常、シーケンサがロールアップコントラクトに再送信するまでキューに入れられます。しかし、検閲耐性を維持するために、オプティミスティック・ロールアップでは、許可された最大時間を超えて遅延した場合、ユーザーがトランザクションをオンチェーンのロールアップコントラクトに直接送信することが許可されています。

一部のオプティミスティック・ロールアップでは、シーケンサーによるユーザーの検閲を防止するためにより明確なアプローチが採用されています。このアプローチを採用したロールアップでは、ロールアップチェーン上で処理されたトランザクションに加えて、直前のブロック（例：入金）以降にL1上のコントラクトに送信されたすべてのトランザクションにより、ブロックが定義されます。シーケンサーがL1上のトランザクションを無視する場合、（おそらく）正しくないステートルートを公開することになるため、シーケンサーは、ユーザーが作成したメッセージをL1に送信した以降にこれを遅延することが不可能になります。

ロールアップから出金する

不正証明スキームが存在するため、オプティミスティック・ロールアップからイーサリアムに出金するプロセスはより複雑になっています。ユーザーがL1でエスクローされた資金を引き出すためにL2からL1へのトランザクションを開始する場合、約7日間のチャレンジ期間が経過するまで待たなければなりません。それ以外の点では、出金プロセス自体は非常にシンプルです。

L2上のロールアップで出金リクエストを開始すると、当該トランザクションが次のバッチに追加され、ロールアップ上のユーザー資産がバーンされます。このバッチがイーサリアム上で公開されると、ユーザーは、ブロックに出金トランザクションが含まれることを証明するマークル証明を計算できるようになります。その上で、遅延期間の終了と共に、L1上でトランザクションが確定し、メインネットに資金を移動させることができます。

イーサリアムへの資金の引き出しに1週間待つのを避けるため、オプティミスティック・ロールアップのユーザーは流動性プロバイダー（LP）を利用できます。流動性プロバイダーとは、手数料を代価として、保留されているL2からの出金に対して所有権を引き継ぎ、L1上でユーザーに資金を提供するサービスです。

流動性プロバイダーは、自ら当該チェーンを実行してユーザーの出金リクエストの正当性を確認した上で、資金を提供します。これにより、流動性プロバイダーはこのトランザクションが最終的には承認されるとの保証（つまり、トラストレスなファイナリティ）を得ることができます。

2. EVM互換性

開発者にとって、オプティミスティック・ロールアップの利点は、イーサリアム仮想マシン（EVM）との互換性、あるいはさらに言えば等価性です。 EVM互換のロールアップは、イーサリアム・イエローペーパー (opens in a new tab)の仕様に準拠しており、バイトコードレベルでEVMをサポートします。

オプティミスティック・ロールアップのEVM互換性は、次のような利点を持ちます：

i. デベロッパーは、イーサリアム上の既存のスマートコントラクトにつき、コードベースを大幅に修正せずにオプティミスティック・ロールアップのチェーンに移植できます。これにより、イーサリアムのスマートコントラクトをL2上でデプロイする時間を節約できます。

ii. オプティミスティック・ロールアップを使用するデベロッパーやプロジェクトチームは、イーサリアムメインネットのインフラを活用できます。具体的には、プログラム言語、コードライブラリ、テストツール、クライアントソフトウェア、デプロイ用のインフラなどが活用できます。

すでに長年にわたり検証やデバッグを通じて改善されてきたこれらのツールを活用できる点は重要です。さらに、まったく新しい開発スタックを使って開発方法を学ぶ必要もなくなります。

3. クロスチェーンのコントラクト呼び出し

ユーザー（外部所有アカウント）がL2上のコントラクトとやりとりを行うには、ロールアップ上のコントラクトにトランザクションを送信するか、あるいはこの作業をシーケンサーまたはバリデータに委任する必要があります。オプティミスティック・ロールアップの場合はさらに、L1／L2間のメッセージのリレーやデータの受け渡しにブリッジコントラクトを使用して、L2上のコントラクトとのやりとりを行えます。つまり、イーサリアムメインネット上のL1コントラクトにおいて、L2のオプティミスティック・ロールアップ上のコントラクトに含まれる機能を呼び出せるようにプログラムすることが可能です。

このようなクロスチェーンのコントラクトでは、呼び出しが非同期で実行されます。つまり、呼び出しと実行の間に一定の時間が経過します。この点は、呼び出された時点でただちに実行されるイーサリアム上の2つのコントラクト間の呼び出しとは異なります。

クロスチェーンのコントラクト呼び出しの例としては、上述したトークンの入金が挙げられます。 L1上のコントラクトは、ユーザーのトークンをエスクローすると共に、L2の対応したコントラクトに対して、ロールアップ上で同額のトークンをミントするように指示するメッセージを送信します。

クロスチェーンのメッセージ呼び出しはコントラクトの実行を伴うため、通常、送信者は計算にかかるガス代を負担する必要があります。ターゲットのチェーンにおいてトランザクションが失敗するのを防ぐために、ガス代の上限を高く設定することが推奨されます。この点については、トークンをブリッジングするシナリオを想起すればよいでしょう。トランザクションにおけるL1側の作業（トークンの入金）がうまく行っても、L2側の作業（新規トークンのミント）がガス代不足により実行されなければ、入金した資産は回収不能になります。

最後に、コントラクト間のL2からL1へのメッセージ呼び出しは遅延を考慮する必要があることに注意してください（L1からL2への呼び出しは通常、数分後に実行されます）。オプティミスティック・ロールアップからメインネットに送信されるメッセージは、チャレンジ期間が経過するまで実行できないためです。

オプティミスティック・ロールアップにおける手数料の仕組み

オプティミスティック・ロールアップでは、トランザクション1件ごとのユーザー手数料を表示するために、イーサリアムとほぼ同様のガス料金スキームを採用しています。オプティミスティック・ロールアップで請求される手数料は、以下の要素によって決まります。

ステート書き込み: オプティミスティック・ロールアップは、トランザクションデータとブロックヘッダー（前のブロックヘッダーのハッシュ、ステートルート、バッチルートで構成）をblob、つまり「バイナリラージオブジェクト」としてイーサリアムに公開します。 EIP-4844 (opens in a new tab)は、データをオンチェーンに含めるための費用対効果の高い解決策を導入しました。 blobは、ロールアップが圧縮された状態遷移データをイーサリアムL1に投稿できるようにする新しいトランザクションフィールドです。オンチェーンに永続的に残るcalldataとは異なり、ブロブは短命であり、4096エポック (opens in a new tab)（約18日間）が経過するとクライアントから削除（プルーニング）される可能性があります。圧縮されたトランザクションのバッチを、ブロブを使用して送信することで、オプティミスティック・ロールアップはL1へのトランザクション書き込みコストを大幅に削減することができます。
ブロブガスの使用量: ブロブを運ぶトランザクションは、EIP-1559 (opens in a new tab)によって導入されたものと同様の動的な手数料メカニズムを採用しています。タイプ3トランザクションのガス料金は、ブロブのベースフィーを考慮に入れて計算されます。この基本料金は、ブロブスペースの需要と、送信されるトランザクションのブロブスペース使用量に基づいて、ネットワークが決定します。
L2オペレーター手数料: これは、イーサリアムのガス代と同様に、トランザクション処理で発生した計算コストの対価としてロールアップノードに支払われる金額です。 L2は処理能力が比較的高く、イーサリアムの場合のようにネットワークの混雑によりバリデータが高額な手数料を伴うトランザクションを優先的に処理するという状況が発生していないため、ロールアップのノードが請求するトランザクション手数料は比較的安価になっています。

オプティミスティック・ロールアップは、トランザクションのバッチ処理や、データ公開コストを削減するためのcalldataの圧縮など、ユーザーの手数料を削減するためのいくつかのメカニズムを適用しています。イーサリアムベースのオプティミスティック・ロールアップの利用にかかる費用をリアルタイムで概観するには、L2手数料トラッカー (opens in a new tab)を確認できます。

オプティミスティック・ロールアップは、どのようにイーサリアムのスケーラビリティを向上させるのか？

上述したように、オプティミスティック・ロールアップでは、圧縮したトランザクションデータをイーサリアムに送信して公開することで、データの可用性を保証します。オンチェーンで公開されるデータを圧縮する能力は、オプティミスティック・ロールアップでイーサリアムのスループットをスケーリングする上で極めて重要です。

メインのイーサリアムチェーンは、ブロックが保持できるデータ量にガス単位で制限を設けています（平均ブロックサイズは1500万ガスです）。これは、各トランザクションにおいて使用できるガスに上限があることを意味すると同時に、トランザクションデータの圧縮によりブロックごとに処理されるトランザクションの数を増やし、直接的にスケーラビリティを向上させられることを意味します。

オプティミスティック・ロールアップでは、トランザクションデータを圧縮し、TPSレートを向上させる上で、いくつかの手法を用いています。例えば、この記事 (opens in a new tab)では、基本的なユーザートランザクション（Etherの送信）がメインネットで生成するデータと、同じトランザクションがロールアップで生成するデータ量を比較しています。

パラメータ	イーサリアム (L1)	ロールアップ (L2)
ノンス	〜3	0
ガス価格	〜8	0～0.5
ガス	3	0～0.5
To	21	4
値	9	〜3
署名	〜68（2+33+33）	〜0.5
From	0（署名から復元）	4
合計	~112バイト	~12バイト

これらの数値を基にした大まかな計算により、オプティミスティック・ロールアップがどの程度スケーラビリティに貢献するのかを知ることができます：

各ブロックのターゲットサーイズは1,500万ガスで、1バイトのデータ検証には16ガスが必要です。平均ブロックサイズを16ガスで割ると（15,000,000/16）、平均ブロックは937,500バイトのデータを保持できることがわかります。
基本的なロールアップトランザクションが12バイトを使用する場合、平均的なイーサリアムブロックは78,125件のロールアップトランザクション（937,500/12）、または39件のロールアップバッチ（各バッチが平均2,000件のトランザクションを保持する場合）を処理できます。
イーサリアムで15秒ごとに新しいブロックが生成されるとすると、ロールアップの処理速度は1秒間に約5,208件のトランザクションに相当します。これは、イーサリアムブロックが保持できる基本的なロールアップトランザクションの数（78,125）を平均ブロック時間（15秒）で割ることで計算されます。

イーサリアム上のブロック全体がすべてオプティミスティック・ロールアップのトランザクションである可能性はないため、この数値はかなり楽観的な推測です。しかし、オプティミスティック・ロールアップによってイーサリアムのユーザーどれだけスケーラビリティを獲得できるかについて、おおよその見当をつけることができます（現在の実装では最大2,000TPSを実現しています）。

イーサリアムにデータシャーディングが導入されると、オプティミスティック・ロールアップのスケーラビリティが向上すると期待されています。ロールアップ上のトランザクションは、ロールアップ以外の他のトランザクションとブロックスペースを共有しなければならないため、メインのイーサリアムチェーンにおけるデータのスループットにより処理能力が制限されます。ダンクシャーディングは、高価で永続的なCALLDATAの代わりに、より安価で非永続的な「ブロブ」ストレージを使用して、ブロックごとにデータを公開するためにL2チェーンが利用できるスペースを増やします。

オプティミスティック・ロールアップの長所と短所

長所	短所
セキュリティやトラストレス性を犠牲にすることなく、スケーラビリティが大幅に向上する。	虚偽の異議申立により、トランザクションに遅延が発生する可能性がある。
トランザクションデータはL1チェーン上で保存されるため、透明性、セキュリティ、検閲耐性、および分散化が向上する。	ロールアップにおける中央集権的なオペレーター（シーケンサー）により、トランザクションの順序が影響を受ける可能性がある。
不正証明により、トラストレスなファイナリティが保証され、少数の正直なユーザーによりチェーンのセキュリティを保護できる。	正直なノードが存在しない場合、悪意のオペレーターが無効なブロックや状態コミットメントを送信することで資金を盗み取れる。
特別なハードウェアを必要とする有効性証明（ゼロ知識ロールアップで用いる）とは異なり、不正証明の計算はL2上の通常ノードが実行できる。	少なくとも1つの正直なノードがロールアップのトランザクションを実行し、不正証明を送信して無効な状態遷移に異議を申し立てるというセキュリティモデルに依存している。
トラストレスなライブネスによる利益がある（つまり、どのユーザーでもトランザクションを実行し、アサーションを送信することでチェーンを前に進められる）。	イーサリアムに資金が出金されるまでに、1週間のチャレンジ期間が必要になる。
チェーンのセキュリティを強化するために、よく設計された暗号経済的なインセンティブを導入している。	ロールアップはすべてのトランザクションデータをオンチェーンに投稿する必要があり、これによりコストが増加する可能性があります。
EVMおよびSolidityとの互換性により、イーサリアムのネイティブスマートコントラクトをロールアップに移植したり、既存ツールを用いて新たなDappを構築できる。

オプティミスティック・ロールアップの視覚的な説明

映像で学びたい場合 Finematicsによるオプティミスティック・ロールアップの説明をご覧ください：