OP Labs 已完成 Sherlock 审计,以确保不存在任何差异,并采取进一步的实施步骤。此次审计确保开发人员距离 OP 主网的上线又近了一步。它将增强主网的安全性和可靠性,以应对可能出现的问题。.
OP 主网审计
Optimism Protocol的构建者Ethereum的扩展。Optimism Protocol 的核心在于确保技术和价值的可扩展性。此外,它还致力于促进对公共利益的承诺。
根据OP Labs最近的博客文章,他们已对OP主网进行了审计。审计的完成标志着项目进入了升级阶段,这将最终促成主网开发流程的完成。.
审计工作于3月27日启动,首先进行了Sherlock审计竞赛,旨在测试拟议的系统。此次审计有两个预期目标:一是确保故障恢复系统能够有效应对系统故障;二是将故障恢复系统集成到主网的现有trac中。
根据开发人员分享的博文,审计结果显示未发现重大漏洞。开发人员计划在升级期结束后分享详细报告。升级期结束后,Sherlock 将对完整的验证和严重性检查进行核实。.
OP Labs进行的审计的最新进展
审计工作已顺利完成,这要归功于多个团队的参与。正如博客文章中所述,Offchain Labs 是值得感谢的团队之一,因为他们专注于指出系统中的缺陷。
我们很高兴地报告,审计过程中未发现任何能够绕过安全机制的严重漏洞。
— 乐观主义 (@Optimism) 2024年4月26日
我们已分享初步调查结果,并将于升级期结束后发布完整的审计总结。https ://t.co/OZ2qW28c5T
在 Sherlock 审计开始之前,Offchain Labs 已在 [FaultDisputeGame] 中发现了两个缺陷。如果这些错误没有被dent出来,将会导致多个错误。其中一些错误涉及游戏解决过程中的一些规范。.
该漏洞与时间判定有关,其基于两队之间的比赛。防守方和进攻方都会遇到时间耗尽导致比赛结束的问题,即使实际时间可能尚未结束。因此,即使分配的时间尚未结束,进攻方也可能损失时间。.
因此,这将导致无效的索赔,使原本不会获胜的队伍获胜。因此,该漏洞会影响协议。因此,我们提前修复了该漏洞,以确保将来不会给开发人员和用户带来任何麻烦。.
此外,还发现了一份已公开报告重复的问题,该问题已及时得到解决。.
后续步骤
OP Labs 已解决上述问题,并将解决方案合并到 [develop] 分支中。此外,该解决方案已于 2024 年 4 月 26 日集成到 OP Sepolia 测试网中。因此,随着部署的完成,该解决方案已开始运行。.
开发人员计划继续完善 OP 主网,以确保用户能够体验到最佳版本。随着 OP Labs 完成 Sherlock 审计,升级阶段已经启动。在此期间,他们将着手处理开发人员可能发现的问题。.
升级期结束后,我们将分享一份关于可能出现问题的详细报告。这些变更将纳入OP主网治理提案的修改方案中。.
结论
OP 主网的开发人员已对系统进行了 Sherlock 审计。审计发现了一些故障,这些故障已得到修复,解决方案将纳入治理系统变更提案中。主网的升级阶段已经启动,该阶段将重点讨论 OP Labs 可能提出的任何变更。.

