Starknetは今週月曜日にメインネットの短時間の停止に見舞われ、公式はその後、インシデント分析レポートを発表しました。問題は実行層（blockifier）と証明層の間で状態の不一致が発生したことにあります。具体的には、特定のクロス関数呼び出しとロールバックの組み合わせシナリオで、実行層は取り消されるべきだった状態の書き込みを誤って記録し、最終的にトランザクション実行エラーを引き起こしました。影響を受けたこれらのトランザクションはL1からの最終性確認を得られませんでした。このインシデントは約18個のブロックに影響を与えるブロック再編成をトリガーしました。

このイベントは、L2層アーキテクチャの複雑な状態管理における脆弱性を反映しています。実行層と証明層の調整の問題は低確率に見えますが、一度発生すると連鎖反応を引き起こしやすくなります。良いニュースは、Starknet公式が迅速に根本原因を特定し分析結果を発表したことです。その後の修正とリスク管理のアップグレードに注目する価値があります。ユーザーにとって、これは新興L2ネットワークに参加する際のリスク認識を思い出させるものでもあります。