ガス計算方法の変更がスマートコントラクトの機能停止を招く可能性は？エサリアムがHoodiフォークを緊急停止、8つの重大なセキュリティ脆弱性を調査

著者：TechFlow

イーサリアム コア開発者会議（ACD）は、Hoodi テストネットのアップグレード進行を保留すると決定した。これはセキュリティ監査機関が公開した情報によると、まもなく導入される2つのGas改善提案が、すでにデプロイされた多くのスマートコントラクトが長年依存してきた基盤となる実行仮定を直接的に覆すものであるためである。

イーサリアム基金会は業界全体に対して自主点検への警鐘を鳴らし、複数の機関と連携してコード監査を実施している。これはハードフォークが直接原因でオンチェーン資産プロトコルが論理異常や機能麻痺に陥ることを回避するためである。

基盤課金の再構築が状態アクセスの従来論理を揺るがす

イーサリアムのまもなく実施されるグラムステルダム アップグレードにおいて、EIP-8037 提案規範 と EIP-8038 提案規範 は、状態ストレージ メカニズムの再課金を行う重要な任務を担当している。

イーサリアムの履歴状態データは継続的に膨張しており、従来の固定消費モデルではノードの状態作成と頻繁な読み取り維持に伴う実際のハードウェアコストを正確に反映することが困難になっている。これら2つの提案の核心的な目標は、状態作成と状態アクセスの課金方法を完全に切り離し、特定オペコードに対して動的な重みを再設定することにある。

この基盤レベルの改修はネットワーク全体の状態の無秩序な拡大傾向を抑止することを意図しているが、実行レイヤーにおいてはアプリケーション構築時に一定であると前提されていたシステム定数を直接的に覆すことになりかねない。

静的 Gas 仮定の崩壊が示す8つの不変条件リスク

セキュリティ機関ChainSecurity の公式分析 はテスト結果において、オンチェーンのスマートコントラクトおよびオフチェーン インフラストラクチャの多くが、予期せぬ静的 Gas の前提設定の上に長年構築されてきたことを指摘している。もしオペコード実行コストの課金ルールが急変した場合、関連するビジネス ロジックは事前の警告なしに直接停止してしまう可能性がある。

これらの破壊された不変条件は、コントラクト開発における最も一般的なエンジニアリングパターンを含んでいる。一部のプロトコルはリエントリー攻撃の防止や実行範囲の制御のため、サブコントラクト呼び出し時にハードコードされた Gas リミットを採用しており、課金が上昇すると本来正常に動作していたクロスコントラクト呼び出しが内部的なガスの枯渇によって直接ロールバックしてしまう。

また別の重要なリスクは、例外キャッチメカニズムに依存するフォールトトレランス ロジックの中に潜んでいる。外部の呼び出し元が内部実行コストを正確に予測できなくなったり、一部のプロキシ コントラクトが固定比率で実行残量を転送したりする場合、取引フロー全体の執行パスは根本的に歪み、資金が未完結の状態遷移分岐にロックされてしまう事態さえ引き起こしうる。

ガバナンスチームが緊急にフォーク進行を中止 システム混乱回避

潜在的なシステム互換性の脅威に対し、イーサリアム クライアント開発者は最新の コア協調プロセスの中で迅速に対応策を講じた。

『新公衆ブロックチェーン Nibiru メインネットの登場、その技術的特徴とセキュリティ開発実践の解説』によるイーサリアムのコアガバナンス歴史の整理によれば、基盤のコンセンサスまたは実行パラメータが既存エコロジーと調整不可能な衝突を起こした際、開発者グループは通常、十分なセキュリティ ウィンドウを獲得するために進捗スケジュールを延期する選択をしている。

開発者は ACD 会議で合意し、潜在的に影響を受けるコントラクトの分布状況を完全に把握し、互換性に関するガイダンスを出すまで、Hoodi テストネットに対するハードフォークを絶対に行わないことで一致した。むやみなフォークは新しいルールの安定性を効果的に検証できないだけでなく、マルチシグウォレット、クロスチェーンブリッジ、分散型貸借プロトコルにおいて連鎖障害を引き起こしやすい。

財団が検査ツールを公開しネットワーク全体の連動調査を推進

分散型アプリケーションの複雑さは公開オンチェーン バイトコードに限られず、独自のカスタムオフチェーン ルーティング、決済スクリプト、クリアリング ボット内部に深くネストしているため、公式の監査リソースではエコシステム全体の隅々に至るロジックを全て精査することは不可能である。イーサリアムリサーチャーの Marius van der Wijden は、イーサリアム財団技術公告 において代表チームとしてこの境界の制約を明確に認めている。

イーサリアム財団は公式にコードホスティングプラットフォーム上で専用チェック用リポジトリを公開し、影響を受ける8つの不変条件の技術詳細と問題コードサンプルをコミュニティ向けに詳しく解説している。同リポジトリでは、主要な監査支援ツールやコードスキャナ向けの専用プロンプトテンプレートも提供されており、コントラクト開発チーム、セキュリティ監査担当者、インフラストラクチャ保守担当者が自社のビジネスロジックと素早く照合できる仕組みとなっている。

イーサリアム コア開発者チームとセキュリティ機関は、次週開催の ACD 会議にて各所から収集された第1弾自己診断データを統合し、その際に Hoodi テストネットの有効化条件と対応案の調整について再度評価を行う予定である。