最近、イーサリアムエコシステムのL2ソリューションであるStarknetが予期せぬダウンタイムを経験しました。公式の事後分析によると、問題は実行層（blockifier）と証明層間の状態検証に起因しています。

具体的には、特定の関数間呼び出しと状態のロールバックが組み合わさった場合に、実行層に論理的な脆弱性が生じました——本来ロールバックされるべき状態書き換えを誤って記録してしまったのです。これにより、その後の取引の実行に異常が発生し、これらの影響を受けた取引はL1層の最終性確認を得られませんでした。

結果は何か？ネットワーク全体がブロックリオーケストレーション機能をトリガーし、約18分間のオンチェーン活動がすべてロールバックされました。少し怖い話に聞こえますが、分散システムにおいてこのような自己修復メカニズムは実は設計上の特徴です。

さらに注目すべきは、これがStarknetが2025年に遭遇した2回目の大規模な中断であることです。以前の9月には、オーダラーに脆弱性があったために5時間以上のサービス停止が発生し、その際には約1時間分のオンチェーンデータがロールバックされました。高並列処理や異常なシナリオにおけるL2ネットワークの堅牢性は、まだ強化の余地がありそうです。