Autor: Shenchao TechFlow
Das Treffen der Ethereum-Core-Entwickler (ACD) beschloss, den Upgrade-Prozess des Hoodi-Testnets auszusetzen, weil ein Sicherheitsprüfungsunternehmen offengelegt hat, dass zwei bevorstehende Gas-Verbesserungsvorschläge die grundlegenden Betriebsannahmen, auf die sich viele bereits bereitgestellte Smart Contracts seit Langem stützen, direkt umstoßen würden.
Die Ethereum Foundation hat öffentlich eine Selbstprüfungswarnung an die gesamte Branche herausgegeben und gemeinsam mit mehreren Institutionen Code-Audits gestartet, um zu verhindern, dass der Hard Fork direkt dazu führt, dass On-Chain-Asset-Protokolle in logische Anomalien geraten oder gelähmt werden.
Die Umstrukturierung der zugrunde liegenden Abrechnung erschüttert die traditionelle Logik des Zustandszugriffs
Im bevorstehenden Glamsterdam-Upgrade von Ethereum übernehmen die EIP-8037-Vorschlagsspezifikation und die EIP-8038-Vorschlagsspezifikation die Schlüsselaufgabe, den Zustandsspeichermechanismus neu zu bepreisen.
Ethereums historische Zustandsdaten wachsen weiter an, und das ursprüngliche Modell mit festem Verbrauch kann den tatsächlichen Hardwareaufwand von Knoten für die Aufrechterhaltung der Zustandserstellung und häufiger Lesezugriffe kaum noch genau widerspiegeln. Das Kernziel dieser beiden Vorschläge besteht darin, die Abrechnungsmethoden für Zustandserstellung und Zustandszugriff vollständig zu entkoppeln und dynamische Gewichtungen für bestimmte Opcodes neu festzulegen.
Diese grundlegende Überarbeitung soll den Trend der ungeordneten Zustandsausbreitung im gesamten Netzwerk eindämmen, doch auf der Ausführungsebene stößt sie direkt die Systemkonstanten um, von denen Entwickler beim Aufbau von Anwendungen annehmen, dass sie feststehen.
Der Zusammenbruch statischer Gas-Annahmen legt acht Invarianten-Risiken offen
Das Sicherheitsunternehmen ChainSecurity offizielle Analyse wies in Tests darauf hin, dass eine große Anzahl von On-Chain-Smart-Contracts und Off-Chain-Infrastrukturen seit Langem auf mehreren unerwarteten statischen Gas-Annahmen aufgebaut ist. Sobald sich die Abrechnungsregeln für den Ausführungsverbrauch von Opcodes abrupt ändern, wird die betreffende Geschäftslogik ohne jede Vorwarnung direkt unterbrochen.
Diese gebrochenen Invarianten decken die gängigsten Engineering-Muster in der Vertragsentwicklung ab. Um Reentrancy-Angriffe zu verhindern oder den Ausführungsumfang zu kontrollieren, verwenden einige Protokolle beim Aufruf von Unterverträgen fest codierte Gas-Limits. Steigende Abrechnungskosten führen dazu, dass Cross-Contract-Aufrufe, die ursprünglich reibungslos hätten laufen können, direkt zurückgesetzt werden, weil das interne Gas erschöpft ist.
Andere wesentliche Risiken lauern in Fehlertoleranzlogiken, die auf Ausnahme-Fangmechanismen angewiesen sind. Wenn der äußere Aufrufer den inneren Ausführungsverbrauch nicht mehr genau vorhersagen kann oder wenn einige Proxy-Verträge die Ausführung basierend auf festen Verhältnissen weiterleiten, wird der Ausführungspfad des gesamten Transaktionsflusses vollständig verzerrt und kann sogar dazu führen, dass Gelder in unvollendeten Zustandsmaschinen-Zweigen eingeschlossen werden.
Das Governance-Team stoppt den Fork dringend, um einen On-Chain-Ansturm zu vermeiden
Angesichts potenzieller systemischer Kompatibilitätsrisiken ergriffen die Ethereum-Client-Entwickler im neuesten Kernkoordinationsprozess schnell defensive Maßnahmen.
Laut der Überprüfung der Kern-Governance-Geschichte von Ethereum in „New Public Chain Nibiru Mainnet Will Launch, Analyzing Its Technical Features and Secure Development Practices“ wählt die Entwicklergemeinschaft in der Regel dann eine Verzögerung des Zeitplans, um ein ausreichendes Sicherheitsfenster zu gewinnen, wenn zugrunde liegende Konsens- oder Ausführungsparameter in unüberbrückbaren Konflikt mit dem bestehenden Ökosystem geraten.
Die Entwickler erzielten auf dem ACD-Treffen Konsens darüber, dass sie auf keinen Fall einen Hard Fork im Hoodi-Testnet ausführen werden, bevor sie die Verteilung potenziell betroffener Verträge gründlich verstanden und Kompatibilitätsleitlinien bereitgestellt haben. Ein blinder Fork kann nicht nur die Stabilität der neuen Regeln nicht wirksam verifizieren, sondern auch leicht kaskadierende Ausfälle in Multisig-Wallets, Cross-Chain-Bridges und dezentralen Kreditprotokollen auslösen.
Stiftung öffnet Erkennungswerkzeuge zur Förderung einer netzwerkweiten koordinierten Prüfung
Da die Komplexität dezentraler Anwendungen nicht auf öffentlich verfügbaren On-Chain-Bytecode beschränkt ist, sondern auch tief verschachtelt in proprietärem Off-Chain-Routing, Abrechnungsskripten und Liquidations-Bots liegt, können offizielle Prüfungsbemühungen die Edge-Case-Logik des gesamten Ökosystems nicht erschöpfen. Der Ethereum-Forscher Marius van der Wijden räumte im Namen des Teams diese Grenzbeschränkung in der technischen Ankündigung der Ethereum Foundation ausdrücklich ein.
Die Ethereum Foundation hat offiziell ein dediziertes Prüfungs-Repository auf der Code-Hosting-Plattform veröffentlicht und der Community die technischen Details der acht betroffenen Invarianten sowie Beispielproblemcode im Detail dargelegt. Das Repository stellt außerdem dedizierte Prompt-Vorlagen für gängige Prüfungsunterstützungswerkzeuge und Code-Scanner bereit, damit Vertragsteams, Sicherheitsprüfer und Infrastruktur-Betreuer ihre eigene Geschäftslogik schnell abgleichen können.
Das Ethereum-Kernentwicklerteam und Sicherheitsinstitutionen planen, die erste Charge der von allen Seiten gesammelten Selbstprüfungsdaten auf dem ACD-Meeting nächste Woche zusammenzufassen, wobei sie dann die Aktivierungsbedingungen und Plananpassungen für das Hoodi-Testnetz neu bewerten werden.
