Starknet官方发布了1月5日主网宕机的完整分析报告。这次故障的罪魁祸首是区块生成器（blockifier）的一个漏洞——在特定条件下，它错误地处理了交易。

具体发生了什么呢？当跨函数调用、变量写入、回滚以及回滚捕获这几个操作组合出现时，生成器就出岔子了。被回滚函数内的状态写入操作本该被清除，结果却被错误地标记为有效，导致交易执行出问题。

不过还好，Starknet的证明层机制成了救命稻草。这个错误的执行从未在L1层获得最终性确认，有效阻止了问题链上的永久化。链上活动被回滚了约18分钟。

说起来，这已经是2025年Starknet发生的第二次重大中断。之前在9月份还出现过排序器漏洞导致的超5小时宕机，那次甚至回滚了接近1小时的链上活动。连续的稳定性问题着实让人有些担忧。