Scroll

zkEVM

Sequencerをgethで動かしてるからEVM Equevalentを実現できる

Rollerを並列にすることで検証のスピードも上げている

Architecture

https://scrapbox.io/files/6432ff085a937f001b4e4145.png

スクロール ノード:ユーザー トランザクションから L2 ブロックを構築し、それらを Ethereum ベース レイヤーにコミットし、L1 と L2 の間でメッセージを渡します。

Sequencer

JSON-RPC インターフェイスを提供し、L2 トランザクションを受け入れます。数秒ごとに、L2 mempool からトランザクションのバッチを取得して実行し、新しい L2 ブロックと新しい状態ルートを生成します。私たちのシーケンサーの実装は、最も人気のある Ethereum ノード実装の 1 つである Go-Ethereum (Geth) に基づいています。Geth をフォークすることで、最高の互換性を実現し、時の試練に耐えてきたセキュリティを継承することができます。

Coordinator

新しいブロックが生成されると、コーディネーターに通知され、シーケンサーからこのブロックの実行トレースを受け取ります。次に、実行トレースを、プルーフ生成のためにローラー プールからランダムに選択されたローラーにディスパッチします。

Relayer

イーサリアムとスクロールの両方にデプロイされたブリッジとロールアップ コントラクトを監視します。それには2つの主な責任があります。まず、ロールアップ コントラクトを監視して、データの可用性や有効性の証明など、L2 ブロックのステータスを追跡します。次に、Ethereum と Scroll の両方に展開されたブリッジ コントラクトからの入金と引き出しのイベントを監視し、メッセージを一方から他方に中継します。

Roller Network: zkEVM の正当性証明を生成して、トランザクションが正しく実行されたことを証明します。

https://scrapbox.io/files/64330246414f870021053625.png

Coordinatorから取得した実行トレースを回線監視に変換

各zkEVM回路のproofを生成

証明集約を使用して、複数の zkEVM 回路からの証明を単一のブロック証明に結合

ロールアップおよびブリッジ コントラクト:スクロール トランザクションのデータ可用性を提供し、zkEVM の有効性証明を検証し、ユーザーがイーサリアムとスクロールの間で資産を移動できるようにします。