sequencer example l2

ロールアップドキュメントの例

このリポジトリには、Espresso Sequencer と統合されたサンプル ロールアップが含まれています。サンプル ロールアップは、Espresso から注文されたトランザクションを受け取り、それらをロールアップ VM で実行し、模擬状態証明を L1 (イーサリアム) スマート コントラクトに発行する単純なキー/値アカウント ストアを表します。ロールアップには、トランザクションを送信し、アカウント残高をクエリするための単純な API が含まれています。

導入

Espresso は、ロールアップ トランザクションのバッチで合意を達成するネットワークである HotShot 上に構築されています。大まかに言えば、ロールアップは、負荷の高い計算をオフチェーンで実行する L1 スケーリング ソリューションです。 zkRollups の場合、証明者はトランザクションの有効性のバッチ証明とともにロールアップ状態チェックポイントを L1 に定期的に送信します。ここで示されている例は、モック zkRollup です。 Espresso ロールアップの詳細については、ドキュメントをご覧ください。

サンプルの実行

前提条件

dockerがシステムにインストールされていることを確認してください。

Linux ディストリビューションの場合は、Linux ディストリビューションの公式手順に従うか、公式の Docker 手順を参照してください。

Espresso Sequencer でのサンプル ロールアップの実行

まず、ローカルの Espresso Sequencer ネットワークを開始する必要があります。

 git clone https://github.com/EspressoSystems/espresso-sequencer
cd espresso-sequencer
docker compose pull
docker compose up -d --wait

それが完了したら、サンプル ロールアップをデプロイすると、ネイティブで実行できるようになります。

ネイティブで実行するには、Rust ツールチェーンが必要です。すべての依存関係をインストールするための nix シェルを提供します。 Nix は nix-installer 経由でインストールできます。インストールしたら、プロジェクトのルートから以下を実行します。

 nix develop
just dev-demo

デモの操作

just dev-demoを実行すると、数分後にnew state eventログを確認できるようになります。

1. アリスは、ロールアップ トークンをボブに転送するトランザクションに署名します。アリスは、ロールアップ API のsubmitエンドポイントを介して、このトランザクションをロールアップに送信します。アリスが検閲を懸念している場合は、トランザクションをシーケンサーに直接送信できます。
2. ロールアップ API サーバーはトランザクションをシーケンサーに転送します。ステップ 4 でロールアップが独自のトランザクションを識別できるように、トランザクションにはロールアップの一意の名前空間 ID がタグ付けされます。
3. シーケンサー ネットワークはトランザクションを処理し、最終的にはブロックに含めます。シーケンサー ノードは新しい状態を L1 上のLight Clientコントラクトに送信し、新しい状態に関して合意が得られたことを検証します。
4. エグゼキューター サービスは、シーケンサー ノードによって提供されるクエリ サービスへのサブスクリプションを介して、新しい状態の通知を受け取ります。
5. エグゼキューターは、ホットショット ネットワーク上でシーケンスされた新しいブロックのヘッダーもリッスンします。次に、名前空間の証明、vid common、およびブロック ハッシュを取得します。
6. 次に、エグゼキュータは次の手順を実行してトランザクションを処理します。
   • エグゼキューターはトランザクションを VM 状態に適用します。適用前に、各トランザクションが検証され、無効なトランザクションは破棄されます (実際のロールアップには、最終的にトランザクション無効の証明が含まれます)。私たちの場合、ブロックにはアリスからボブへの単一のトランザクションが含まれています。トランザクションには有効な署名が含まれており、アリスには十分な残高があるため、トランザクションは正常に適用され、残高が更新されます。
   • トランザクションの適用後、エグゼキュータは新しいブロック コミットメントと以前の状態のコミットメントで VM の状態を更新します。
   • エグゼキューターは新しい状態コミットメントを計算し、HotShot ブロック コミットメントに関して状態が正しく更新されたことを示す模擬証明を生成します。
7. 執行者は証拠をロールアップ契約に転記します。
8. ロールアップ コントラクトは、シーケンサー コントラクトから最新の認定ブロック コミットメントをクエリすることで証明を検証します。注: 現在の実装では、コントラクト内の検証はあまり行っていません。運用目的の場合、ロールアップ コントラクトはライト クライアント状態で追加の検証を行う必要があります。
9. ボブはロールアップ API を使用して残高をクエリし、いくつかの新しいトークンを受け取ったことを確認します。これが実際のロールアップである場合、潜在的に不信感を抱いているボブは、ロールアップ契約状態のコミットメントに対して自分の残高を確認することができます (この例には現在この機能が含まれていません)。

ロールアップアーキテクチャ

ロールアップ状態

ロールアップ例の状態は次のもので構成されます。

• アカウント: ECDSA (EVM スタイル) アドレスのダミー トークンの残高へのマッピング。
• Block Hash : 最新のホットショット コンセンサス ブロックのハッシュ。
• 以前の状態のコミットメント: 最新の実行ステップ前のロールアップの状態に対する暗号化コミットメント。
• VM : ロールアップ VM に関する情報。現時点では、これは単純な ID です。

執行者

エグゼキューターは、L1 ライト クライアント コントラクトにポストされた新しい状態をサブスクライブし、ロールアップ ステートにトランザクションを適用し、ロールアップ コントラクトにモック プルーフを送信するサービスです。ロールアップでは、多くの場合、実行者と証明者の役割が 2 つの異なるサービスに分離されますが、この例では、簡素化のためにそれらを組み合わせています。

ロールアップAPI

ロールアップ API は、 submitポイントとqueryポイントを含む REST API です。

ロールアップ契約

ロールアップ コントラクトには、最新のロールアップ状態のコミットメントが保存されます。コントラクトは、有効な状態遷移証明を執行者から受け取ると、状態コミットメントを更新します。

エスプレッソ

この例では、以下で説明するようにいくつかの Espresso コンポーネントを使用しました。詳細についてはドキュメントを参照してください

ライトクライアント

ライト クライアントは、ロールアップ状態の整合性を検証するスマート コントラクトです。契約コードはここで確認できます

エスプレッソネットワーク

エスプレッソ シーケンサー Docker イメージを使用してエスプレッソ ネットワークを実行しました。ネットワークはホットショットを使用して、ロールアップ状態に関する合意を形成します。アーキテクチャはここで見つけることができます

ホットショット

Espresso Network は、HotShot を使用してロールアップ状態に関する合意を形成します。