イーサリアム、グラムステルダムのフーディテストネットフォークを延期 スマートコントラクトのガスリスクで

イーサリアムのコア開発者らは、監査企業チェインセキュリティがEIP-8037とEIP-8038のガス価格変更により8つのスマートコントラクト不変条件が侵害されることを特定したため、フーディテストネットでのグラムステルダムアップグレードフォークを無期限に延期した。

チェインセキュリティの監査が無期限延期を引き金に

イーサリアム財団は金曜日、8つのスマートコントラクト不変条件に関わるセキュリティ懸念が解決されるまで、フーディテストネットのフォークを実施しないことを確認した。この決定は、外部呼び出しが失敗した際のガス関連の前提条件に依存するスマートコントラクトが、EIP-8037とEIP-8038によって破綻する可能性があると指摘した10月13日付のチェインセキュリティの報告を受けたものだ。

これ2つのイーサリアム改善提案（EIP）は、特定の操作に対するガス課金の仕組みを変更するものだ。既存プロジェクトは特定の操作が予測可能な量のガスを消費するとの前提でロジックを構築してきたが、グラムステルダムの変更はこれらの前提を無効化し、実行失敗時にコントラクトが予期せぬ挙動を示したり失敗したりする脆弱性の類を生み出す。

グラムステルダムの範囲とセポリアでの前例

グラムステルダムは、イーサリアムのレイヤー1スケーリング・ロードマップにおける大きな一歩であり、プロポーザー・ビルダー分離のプロトコル組み込み、ブロックレベルのアクセスリスト、実行コストをより適切に反映するガス価格改革を導入する。このアップグレードは10月6日にセポリアテストネットで稼働し、メインネット導入前の最終リハーサルの一つとして機能してきた。

フーディテストネットは、続く検証環境として位置づけられていた。その停止は、展開済みコントラクトロジックとの後方互換性が懸かっている場合に特に、厳格な展開カレンダーよりも厳格なテストネット精査を好むイーサリアム開発文化を浮き彫りにしている。

不変条件違反の技術的メカニズム

リスクにさらされている8つの不変条件は、リバートまたは失敗する外部呼び出しの挙動を中心とする。現行ルールでは、開発者は失敗した外部呼び出しのガスコストを合理的に見積もることができる。EIP-8037とEIP-8038はこの価格設定を再構築するため、失敗した呼び出し後にgasleft()をチェックしたり、特定のガススタイペンドに依存したりするコントラクトは、異なるロジックパスを実行する可能性があり、リエントランシー攻撃ベクトルを開いたり、アクセス制御を破壊したり、サイレントなロジックエラーを引き起こしたりする恐れがある。

チェインセキュリティの分析によれば、影響範囲はガス前提を組み込んだ外部呼び出しを行うあらゆるコントラクトに及び、これはDeFiプロトコル、マルチシグウォレット、アップグレード可能なプロキシパターンで一般的なパターンだ。

今後の見通しとメインネットへの影響

フーディフォークの再スケジュール日は発表されていない。イーサリアム財団は、開発者が潜在的なスマートコントラクト問題を特定し、EIP自体の変更や緩和策が必要かどうかを判断する時間を必要としていると述べた。メインネット展開は未確定のまま、全ベクトルでのテストネット検証の成功を条件としている。

市場参加者は、フーディ再スケジュールの発表やEIP修正について、イーサリアム財団ブログとコア開発者コールを監視すべきだ。セポリアでの展開は、アップグレードのより広範な機能性に関するライブデータを提供し続けている。アムンディ、STOXX欧州600ファンドをイーサリアムでトークン化 欧州最大手が株式インデックスで初。