Ethereum-kernontwikkelaars hebben de Glamsterdam-upgrade-fork op de Hoodi-testnet opgeschort nadat auditor ChainSecurity acht smart-contract-invarianten identificeerde die worden geschonden door voorgestelde gasprijswijzigingen in EIP-8037 en EIP-8038. De uitstel is voor onbepaalde tijd tot de kwesties zijn opgelost.
Belangrijkste Punten
- Hoodi-testnet-fork voor Glamsterdam onbepaald uitgesteld na ChainSecurity-rapport 13 oktober
- Acht smart-contract-invarianten geschonden door gasprijswijzigingen in EIP-8037 en EIP-8038
- Risico: contracts die vaste gaskosten aannemen voor mislukte externe calls kunnen breken
- Glamsterdam al live op Sepolia sinds 6 oktober; mainnet-tijdlijn onbevestigd
- Oplossing vereist EIP-wijzigingen of mitigaties voordat Hoodi herplant kan worden
Executive Intelligence Brief
ChainSecurity-audit dwingt tot onbepaalde uitstel
De Ethereum Foundation bevestigde vrijdag dat de Hoodi-testnet-fork niet zal doorgaan tot de beveiligingskwesties rondom acht smart-contract-invarianten zijn opgelost. De beslissing volgde op een rapport van ChainSecurity d.d. 13 oktober, waarin werd vastgesteld dat EIP-8037 en EIP-8038 smart contracts kunnen breken die vertrouwen op vaste gasgerelateerde aannames wanneer externe calls mislukken.
Deze twee Ethereum Improvement Proposals wijzigen hoe gas wordt berekend voor specifieke operaties. Bestaande projecten hebben logica gebouwd op de aanname dat bepaalde operaties een voorspelbaar gasverbruik hebben; de Glamsterdam-wijzigingen maken die aannames ongeldig, wat een klasse van kwetsbaarheden creëert waarbij contracts onverwacht kunnen gedragen of falen tijdens uitvoeringsfouten.
Glamsterdam-omvang en Sepolia-precedent
Glamsterdam vormt een grote stap in de layer-1-schaalbaarheidsroadmap van Ethereum, met geïntegreerde proposer-builder-scheiding, bloktoegangslijsten en gasprijsreformen die de uitvoeringskosten beter moeten weerspiegelen. De upgrade ging live op de Sepolia-testnet op 6 oktober, als een van de laatste grote repetities voordat mainnet in overweging wordt genomen.
De Hoodi-testnet was bedoeld als een daaropvolgende validatieomgeving. De schorsing benadrukt de voorkeur van de Ethereum-ontwikkelcultuur voor grondige testnet-scrutiny boven starre implementatiekalenders, met name wanneer achterwaartse compatibiliteit met geïmplementeerde contractlogica op het spel staat.
Technische mechanismen van de invariantenschendingen
De acht risicovolle invarianten richten zich op het gedrag van externe calls die teruggedraaid of mislukt zijn. Onder de huidige regels kunnen ontwikkelaars redelijk het gasverbruik van een mislukte externe call schatten. EIP-8037 en EIP-8038 herstructureren deze prijsstelling, wat betekent dat een contract dat gasleft() controleert na een mislukte call – of vertrouwt op een specifiek gasstipendium – verschillende logica-paden kan uitvoeren, potentieel openend reentrancy-vectoren, brekende toegangscontroles of stille logicafouten veroorzakend.
De analyse van ChainSecurity suggereert dat het impactoppervlak zich uitstrekt tot elk contract dat externe calls maakt met ingebouwde gasaannames, een patroon dat veelvoorkomend is in DeFi-protocollen, multisig-wallets en upgradebare proxy-patronen.
Vooruitblik en mainnet-implicaties
Er is nog geen herplande datum voor de Hoodi-fork aangekondigd. De Ethereum Foundation stelde dat ontwikkelaars tijd nodig hebben om potentiële smart-contract-problemen te identificeren en te bepalen of wijzigingen in de EIP's zelf of mitigaties vereist zijn. Mainnet-implementatie blijft onbevestigd en afhankelijk van succesvolle testnet-validatie op alle vectoren.
Marktdeelnemers dienen de Ethereum Foundation-blog en core developer calls in de gaten te houden voor de aankondiging van de Hoodi-herplanning en eventuele EIP-wijzigingen. De Sepolia-implementatie blijft live data leveren over de bredere functionaliteit van de upgrade.
