Les développeurs principaux d'Ethereum ont stoppé le fork de la mise à niveau Glamsterdam sur le testnet Hoodi après que l'auditeur ChainSecurity a identifié huit invariants de smart contracts violés par les changements proposés de tarification du gas dans l'EIP-8037 et l'EIP-8038. Le report est indéfini en attendant une résolution.
Points Clés
- Fork du testnet Hoodi pour Glamsterdam reporté indéfiniment après le rapport ChainSecurity du 13 octobre
- Huit invariants de smart contracts violés par les changements de tarification du gas des EIP-8037 et EIP-8038
- Risque : les contrats supposant des coûts de gas fixes pour les appels externes échoués peuvent casser
- Glamsterdam déjà actif sur Sepolia depuis le 6 octobre ; calendrier mainnet non confirmé
- La résolution nécessite des modifications des EIP ou des atténuations avant la reprogrammation de Hoodi
Synthèse Exécutive d'Intelligence
L'audit ChainSecurity déclenche un report indéfini
La Ethereum Foundation a confirmé vendredi que le fork du testnet Hoodi n'aurait pas lieu tant que les préoccupations de sécurité liées à huit invariants de smart contracts ne seraient pas résolues. La décision a fait suite à un rapport du 13 octobre de ChainSecurity, qui a constaté que l'EIP-8037 et l'EIP-8038 pourraient casser des smart contracts s'appuyant sur des hypothèses fixes liées au gas lorsque les appels externes échouent.
Ces deux Ethereum Improvement Proposals modifient la façon dont le gas est facturé pour des opérations spécifiques. Les projets existants ont bâti leur logique en supposant que certaines opérations consomment une quantité prévisible de gas ; les changements de Glamsterdam invalident ces hypothèses, créant une classe de vulnérabilité où les contrats peuvent se comporter de manière inattendue ou échouer lors de défaillances d'exécution.
Périmètre de Glamsterdam et précédent Sepolia
Glamsterdam représente une étape majeure dans la feuille de route de scaling de couche 1 d'Ethereum, introduisant une séparation proposer-builder enshrined, des listes d'accès au niveau du bloc et des réformes de tarification du gas conçues pour mieux refléter les coûts d'exécution. La mise à niveau est entrée en service sur le testnet Sepolia le 6 octobre, servant de l'une de ses dernières répétitions majeures avant examen pour le mainnet.
Le testnet Hoodi était destiné à servir d'environnement de validation ultérieur. Sa suspension souligne la préférence de la culture de développement d'Ethereum pour un examen rigoureux sur testnets plutôt que pour des calendriers de déploiement rigides, particulièrement lorsque la compatibilité ascendante avec la logique des contrats déployés est en jeu.
Mécanique technique des violations d'invariants
Les huit invariants en cause portent sur le comportement des appels externes qui revert ou échouent. Selon les règles actuelles, les développeurs peuvent raisonnablement estimer le coût en gas d'un appel externe échoué. L'EIP-8037 et l'EIP-8038 restructurent cette tarification, ce qui signifie qu'un contrat qui vérifie gasleft() après un appel échoué — ou qui s'appuie sur une allocation de gas spécifique — peut exécuter des chemins logiques différents, ouvrant potentiellement des vecteurs de réentrance, brisant des contrôles d'accès ou causant des erreurs logiques silencieuses.
L'analyse de ChainSecurity suggère que la surface d'impact s'étend à tout contrat effectuant des appels externes avec des hypothèses de gas intégrées, un motif courant dans les protocoles DeFi, les portefeuilles multisig et les patterns de proxy upgradable.
Perspectives et implications pour le mainnet
Aucune date reprogrammée pour le fork Hoodi n'a été annoncée. La Ethereum Foundation a indiqué que les développeurs ont besoin de temps pour identifier d'éventuels problèmes de smart contracts et déterminer si des modifications des EIP eux-mêmes ou des atténuations sont nécessaires. Le déploiement sur mainnet reste non confirmé et conditionné à une validation réussie sur testnets sur tous les vecteurs.
Les acteurs du marché doivent surveiller le blog de la Ethereum Foundation et les appels des développeurs principaux pour l'annonce de reprogrammation de Hoodi et d'éventuels amendements aux EIP. Le déploiement sur Sepolia continue de fournir des données en direct sur la fonctionnalité plus large de la mise à niveau.
