Optimism 修复形式化验证发现的回滚漏洞

Optimism 已修复一个冷启动回滚漏洞，该漏洞可能静默擦除 Supernode 回填的区块。Optimism 在致谢 Runtime Verification 时称，这一漏洞是后者在对 OP Stack 做形式化验证的过程中发现的，修复已完成。 目前公开的信息只说明漏洞存在于 Supernode 的回填流程，未披露受影响的网络、资金损失或攻击是否被实际利用。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。