セキュリティ脆弱性により、Optimism Foundationは許可制の不正証明に戻す

コミュニティ主導の監査により2つの契約に関連するセキュリティ脆弱性が発覚した後、Optimism Foundationはネットワークを許可制の状態に戻しました。Optimism貢献者であるOP Labsの代表でありプロトコルエンジニアのMofi Taiwo氏は、脆弱性を修正するための9月10日付の「Granite」ハードフォークを提案しました。

Optimismの許可制不正証明システムは2ヶ月前に稼働しました。しかし、コミュニティの監査により新しいシステムに様々な深刻度の脆弱性が発覚したため、財団は元の許可制状態への戻しを発表しました。 

監査により、OptimismのImmuneFi報奨金スケールによると、悪用されると壊滅的な被害をもたらす2つの主要な脆弱性が明らかになりました。

監査により Optimism 不正証明契約の脆弱性が発覚

特定されたバグは、不正証明システム内のMIPS契約に関連しており、Optimismの監査範囲には含まれていませんでした。これらの契約はPosing LifeおよびReputationalリスクカテゴリーに誤って分類されたため、プロジェクトのガイドラインに沿った正式な監査の対象とはなりませんでした。

Ethereumレイヤー2スケーリングソリューションは6月10日に許可制不正証明システムをローンチしました。これは、ユーザーが潜在的に誤っているか不正なトランザクションをより分散型の方法で異議を唱えることを可能にするアップグレードを組み込んでいます。

本日、@OPLabsPBCは、Fault Proof Systemに関する最近のコミュニティ主導の監査からの発見を詳述したアップグレード提案を投稿しました。これには、監査の一部として特定されたバグを修正する計画も含まれています。https://t.co/Kylblb3Wyx

— Optimism (@Optimism) 8月16日、2024

Optimism Foundationの発表によると、ロールバックはネットワークの不安定さを回避し、ユーザーの資金を保護するための予防措置として開始されました。発表では、Optimismがバグを修正中であり、そのプロセスは3週間続く見込みであることも言及されました。

財団は、攻撃者が脆弱性を悪用する前に脆弱性が特定され、資産は危険にさらされていなかったことを強調しました。Optimismによると、保留中の出金はリセットされ、証明プロセスを再度受けなければならないとされています。

許可制不正証明システムは、不正または誤ったトランザクションを異議を唱える能力が信頼できる提案者にのみ課されるため、より中央集権的です。Optimism Foundationは、Ethereum共同創設者であるVitalik Buterin氏によると、L2スケーリングソリューションの分散化を促進し、ステージ1の分散化を達成するために新しいシステムを開始しました。 

レイヤー2スケーリングソリューションは、ステージ1の分散化を達成するために、信頼できる当事者のマルチシグによって保護された効果的な不正証明システムが必要です。

プロトコルエンジニアMofi Taiwoがバグ修正のためのハードフォークアップグレードを提案

ネットワークが許可制L2状態に戻された後、Optimism貢献者であるOP Labsの代表でありプロトコルエンジニアのMofi Taiwoは、Optimismのガバナンスフォーラムに提案を提出しました。 

「[…]しかし、過剰な慎重さから、脆弱性が修正される間に潜在的な不安定さを回避するために、許可制フォールバックメカニズムがアクティブ化されました。」 

モフィ・タイウォ

この 提案 フォールバックシステムの有効化と、影響を受けたコントラクトの脆弱性の強調を提案しました。また、いずれのバグも悪用されておらず、資産にリスクはないとも述べています。

提案において、タイウォ氏は9月10日16:00:01 UTCに予定されている「Granite」と呼ばれるハードフォークアップグレードも提案しました。このハードフォークはまだ正式な監査を受けていません。しかし、OP Labsは内部セキュリティレビューを開始し、変更は低リスクであると結論付けました。