原作者:ハオティアン
最近、Fault Proof System のセキュリティ監査の問題により、@Optimism が海外のコミュニティから疑問視されています。元々はパーミッションレスの不正証明メカニズムでしたが、重大なセキュリティ問題が発見された後、実際に OP Foundation は問題を修正し、パーミッションレスの不正証明メカニズムに変換するためのハードフォークを提案しました。いったい何が起こったのでしょうか?
1) 簡単に言うと、フォールト プルーフ システムは、レイヤー 2 ネットワークのステータスが正しいことを検証するためのメカニズムです。誰でも、許可なく L1 上の問題のある仮想マシンに L2 ステータスを送信し、チャレンジが成功した場合は、他のユーザーからのチャレンジを受け入れることができます。報酬と罰のメカニズムがトリガーされます。
これは、セキュリティを確保するために OP-Rollup メカニズムに存在する必要がある不正防止メカニズムです。 6月のフォールト・プルーフ・システムの発売により、OPスタックには効果的な異議申し立てメカニズムが欠如しているという市場の批判が補われた。
2) しかし、最近のコミュニティ主導の監査で不正防止システムに複数の脆弱性が発見され、オプティミズム財団の反応は驚くべきものでした。
1. 不正防止 VM オペコード レベルの脆弱性を軽度のセキュリティ脆弱性として扱います。
2. 不正防止システムを外部監査の対象から除外する。
3. 不正行為の証明の不許可を許可メカニズムに一時的に調整し、セキュリティ問題を解決するために Granite と呼ばれるハードフォーク計画を提案します。
このように、人々はいわゆるフォールトプルーフシステムの意味と有効性を疑わざるを得ません。
3) この件についてどう思いますか?私の意見では:
1. Optimism は、OP Stack 陣営が実行する必要なセキュリティチャレンジメカニズムをさらに拡張するために、完全に Fault Proof System を立ち上げました。市場は、Optimism 自体がそのようなチャレンジメカニズムを備えているかどうかについて「楽観的」になっています。
2. フォールトプルーフシステムは構造的に非常に複雑で、ほとんどのステータスは L2 でローカルに検証でき、一部の重要な部分のみが決定のために L1 の障害のある仮想マシンにプッシュされます。はい、特定の操作コードを持つ仮想マシンです。このようにして、セキュリティを確保しながら、L1 検証を低コストで行うことができます。
3. フォールトプルーフシステムは無許可から許可に切り替えられ、緊急に無効化されました。これにより、OP 財団とマルチ署名セキュリティ委員会の過度の権利も暴露されました。この不正行為は、許可がなくても依然として制御下にあったことを証明しました。安全保障委員会の;
4. 楽観主義は、ステージ 1 のセキュリティと分散化の目標を達成します。少なくとも、同じ陣営の Arbitrum よりも遅れています。ZK-Rollup の技術的リーダーシップはさらに評価されるでしょう。