OP Labs、Sherlock監査を成功裏に完了し、さらに多くの発見

OP Labsは、不整合がないことを確認し、実装へのさらなるステップを踏むためにSherlock監査を実施しました。この監査により、開発者はOPメインネットに1歩近づいたことが保証されました。これは、メインネットのセキュリティと、問題が発生した場合の信頼性を強化します。  

OPメインネットの監査

OP Labsは、Ethereumプロトコルの拡張であるOptimism Protocolのビルダーです。このプロトコルの焦点は、技術と価値のスケーリングの確保にあります。さらに、公共の利益へのコミットメントの促進にも重点を置いています。

OP Labsの最近のブログによれば、OPメインネットの監査を実施しました。監査の完了は、メインネットの開発プロセスの完了につながるエスカレーション期間へと移行しました。  

監査は3月27日にSherlock監査コンテストで始まり、提案されたシステムをテストすることを目的としていました。監査には2つの提案された目的がありました。これには、フォールト・プローフ（欠陥証明）システムによる回復の確保と、メインネットの既存の契約へのフォールト・プローフ・システムの統合が含まれていました。 

開発者が共有したブログ投稿によれば、監査の結果、重大な脆弱性はないことが示されました。開発者は、エスカレーション期間が終了した後、詳細なレポートを共有する意向です。完全な検証と重大度チェックは、エスカレーション期間の実行後にSherlockによって確認されます。 

OP Labsによる監査の更新

監査が成功裏に実施されたため、その参加により可能にした複数のチームがあります。上記の開発者によるブログ投稿によれば、Offchain Labsは、欠陥を指摘することに焦点を当てていたため、感謝すべき存在の一つです。

Offchain Labsは、Sherlock監査の開始前に[FaultDisputeGame]で2つの欠陥を見つけました。これらのエラーが特定されていなければ、複数のエラーが発生していたでしょう。これらの中には、ゲーム解決時のいくつかの仕様に関するものも含まれていました。 

このバグは、2つのチームが競争を争うことを基礎とした時間解決に関連していました。防衛側チームと攻撃側チームは、時間が経過し、時間が経過していなくてもコンテストが解決されるという形で問題に直面しました。したがって、割り当てられた時間がまだ終了していなくても、攻撃側チームが時間を失う可能性があります。

したがって、無効な主張が発生し、本来勝つはずのないチームが勝利することになります。したがって、このバグはプロトコルに影響を与えていたでしょう。したがって、将来の開発者やユーザーにとっての頭痛の種にならないように、事前に解決されました。 

さらに、既存の公開レポートの重複に関する問題が見つかり、時間内に解決されました。 

次のステップ

上記の問題がOP Labsによって解決されたため、開発者はその解決策を[develop]ブランチにマージしました。さらに、2024年4月26日にOP Sepoliaテストネットに統合されました。したがって、デプロイメントにより機能を開始しました。 

開発者は、ユーザーに最高のバージョンを提供するためにOPメインネットでの作業を継続する計画です。OP LabsによるSherlock監査の完了により、エスカレーション期間が開始されました。彼らは、この期間中に開発者の注意を引く可能性のある可能性のある問題に取り組むでしょう。 

エスカレーション期間が終了すると、可能性のある問題に関する詳細なレポートが共有されます。これらの変更は、OPメインネットのガバナンス提案の変更に含まれます。

結論

OPメインネットの開発者は、システムのSherlock監査を実施しました。これにより、いくつかの欠陥が発見され、それらは解決され、その解決策はガバナンスシステムへの変更提案に含まれます。メインネットのエスカレーション期間が開始され、OP Labsによるさらなる変更の可能性についてさらに審議することに焦点を当てます。