レイヤー2取引実行全プロセス: 各段階の安全性評価

レイヤー2 (L2)技術はイーサリアムにより高いスケーラビリティをもたらしましたが、同時に取引確認の複雑性も増しました。本稿ではL2取引の完全な実行プロセスを詳細に説明し、各段階のセキュリティ性能を分析します。

L1取引プロセスの振り返り

ユーザーが取引を送信した後、マイナーまたはバリデーターがそれをブロックにパッケージ化するのを待つ必要があります。取引がパッケージ化されても、再編成(Re-org)のリスクを低減するために、一定数の確認ブロックを待つ必要があります。再編成の確率が十分に低い場合にのみ、取引は最終的に確認されたと見なされます。

! L2トランザクション実装の全プロセスの解釈:各ステージのセキュリティパフォーマンスは?

L2取引プロセスの詳細解説

L2取引プロセスはL1と比べて、1つのステップが追加されました:

1. ユーザーがトランザクションを Sequencer に送信する
2. Sequencerは取引をL2ブロックにパッケージします
3. SequencerがL2のブロックデータをL1に提出します。
4. L1の確認を待つ

その中の第2-3ステップはL2特有のものです。この段階では、取引はまだブロックチェーンに記録されておらず、ユーザーはSequencerの約束に依存するしかありません。これを「プレ確認」と呼びます(Pre-Confirmation)。

! L2トランザクション実装の全プロセスの解釈:各ステージのセキュリティパフォーマンスは?

主流レイヤー2方案の取引確認メカニズム

アービトラム/オプティミズム

• 取引はほぼ即座に領収書を取得でき、これはSequencerの事前確認です。
• Explorerは取引の状態を表示します、"Sequencerによって確認済み"およびL1確認数を含みます
• OptimismはL1ファイナリティ状態も表示します

! L2トランザクション実装の全プロセスの解釈:各ステージのセキュリティパフォーマンスは?

スタークネット

• トランザクションのステータスには、受信済み、保留中、L2 で承認済み、L1 で承認済みが含まれます
• L2からL1への確認時間は長く、約4-5時間です。
• ExplorerがL1ファイナリティ情報を表示しない

! L2トランザクション実装の全プロセスの解釈:各ステージのセキュリティパフォーマンスは?

zkSync

• トランザクションのステータスには、保留中、zkSync Era Processed、Committed、Proven、Executed が含まれます
• L2からL1へのプロセスを3つの段階に分ける
• Explorerは各ステージに関する詳細情報を提供します。

! L2トランザクション実装の全プロセスの解釈:各ステージのセキュリティパフォーマンスは?

L1の事前確認メカニズム

出塊者が事前にわかる場合、L1でもプレ確認をサポートできます。PBSアーキテクチャの下では、ビルダーがプレ確認サービスを提供できますが、その効力は弱いです。将来的にプロポーザーがブロック制作に参加できる場合、プレ確認メカニズムはより信頼性が高くなる可能性があります。

! L2トランザクション実装の全プロセスの解釈:各ステージのセキュリティパフォーマンスは?

改善された事前確認メカニズム

スマートコントラクトを通じて、Builder または Sequencer がデポジットを担保することができ、約束の内容に署名します。約束に違反した場合、ユーザーは証拠を提出し、相手を罰することができ、事前確認の信頼性を向上させます。

! L2トランザクション実装の全プロセスの解釈:各ステージのセキュリティパフォーマンスは?

サマリー

• L2取引はL1にアップロードを待つステージが追加されています。
• L1をアップロードする前に、ユーザーはSequencerの事前確認にのみ依存できます。
• ほとんどのL2エクスプローラーは事前確認ステータスを示しています
• L1にL2データをアップロードするのを待つのが最も安全な方法です
• 経済的インセンティブメカニズムを通じて、事前確認の信頼性を高めることができます。

下表は、各段階におけるL1およびレイヤー2取引の確認保証とリスクをまとめたものです:

| フェーズ | L1取引 | レイヤー2取引 | |------|--------|--------| | 取引を送信 | 保証なし | 保証なし | | 事前確認 | ビルダーは、可能な未来の(を約束) | シーケンサーの誓約 | | ブロックをパッケージ化 | 高い保証 | 中程度の保証(はSequencer)に依存します | | L1をアップロード | - | 高保証 | | 複数確認 | 極めて高い保証 | 極めて高い保証 | | 最終確認 | 最大保証 | 最大保証 |

! L2トランザクション実装の全プロセスの解釈:各ステージのセキュリティパフォーマンスは?