Starknet公式は1月5日のメインネットダウンの完全な分析レポートを公開しました。今回の故障の原因は、ブロック生成器（blockifier）の脆弱性であり、特定の条件下で取引を誤って処理してしまうことでした。

具体的に何が起こったのでしょうか？関数間呼び出し、変数書き込み、ロールバック、ロールバックキャプチャの操作が組み合わさったときに、生成器が誤作動しました。ロールバックされた関数内の状態書き込み操作は本来クリアされるべきでしたが、誤って有効とマークされ、取引の実行に問題を引き起こしました。

しかし幸いなことに、Starknetの証明層メカニズムが救いの手を差し伸べました。この誤った実行はL1層で最終的な確定を得ることはなく、有効に問題のあるチェーンの永続化を防ぎました。チェーン上の活動は約18分間ロールバックされました。

ちなみに、これは2025年にStarknetで発生した2回目の大きな中断です。以前の9月には、オーダラーの脆弱性による5時間超のダウンがあり、その際にはチェーン上の活動のほぼ1時間にわたるロールバックも行われました。連続した安定性の問題は、確かに懸念を抱かせるものです。