開発者らがEthereum(ETH)のEIP-8037による20万件コントラクト破損を警告

EIP-8037再価格化、影響は20万件のコントラクト

Ethereum (ETH)のGlamsterdamアップグレードは、メインネット実装の直前段階であるSepoliaテストネットまで到達している。だが有力開発者たちが、現状の形式のまま進めるべきではないとコア開発者に要求し始めた。争点は、ストレージエントリや新規デプロイのコントラクトなど新しい状態の作成にかかるガス代を引き上げるEIP-8037だ。既存の一部のスマートコントラクトは、これらの処理に対して固定のガス量を設定しているか、トランザクション中に残りガスを確認している。新価格が適用されると、こうした呼び出しはガスを使い切り失敗する可能性がある。デプロイ済みのコードは事後の修正ができず、利用者の資金が取り残される恐れもある。批判の対象となっている仕組みがガス内省だ。これはコントラクトが残りガス量を読み取り、コストの変化に応じて挙動を変えるものである。Curve Financeの創業者は11月7日にXへの投稿でリスクを明示し、開発者に「どうかチェーンを壊さないでほしい」と求め、Glamsterdamは「もう一度の緊急ハードフォーク」につながると警告した。有名なDeFi開発者のbantegは、この計画を「まったくもって馬鹿げている」と評した。その上で、再価格化の影響分析に列挙された20万件の対象コントラクトは手法上の問題のため実際より多くを取りこぼしていると指摘し、変更が複数の著名プロトコルのデプロイと運用に影響すると述べた。Ethereum Foundationの取締役を務めるセキュリティ研究者も進行に反対し、「2週間ほど前まで未知だった」不変条件を破る「フォークを推進するつもりはない」と書いた。別の開発者は、コードがSepoliaに到達する前から同じ問題を自チームが指摘していたと明かし、コミュニティの意見を無視してGlamsterdamを急ぐのは誤りだと警告した。この論争は、直近の清算波の後にEthereumの価格が2,200ドルのサポート水準に支えられている時期に重なっている。

@newmichwill · Xの投稿

Xへの投稿.

Xで見る

早期有効化推進派が後退

当初の批判と同じくらい重いのが、アップグレード推進側自身の後退かもしれない。影響力のあるEthereum (ETH)コミュニティメンバーのRyan Berckmansは当初「できるだけ早期」のGlamsterdam有効化を求め、ネットワークが保証するのは自身へのアクセスであって特定のガス価格ではない、したがって正確なコストに依存するコントラクトはその保証の外にあると論じていた。だが数時間後には方針を転換し、コミュニティは「早期のGlam有効化に向かって進むべきでない」、「そう言ったのは私の誤りだった」と述べた。問題は「一般に理解されているより本質的に深刻」で、設計・デューデリジェンス・対外発信のすべてで貢献者集団が失敗したと付け加えた。その言葉によればガス内省は「極めて深刻な問題」であり、「即時の対応とさらに多くの公開検証」が必要だという。ただし、長年のフォーク経験がコミュニティに有益な教訓を残したとも主張している。騒動は今週の投稿以前から始まっていた。10月、セキュリティ研究者がリスクを指摘したことを受け、コア開発者は8つの不変条件、つまりテスト実行が維持すべき性質を条件に、GlamsterdamフォークのHoodiへの投入を見送った。Glamsterdamは2026年に計画された二つの大型のEthereumアップグレードの一つで、共同創業者のVitalik Buterinは次のHegotaについて、チェーンで最後の「通常の」フォークになるとすでに語っている。論争は市場の弱い局面とも重なる。EthereumのETF商品は上場以来最悪の資金流出入月を記録したばかりで、11月6日にはBlackRockのETHAが主導する9,330万ドルの純流出があった。コア開発者には、Glamsterdamがメインネットに達する前に追加データを公表する圧力がかかっている。

メインネット前の関門

この論争は、原則よりも順序をめぐるものだ。ガスコストの再価格化を永遠にすべきでないと主張する貢献者はほとんどいない。争点は、現状の形式のEIP-8037が審査を通過できるかどうかである。Glamsterdamがまだ越えていない関門は、日程の定まったHoodiテストであり、その前に11月7日に提起された手法上の反論に耐える再価格化影響分析の確立がある。クライアントチームは過去に自らの不具合を修正してきた。Paradigmがステートルートの問題に対してReth v2.10.0をリリースしたのがその例だ。だがクライアントの修正は、不変のコントラクトには適用できない。コア開発者がEIP-8037の範囲を再設定するか、反論に答えるデータを公表しない限り、メインネットの日程は信頼できず、その後ろに控えるHegotaフォークも同じ未解決の問いを引き継ぐ。