最近以太坊生态的L2解决方案Starknet经历了一次意外宕机。根据官方事后分析，问题出在执行层（blockifier）和证明层之间的状态校验上。

具体来说，在某些特定的跨函数调用配合状态回滚的情况下，执行层出现了逻辑漏洞——它错误地记录了那些本应被回滚的状态改写。这直接导致后续交易执行异常，而这些受影响的交易没有获得L1层的最终性确认。

结果是什么？整个网络触发了区块重组机制，约18分钟内的所有链上活动都被回滚了。听起来有点吓人，但在分布式系统里，这种自我修复机制其实是设计特性。

更值得注意的是，这已经是Starknet在2025年遭遇的第二次重大中断。此前9月还因排序器存在漏洞导致超过5小时的服务中断，那次回滚了约1小时的链上数据。看起来L2网络在高并发或异常场景下的鲁棒性仍需加强。