EIP-8037/EIP-8038 Glamsterdam
Ethereum Foundation のレポートは、今後の Glamsterdam ハードフォークで導入される EIP‑8037 と EIP‑8038 が 8 つのガス関連不変条件を破壊し、プロジェクトが失敗する可能性があることを検証しています。開発者にコントラクトの監査を推奨し、ハードフォークの遅延を促しました。
要点
- Glamsterdam は複数の操作のガスコストを再定義し、8 つの既知の不変条件を破ります。
- Chainsecurity は、変更が適用されると失敗する可能性のある複数のプロジェクトを特定しました。
- ハードフォークは、特定された問題が解決されるまで延期されました。
- 開発者は、提供されたリポジトリを使用してリストされた不変条件に対してコントラクトを監査するよう求められています。
- 内部監査と外部監査（Chainsecurity、Dedaub）は進行中ですが、すべてを網羅することはできません。
What the report investigates
Ethereum Foundation の最新ブリーフは、今後の Glamsterdam アップグレード、特にガス価格を一部の opcode と状態アクセス向けに刷新する EIP‑8037 と EIP‑8038 に焦点を当てています。核心的な質問は、これらの新しいガスルールが 8 つの既存の不変条件を無効化したとき、どの既存スマートコントラクトが壊れるかです。
Methodology and data sources
Chainsecurity はテストネットで実験を行い、新しいルール下で脆弱になるプロジェクトをいくつか指摘しました。その結果は公開ブログ記事と診断ツールにまとめられています。Foundation は Chainsecurity、Dedaub、そして内部チームに監査を委託していますが、オンチェーン・オフチェーンすべてのコードを網羅的に調べることは不可能であると認めています。
Main findings
レポートは、ガス再価格付けが実際に 8 つの特定の不変条件を破ること、そして既にそれらの前提に依存しているライブコントラクトが存在することを確認しています。このリスクを受けて All Core Devs（ACD）グループはハードフォークを延期し、問題が緩和されるまで Hoodi フォークを保留することを決定しました。次の Hegota アップグレードの作業は影響を受けずに継続されます。
Caveats and limitations
特定されたプロジェクトは問題の一例に過ぎず、監査範囲は限定的です。多くのコントラクトが依然として露出している可能性がありますが、未検証のままです。Foundation の呼びかけは予防的な措置であり、影響を受けるすべてのコードを網羅したリストではありません。
Implications for the community
コントラクト開発者、監査者、ツール提供者は、専用 GitHub リポジトリにある 8 つの不変条件を確認し、提供されたプロンプトを自分のコードベースに対して実行することが推奨されます。影響を受ける可能性があるプロジェクトは、[email protected] まで Foundation に連絡してください。この協働的アプローチは、ハードフォークが進行する前にネットワークの安全性を確保し、Ethereum の信頼性と開発者の信頼を保つことを目的としています。