Starknet 事后分析：执行错误导致短暂的主网中断

• 一个块化器状态漏洞导致与证明层不匹配，导致近期Starknet活动暂停和回滚。
• 安全系统在以太坊最终确认之前停止了有缺陷的执行，尽管用户仍然面临停机和交易逆转。
• 大约18分钟的网络活动被回滚，迫使用户在服务恢复后重新提交交易。
• 随着复杂的第2层系统持续面临可靠性风险，Starknet计划加强测试和加快检测速度。

Starknet发布了一份事后报告，解释了周一主网短暂中断的原因。此次事件导致网络短暂停止和近期区块的回滚。

然而，这并未影响以太坊上的最终结算。团队表示，内置的安全系统按预期工作，尽管用户经历了停机和交易逆转。

Starknet停机追溯至块化器状态处理漏洞

如报告所述，停机源于Starknet的执行层（称为块化器）与其证明层之间的网络状态不匹配。块化器负责执行交易，而证明层在这些执行被最终确认在以太坊之前验证其正确性。

块化器内部的一个软件漏洞在特定条件下导致了不正确的交易结果。这些条件包括跨函数调用、状态变化、交易回滚以及捕获这些回滚的逻辑。

图片来源：Starknet

在该极端情况下，块化器错误地保留了应在函数回滚后丢弃的状态变化。因此，交易结果与证明层预期的不同。

由于不一致，错误的执行未能达到以太坊的最终确认。相反，网络暂停并回滚了近期活动以恢复一致的状态。Starknet团队表示，这一行为反映了其核心设计原则，即即使执行软件行为异常，也要保持正确性。

事件之后，发生了区块重组，清除了大约18分钟的网络活动。在此期间，已确认的交易被回滚，网络恢复正常后不得不重新提交。Starknet表示，完整功能已恢复。

重复的中断凸显第2层网络的复杂性

2025年，Starknet用户经历了比周一事件更具破坏性的中断。九月，一次名为Grinta的重大协议升级触发了一个sequencer漏洞，导致网络中断超过五小时。

图片来源：Starknet

在此期间，交易无法处理，用户被迫等待或重新提交活动。为恢复正常操作，进行了两次链重组，约一小时的网络活动被回滚。

受影响的用户也不得不重新提交交易，增加了活跃市场参与者的摩擦。这些事件反映了先进的第2层网络面临的持续挑战。

Starknet运行在多个紧密关联的系统上，包括执行引擎、零知识证明层、sequencers和以太坊结算。每一层都提升了安全性或扩展性，但也增加了复杂性。

随着更多层的交互，罕见的软件漏洞可能以意想不到的方式出现，即使核心安全机制仍然完好无损。

Starknet事件凸显用户因第2层回滚而承担的成本

最新的中断显示，即使安全系统正常运行，小的执行错误仍可能引发明显的中断。Starknet的证明层作为保障，在最终结算前捕获了不一致。然而，这种保护并不能消除用户面临的停机和重组的成本。

即使内置安全系统正常工作，小的执行错误仍可能导致网络明显中断。在Starknet的案例中，证明层在交易到达最终结算之前检测到有缺陷的交易，防止了对网络的持久性损害。

即使用户资金受到保护，停机和链重组仍会扰乱正常活动。依赖快速且可预测交易执行的交易者和应用受到最大影响，因为回滚的区块迫使用户重新发送交易并应对意外延迟。

Starknet加强对块化器和证明系统的测试

在最近的主网中断后，Starknet正在进行持续的工程审查，特别关注减少类似事件的风险。引入了新的模糊测试套件，直接比较块化器的执行结果与证明系统。

同时，内部也在审查块化器的回滚逻辑，以识别可能导致状态处理错误的其他场景。此外，团队计划缩短交易执行与证明器兼容执行之间的时间间隔。

更快的比较可以更早检测到不匹配，限制网络活动的回滚范围。

Starknet将此次事件视为其安全模型按设计工作的证明，因为有缺陷的执行从未达到以太坊的最终确认。同时，团队也承认，随着第2层技术的不断成熟，提升稳定性仍是优先事项。