最近以太坊生态的L2解決方案Starknet經歷了一次意外宕機。根據官方事後分析，問題出在執行層（blockifier）和證明層之間的狀態校驗上。

具體來說，在某些特定的跨函數調用配合狀態回滾的情況下，執行層出現了邏輯漏洞——它錯誤地記錄了那些本應被回滾的狀態改寫。這直接導致後續交易執行異常，而這些受影響的交易沒有獲得L1層的最終性確認。

結果是什麼？整個網路觸發了區塊重組機制，約18分鐘內的所有鏈上活動都被回滾了。聽起來有點嚇人，但在分散式系統裡，這種自我修復機制其實是設計特性。

更值得注意的是，這已經是Starknet在2025年遭遇的第二次重大中斷。此前9月還因排序器存在漏洞導致超過5小時的服務中斷，那次回滾了約1小時的鏈上數據。看起來L2網路在高並發或異常場景下的魯棒性仍需加強。