L2取引の全プロセスと各段階の安全性分析

L2取引はL1取引に比べて1つのステップが追加されます。それは、「L2取引がL2ブロックに収められ、L1にアップロードされるのを待つ」というものです。この段階では、データはまだL1にアップロードされておらず、ユーザーはSequencerが提供する口頭の約束、いわゆるPre-ConfirmationまたはFast Confirmation、Soft Confirmationに依存するしかありません。

現在、主流のL2プロジェクトはそのブロックチェーンブラウザでPre-Confirmationステータスを表示しています:

• アービトラム/オプティミズム: "シーケンサーによって確認済み"
• StarkNet: "L2で受け入れられました"
• zkSync: 「zkSync Era Processed」

これらの状態はSequencerの約束を示すものであり、取引が最終的に記録されることを完全に保証するものではありません。Sequencerに悪意がある場合やバグが発生した場合、取引が確認されない可能性があります。

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

より高い確実性を得るために、ユーザーはL2データがL1にアップロードされ、十分な確認が得られるまで、より長い時間待つ必要があります。異なるL2プロジェクトは、この点においてそれぞれ独自のアプローチを持っています:

• OptimismはL1 Finality情報を提供しており、ユーザーは対応するL1ブロックがFinalizedされたかどうかを直接確認できます。
• zkSyncはL2からL1へのプロセスをCommitted、Proven、Executedの3つの段階に細分化し、詳細なステータス表示を提供します。

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

全体的に見ると、L2トランザクションは異なる段階で提供される確認の程度とそれに対応するリスクは以下の通りです。

1. プレ確認: Sequencerのみのコミットメントであり、リスクが高い
2. L1にアップロード: 基本的に確認されていますが、L1のRe-orgリスクが残っています
3. L1の充分な確認: 最終確認、リスクは極めて低い

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

将来、経済的インセンティブを伴ったPre-Confirmationメカニズムが登場する可能性があり、スマートコントラクトを通じて約束を破ったSequencerに対して罰則を科し、ユーザーにより強力な保障を提供します。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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