OP Labs 成功完成 Sherlock 审计,发现更多问题

- OP Labs 已开展审计工作,以消除协议中的差异。
- 此次审计主要聚焦于两个核心目标。
- 旨在从错误中恢复,同时注重将故障防护机制整合至系统中。
OP Labs 进行了 Sherlock 审计,以确保没有差异并采取进一步的实施步骤。此次审计确保开发人员更接近 OP 主网。它还将加强主网的安全性以及可能出现问题时可靠性。
OP 主网审计
OP Labs 是 Optimism Protocol 的构建者,该协议是以太坊协议的扩展。该协议的重点在于确保技术和价值的扩展。此外,它还致力于促进对公共利益的承诺。
根据 OP Labs 最近的博文,他们对 OP 主网进行了审计。审计的完成导致了升级期的开始,这将导致主网开发过程的完成。
审计于3月27日开始,Sherlock 审计竞赛旨在测试拟议的系统。审计有两个拟议的目的。其中包括由故障证明系统确保的恢复,以及将故障证明系统集成到主网的现有合同中。
根据开发人员分享的博文,审计结果显示没有重大漏洞。开发人员打算在升级期结束后分享详细报告。Sherlock 将在执行升级期后验证完整的验证和严重性检查。
关于 OP Labs 进行的审计的更新
由于审计已成功完成,多个团队的参与使其成为可能。根据上述开发人员的 博客文章,Offchain Labs 是其中值得感谢的一家,因为它们专注于指出错误。
Offchain Labs 能够在 Sherlock 审计开始之前在 [FaultDisputeGame] 中发现两个错误。如果这些错误没有被识别,将导致多个错误。其中一些包括游戏解决过程中的某些规范。
该错误与基于两个团队竞争比赛的时间解决有关。防守团队和攻击团队将面临时间耗尽且比赛已解决的问题,尽管时间可能尚未耗尽。因此,即使分配的时间尚未结束,攻击团队也可能已经失去了时间。
因此,这将导致无效索赔,从而使本不会获胜的团队获胜。因此,该错误将影响协议。因此,它被提前解决,以确保开发人员以及用户在未来没有麻烦。
此外,还发现了一个现有公共报告重复的问题,并及时解决了。
后续步骤
由于上述问题已由 OP Labs 解决,他们已将解决方案合并到 [develop] 分支中。此外,它于2024年4月26日集成到 OP Sepolia 测试网中。因此,随着部署,他们开始运作。
开发人员计划继续致力于 OP 主网,以确保为用户提供最佳版本。随着 OP Labs 完成 Sherlock 审计,升级期已开始。他们将致力于在此期间可能引起开发人员注意的潜在问题。
随着升级期的结束,将分享关于潜在问题的详细报告。这些更改将包括在对 OP 主网的治理提案更改中。
结论
OP 主网的开发人员对系统进行了 Sherlock 审计。这导致发现了一些已解决的错误,解决方案将包括在对治理系统的更改提案中。主网的升级期已开始,将重点关注 OP Labs 可能进行的任何进一步讨论。
如果您正在阅读这篇文章,说明您已经领先一步。请继续通过我们的通讯保持关注。

Haseeb Shaheen
作为网络研究员和网络营销专家,Haseeb Shaheen 为受众提供相关且有价值的内容。他专注于金融和加密货币市场分析,以及有助于改变人们生活的科技领域。















