Les développeurs principaux d’Ethereum ont suspendu l’avancement de la mise à niveau Glamsterdam sur le réseau de test Hoodi après avoir relevé des problèmes de sécurité liés à deux propositions précises de modification du coût du gas, les EIP-8037 et EIP-8038. Dans un article publié vendredi sur le site de la Fondation Ethereum, les développeurs ont indiqué que le report serait maintenu jusqu’à ce que huit « invariants » de contrats intelligents liés au comportement de la mise à niveau soient résolus.
Cette décision est importante pour les développeurs et toutes les personnes qui suivent le calendrier des mises à niveau d’Ethereum, car Glamsterdam inclut des changements dans la facturation du gas pour certaines opérations. Selon la Fondation Ethereum, certains projets existants pourraient reposer sur l’idée que certaines actions entraînent toujours un coût en gas prévisible et fixe. Ces hypothèses pourraient ne plus être valables une fois les nouvelles règles de facturation du gas entrées en vigueur, en particulier dans les cas où des appels externes échouent.
Points clés
Les développeurs principaux d’Ethereum ont reporté Glamsterdam sur le testnet Hoodi en raison de préoccupations de sécurité liées à huit invariants de contrats intelligents.
Les EIP-8037 et EIP-8038 modifient la facturation du gaz pour certaines opérations, ce qui pourrait invalider les contrats intelligents qui supposent des coûts de gaz fixes.
Le rapport de ChainSecurity du 13 octobre a signalé que ces deux EIP pourraient perturber les contrats lorsque des appels externes échouent.
Le fork de Hoodi n’aura pas lieu tant que les problèmes ne seront pas résolus, ce qui donnera aux équipes plus de temps pour évaluer si d’autres corrections sont nécessaires.
Pourquoi la mise à niveau du testnet Hoodi a été suspendue
Dans sa mise à jour de vendredi, la Fondation Ethereum a indiqué que le fork du testnet Hoodi était reporté jusqu’à ce que les développeurs puissent corriger les vulnérabilités mises en évidence par un récent audit. Le déclencheur sous-jacent n’est pas une affirmation générale d’« instabilité de la mise à niveau », mais une préoccupation plus précise : l’incidence éventuelle des EIP proposés sur la validité des contrats intelligents qui reposent sur des attentes établies en matière de coûts de gaz.
La Fondation a spécifiquement évoqué les risques concernant les invariants, c’est-à-dire les propriétés que les contrats intelligents s’attendent à voir rester vraies dans certaines conditions d’exécution. Dans ce cas, les préoccupations sont liées à la manière dont le gaz est comptabilisé pour les opérations couvertes par les EIP-8037 et EIP-8038. Si ces invariants ne sont plus respectés, les contrats écrits et testés selon les anciennes règles de comptabilisation du gaz pourraient se comporter de manière inattendue dans certaines séquences d’appels.
Comment les EIP-8037 et EIP-8038 pourraient remettre en cause certaines hypothèses
L’article de blog de la Fondation Ethereum relie cette suspension à une catégorie de contrats qui présument une consommation de gaz donnée pour certaines opérations. Certaines applications Ethereum se sont historiquement appuyées sur des calculs liés au gaz fixes, que ce soit pour la comptabilité interne, la gestion des risques ou une logique qui prend des décisions d’exécution en fonction de la consommation de gaz attendue.
Comme Glamsterdam inclut des changements dans la tarification du gaz, ces hypothèses de coûts fixes pourraient ne plus correspondre à la réalité une fois les nouvelles règles entrées en vigueur. La Fondation a expliqué que les EIP-8037 et EIP-8038 pourraient invalider ces hypothèses, en particulier « lorsque des appels externes échouent » — un mode d’échec susceptible de modifier le déroulement de l’exécution et, par conséquent, la façon dont les coûts de gaz sont répercutés.
Voici la nuance essentielle : le problème n’est pas simplement que les coûts de gaz changent, mais que certaines logiques de contrat ont pu être conçues en fonction de l’ancien comportement. Lorsque des appels externes sont annulés ou échouent d’une autre manière, l’écart entre la facturation du gaz « attendue » et « réelle » peut entraîner une cascade de violations des invariants.
L’audit de ChainSecurity a déclenché la suite des événements
La décision d’Ethereum fait suite à un rapport publié le 13 octobre par ChainSecurity, un cabinet d’audit de contrats intelligents. Selon la Fondation, l’audit a conclu que les deux EIP pourraient « casser les contrats intelligents qui reposent sur des hypothèses fixes liées au gaz lorsque des appels externes échouent ».
Cette formulation donne aux développeurs un objectif concret pour les travaux de suivi. Au lieu de traiter la mise à niveau comme une boîte noire, les équipes peuvent s’attacher à déterminer quels types de contrats sont concernés, si la mise à niveau peut être ajustée afin de préserver les propriétés attendues, et quelles applications déployées pourraient nécessiter des avertissements ou des tests de compatibilité avant un déploiement à plus grande échelle.
L’article de la Fondation souligne que le délai supplémentaire sur Hoodi vise précisément à permettre cela : repérer les problèmes potentiels liés aux contrats intelligents et déterminer si des modifications sont nécessaires avant que Glamsterdam ne se rapproche d’un déploiement sur le mainnet.
Glamsterdam a déjà été testé sur Sepolia
Même si le fork de Hoodi est suspendu, le projet Glamsterdam dans son ensemble n’est pas complètement à l’arrêt. La mise à niveau a déjà franchi une autre étape en étant déployée sur le testnet Sepolia le 6 octobre, une étape décrite comme l’une de ses dernières grandes répétitions.
Dans des indications précédentes, publiées le 28 septembre, la Fondation Ethereum a déclaré que Glamsterdam visait à faire progresser la feuille de route d’Ethereum en matière de mise à l’échelle de la couche 1. Les objectifs annoncés de la mise à niveau comprennent l’intégration de la séparation entre proposeur et constructeur, l’ajout de listes d’accès au niveau des blocs et la modification de la tarification du gaz afin qu’elle reflète mieux le coût de l’exécution.
Cette nouvelle — le report de Hoodi le temps de résoudre les problèmes — montre que les tests et le déploiement sont gérés selon une approche de gestion des risques. Sepolia a offert aux équipes un environnement de répétition, mais Hoodi devient désormais le terrain où les préoccupations non résolues concernant les invariants liés au gaz sont considérées comme des obstacles à franchir avant toute nouvelle avancée.
Les lecteurs devraient également suivre la manière dont le scénario d’« échec d’un appel externe » continue d’être traité. En pratique, les cas d’échec sont souvent ceux où les contrats utilisés dans le monde réel rencontrent des situations limites, qu’il s’agisse d’intégrations de portefeuilles ou d’interactions entre contrats. Si les corrections définitives modifient à nouveau le comportement du gaz, les développeurs qui s’appuient sur les nouvelles règles devront peut-être retester les chemins d’exécution en cas d’échec, et pas seulement vérifier le déroulement normal.
Les prochains points à surveiller avant l’arrivée de Glamsterdam sur le mainnet
La prochaine étape d’Ethereum dépendra de la capacité de l’équipe à résoudre les problèmes liés aux huit invariants et à déterminer si d’autres ajustements des EIP ou de leur implémentation sont nécessaires. Pour les développeurs, la priorité immédiate est de réévaluer tout contrat qui suppose des coûts de gaz fixes pour les opérations concernées — en particulier dans les processus impliquant des échecs d’appels externes — tandis que l’équipe chargée de la mise à niveau poursuit l’examen des problèmes signalés par l’audit de ChainSecurity.
Cet article a d’abord été publié sous le titre « Les développeurs d’Ethereum affirment qu’ils ne vont pas encore forker “Glamsterdam” sur Hoodi » sur Crypto Breaking News, votre source d’information fiable sur les cryptomonnaies, Bitcoin et l’actualité de la blockchain.