Ethereum-Kernentwickler haben den Glamsterdam-Upgrade-Fork im Hoodi-Testnet gestoppt, nachdem der Auditor ChainSecurity acht Smart-Contract-Invarianten identifizierte, die durch die vorgeschlagenen Gaspreis-Änderungen in EIP-8037 und EIP-8038 verletzt werden. Die Verzögerung ist unbefristet, bis eine Lösung gefunden ist.
Wichtigste Erkenntnisse
- Hoodi-Testnet-Fork für Glamsterdam nach ChainSecurity-Bericht vom 13. Okt. unbefristet verzögert
- Acht Smart-Contract-Invarianten durch EIP-8037 und EIP-8038 Gaspreis-Änderungen verletzt
- Risiko: Contracts mit fixen Gas-Kosten-Annahmen für fehlgeschlagene externe Aufrufe können brechen
- Glamsterdam seit 6. Okt. auf Sepolia live; Mainnet-Zeitplan unbestätigt
- Lösung erfordert EIP-Modifikationen oder Mitigationsmaßnahmen vor Hoodi-Neuansetzung
Executive Intelligence Brief
ChainSecurity-Audit löst unbefristete Verzögerung aus
Die Ethereum Foundation bestätigte am Freitag, dass der Hoodi-Testnet-Fork nicht fortgesetzt wird, bis Sicherheitsbedenken im Zusammenhang mit acht Smart-Contract-Invarianten geklärt sind. Die Entscheidung folgte auf einen Bericht von ChainSecurity vom 13. Okt., der feststellte, dass EIP-8037 und EIP-8038 Smart Contracts brechen könnten, die auf fixen gas-bezogenen Annahmen bei fehlgeschlagenen externen Aufrufen basieren.
Diese beiden Ethereum Improvement Proposals ändern, wie Gas für bestimmte Operationen berechnet wird. Bestehende Projekte haben Logik implementiert, die davon ausgeht, dass bestimmte Operationen eine vorhersehbare Menge Gas verbrauchen; die Glamsterdam-Änderungen machen diese Annahmen ungültig und schaffen eine Klasse von Schwachstellen, bei der Contracts sich unerwartet verhalten oder bei Ausführungsfehlern scheitern können.
Glamsterdam-Umfang und Sepolia-Vorgänger
Glamsterdam stellt einen großen Schritt in Ethereums Layer-1-Skalierungs-Roadmap dar und führt enshrined Proposer-Builder Separation, Block-Level Access Lists und Gaspreis-Reformen ein, die darauf abzielen, Ausführungskosten besser abzubilden. Das Upgrade ging am 6. Okt. im Sepolia-Testnet live und diente als eine der letzten großen Generalproben vor einer Mainnet-Betrachtung.
Das Hoodi-Testnet war als nachfolgende Validierungsumgebung vorgesehen. Seine Aussetzung unterstreicht die Präferenz der Ethereum-Entwicklungskultur für rigorose Testnet-Prüfung gegenüber starren Deployment-Kalendern, insbesondere wenn die Abwärtskompatibilität mit deployter Contract-Logik auf dem Spiel steht.
Technische Mechanik der Invariantenverletzungen
Die acht gefährdeten Invarianten drehen sich um das Verhalten von externen Aufrufen, die revertieren oder fehlschlagen. Nach aktuellen Regeln können Entwickler den Gas-Kosten eines fehlgeschlagenen externen Aufrufs vernünftig schätzen. EIP-8037 und EIP-8038 restrukturieren diese Preisgestaltung, was bedeutet, dass ein Contract, der gasleft() nach einem fehlschlagenden Aufruf prüft – oder auf ein bestimmtes Gas-Stipendium angewiesen ist – unterschiedliche Logikpfade ausführen kann, was potenziell Reentrancy-Vektoren öffnet, Zugriffskontrollen bricht oder stille Logikfehler verursacht.
ChainSecuritys Analyse deutet darauf hin, dass die Angriffsfläche jeden Contract umfasst, der externe Aufrufe mit eingebackenen Gas-Annahmen tätigt – ein Muster, das in DeFi-Protokollen, Multisig-Wallets und upgradebaren Proxy-Mustern verbreitet ist.
Ausblick und Mainnet-Implikationen
Ein neu angesetztes Datum für den Hoodi-Fork wurde nicht bekannt gegeben. Die Ethereum Foundation erklärte, Entwickler bräuchten Zeit, um potenzielle Smart-Contract-Probleme zu identifizieren und zu bestimmen, ob Änderungen an den EIPs selbst oder Mitigationsmaßnahmen erforderlich sind. Der Mainnet-Deployment bleibt unbestätigt und abhängig von erfolgreicher Testnet-Validierung über alle Vektoren hinweg.
Marktteilnehmer sollten den Ethereum Foundation Blog und Core-Developer-Calls auf die Hoodi-Neuansetzung und mögliche EIP-Änderungen überwachen. Der Sepolia-Deployment liefert weiterhin Live-Daten zur breiteren Funktionalität des Upgrades.
