OP Labsは、矛盾がないかを確認し、実装に向けた更なるステップを踏むため、Sherlock監査を実施しました。この監査により、開発者はOPメインネットの実現に一歩近づいたことが確認されました。これにより、メインネットのセキュリティと信頼性が強化され、問題発生時の信頼性も向上します。.
OP メインネットの監査
Ethereumの拡張であるOptimism Protocolの開発元です。このプロトコルは、技術と価値のスケーリングを確保することに重点を置いています。さらに、公共の利益へのコミットメントの促進にも重点を置いています。
OP Labsの最近のブログによると、OPメインネットの監査が実施されました。監査の完了に伴い、メインネットの開発プロセス完了に向けたエスカレーション期間に入りました。.
監査は3月27日、提案されたシステムをテストすることを目的としたSherlock監査コンテストから始まりました。監査の目的は2つ提案されており、フォールトプルーフシステムによる確実な復旧と、メインネットの既存tracへのフォールトプルーフシステムの統合でした。.
開発者が共有したブログ投稿によると、監査の結果、重大な脆弱性は確認されなかったとのことです。開発者は、エスカレーション期間終了後に詳細なレポートを共有する予定です。エスカレーション期間終了後、Sherlockによって完全な検証と重大度チェックが実施されます。.
OP Labsによる監査の最新情報
監査は成功裏に実施され、複数のチームの参加によって実現しました。ブログ投稿、Offchain Labsは欠陥の指摘に注力したため、感謝に値するチームの一つです。
監査中に、安全メカニズムを回避できる重大な脆弱性は報告されなかったことをご報告いたします。
— オプティミズム(@Optimism) 2024年4月26日
初期調査結果を共有し、エスカレーション期間終了後に完全な監査概要を公開いたします。https ://t.co/OZ2qW28c5T
Offchain Labsは、Sherlock監査開始前に[FaultDisputeGame]に2つの欠陥を発見しました。これらのエラーがdentされていなかった場合、複数のエラーが発生していた可能性があります。これらのエラーには、ゲーム解決時の仕様に関するものも含まれています。.
このバグは、2チーム間の対戦における時間配分に関するものでした。守備側チームと攻撃側チームは、時間切れになったにもかかわらず、実際には時間切れではないにもかかわらず対戦が解決されてしまうという問題に直面していました。そのため、攻撃側チームは割り当てられた時間がまだ終了していないにもかかわらず、時間切れになる可能性がありました。.
その結果、本来勝てないチームが勝利する無効なクレームが発生し、結果としてプロトコルに影響を及ぼした可能性があります。そのため、開発者とユーザーに将来的な負担がかからないよう、事前に修正されました。.
さらに、既存の公開レポートとの重複の問題が見つかりましたが、これは時間内に解決されました。.
さらなるステップ
上記の問題はOP Labsによって解決されたため、解決策は[develop]ブランチにマージされました。さらに、2024年4月26日にOP Sepoliaテストネットに統合されました。これにより、デプロイメントが完了し、運用が開始されました。.
開発者は、OPメインネットの最良のバージョンをユーザーに提供できるよう、引き続き開発を進めていく予定です。OP LabsによるSherlock監査の完了に伴い、エスカレーション期間が開始されました。この期間中に開発者が気付く可能性のある問題への対応に取り組んでいきます。.
エスカレーション期間の終了に伴い、潜在的な問題に関する詳細なレポートを共有いたします。これらの変更は、OPメインネットのガバナンス提案の変更に反映されます。.
結論
OPメインネットの開発者は、システムのSherlock監査を実施しました。その結果、いくつかの欠陥が発見され、解決されました。この解決策は、ガバナンスシステムの変更提案に盛り込まれる予定です。メインネットのエスカレーション期間が開始され、OP Labsによる変更の可能性に関するさらなる検討に焦点が当てられます。.

