Starknet ポストモーテム詳細 実行バグが一時的なメインネット停止の原因に

• ブロックファイア状態のバグにより証明層との不一致が発生し、最近のStarknet活動が停止・ロールバックされました。
• 安全システムはEthereumの最終性前に誤った実行を停止しましたが、ユーザーは依然としてダウンタイムや取引のリバーサルに直面しました。
• 約18分間のネットワーク活動がロールバックされ、サービス再開後にユーザーは取引を再提出する必要がありました。
• 複雑なレイヤー2システムが信頼性リスクに直面し続ける中、Starknetはより強力なテストと迅速な検出を計画しています。

Starknetは、月曜日のメインネット一時停止の原因を説明する事後報告書を公開しました。このインシデントにより、短時間のネットワーク停止と最近のブロックのロールバックが発生しました。

しかし、Ethereumの最終決済には影響しませんでした。チームによると、内蔵された安全システムは意図通りに機能し、ユーザーはダウンタイムや取引のリバーサルを経験しました。

Starknetのダウンタイムはブロックファイア状態処理バグに起因

報告書に記載されている通り、今回の停止は、Starknetの実行層（ブロックファイア）と証明層とのネットワーク状態の不一致に起因しています。ブロックファイアは取引の実行を担当し、一方、証明層はそれらの実行が正しいことをEthereum上で最終化する前に検証します。

ブロックファイア内部のソフトウェアバグにより、非常に特定の条件下で誤った取引結果が生じました。これには、関数間呼び出し、状態変化、取引のリバート、そしてそれらのリバートを捕捉するロジックが含まれます。

画像出典：Starknet

そのエッジケースでは、ブロックファイアが誤って関数がリバートした後に破棄すべき状態変化を保持してしまいました。その結果、取引結果が証明層の期待と異なるものとなりました。

この不整合により、誤った実行はEthereumの最終性に到達せず、ネットワークは停止し、最近の活動をロールバックして一貫した状態を回復しました。Starknetのチームは、この挙動は正確性を維持することに焦点を当てたコア設計原則を反映していると述べています。

インシデント後、ブロックの再編成が行われ、約18分間のネットワーク活動が消去されました。その間、確認済みの取引はリバートされ、ネットワークが正常に戻った後に再提出されました。Starknetは、完全な機能が復元されたと述べています。

繰り返される停止はレイヤー2ネットワークの複雑さにスポットライトを当てる

2025年、Starknetのユーザーは月曜日のインシデントよりも大きな混乱を経験しました。9月には、Grintaと呼ばれる大規模なプロトコルアップグレードにより、シーケンサーのバグが引き起こされ、ネットワークが5時間以上停止しました。

画像出典：Starknet

その期間中、取引は処理できず、ユーザーは待つか再提出を余儀なくされました。正常な運用を回復するために2回のチェーン再編成が必要で、約1時間分のネットワーク活動がロールバックされました。

このイベントの影響を受けたユーザーも取引を再提出しなければならず、アクティブな市場参加者にとって摩擦を生じさせました。これらの事例は、高度なレイヤー2ネットワークが直面する継続的な課題を示しています。

Starknetは、実行エンジン、ゼロ知識証明層、シーケンサー、Ethereum上の決済など、いくつかの密接に連携したシステムで動作しています。各層はセキュリティやスケーラビリティを向上させますが、その分複雑さも増します。

層が増えるにつれて、コアの安全メカニズムが維持されている場合でも、稀に予期しない方法でソフトウェアバグが表面化することがあります。

Starknetのインシデントはレイヤー2のロールバックによるユーザーコストを浮き彫りに

最新の停止は、小さな実行エラーでも安全システムが正しく動作している場合でも、目に見える混乱を引き起こす可能性があることを示しています。Starknetの証明層は、不整合を最終決済前に検出し、保護の役割を果たしました。しかし、その保護は、ダウンタイムやリオーグのユーザー負担を排除するものではありません。

小さな実行エラーでも、内蔵された安全システムが正常に動作している場合でも、顕著なネットワークの混乱を引き起こす可能性があります。Starknetの場合、証明層は誤った取引を最終決済前に検出し、ネットワークへの長期的なダメージを防ぎました。

ユーザ資金が保護されていても、ダウンタイムやチェーンの再編成は通常の活動を妨げ続けました。高速かつ予測可能な取引実行に依存するトレーダーやアプリケーションは、リバートされたブロックにより取引を再送信し、予期しない遅延を管理する必要がありました。

Starknetはブロックファイアと証明システムのテストを強化

最近のメインネットの混乱を受けて、Starknetでは継続的なエンジニアリングレビューが行われており、特に類似のインシデントのリスク低減に焦点を当てています。新しいファズテストスイートが導入され、ブロックファイアの実行結果を直接証明システムと比較する仕組みが進められています。

また、ブロックファイアのリバートロジックの内部監査も進行中で、誤った状態処理につながる他のシナリオを特定しようとしています。さらに、取引実行と証明者対応の実行間隔を短縮する計画もあります。

より迅速な比較により、不一致を早期に検出できるようになり、ネットワークのロールバック範囲を限定できます。

Starknetは、今回のインシデントは安全モデルが設計通りに機能した証拠であると位置付けており、誤った実行はEthereumの最終性に到達しなかったとしています。同時に、レイヤー2技術の成熟に伴い、安定性向上が引き続き優先事項であることも認めています。