Ethereum EIP-7906 prüft Transaktionen, lässt aber eine Lücke

Eine am 5. Okt. veröffentlichte Studie der Ethereum Foundation untersucht Transaktionsassertions, die Ausführungen ablehnen könnten, wenn deren Endergebnis gegen eine vorgegebene Regel verstößt. EIP-7906 ist am 9. Okt. weiterhin ein Entwurf, hängt von Frame-Transaktionen nach EIP-8141 ab und wird als Vorschlag für das Hegotá-Upgrade geführt. EIP-8141 ist unterdessen zur Aufnahme vorgesehen.

Warum das wichtig ist

EIP-7906 sieht schreibgeschützte POST_TX-Frames vor, die den Zustand nach einer Transaktion prüfen. Ihre Anweisungen können festgelegte Nettoänderungen und Ereignisse auflisten, Werte anhand eines Schlüssels abrufen und Ereignisdaten kopieren. Der definierte Umfang umfasst ETH-Guthaben, Änderungen am Speicher, neu bereitgestellte Verträge und Code-Hashes. Prüfungen von Token-Guthaben müssten den Vertragsspeicher auswerten und einen festgelegten Grenzwert anwenden.

Der Vorschlag könnte Richtlinien unterstützen, die über einen einzelnen Swap hinausgehen, etwa den Erhalt von Kontokontrollen oder Beschränkungen für Genehmigungen entlang einer Route. Er schreibt jedoch nicht vor, dass jede Transaktion eine Assertion enthalten muss. Konten müssen die Validierung so einrichten, dass die konkrete Prüfung ohne Umgehungsmöglichkeit verlangt wird. Auch Protokolle müssen die erforderliche Assertion selbst durchsetzen. Bei Abwicklungen über Solver müssen die signierte Order oder das Protokoll den Solver an die Richtlinie binden.

Auswirkungen auf den Markt

Uniswap v3 lehnt bereits Swaps ab, die einen Mindestbetrag für den Erhalt oder einen maximalen Eingabebetrag verletzen. Diese Schwellenwerte stammen jedoch aus den Aufrufparametern. Der Leitfaden warnt davor, in der Produktion einen Mindestausgabewert von null festzulegen. Selbst ein korrekt durchgesetzter Grenzwert kann einen schlechten Handel zulassen, wenn der Builder einen zu großzügigen Schwellenwert wählt oder ihn aus einem fehlerhaften Kursangebot ableitet.

Auch EIP-7906 hat Grenzen: Es bewertet Nettoänderungen, sodass zwischenzeitliche Schreibvorgänge, die später rückgängig gemacht werden, möglicherweise nicht auftauchen. Eine fehlgeschlagene Assertion würde den Ausführungsteil zurücksetzen, die Transaktion bliebe jedoch im Block, Gas würde berechnet und Änderungen im Validierungspräfix blieben bestehen. Die Sicherheitshinweise des Vorschlags empfehlen unveränderliche Assertion-Ziele und Referenzen, die die Ausführung nicht manipulieren kann, etwa Werte, die bei der Signierung festgelegt oder aus dem Ausgangszustand der Transaktion übernommen wurden. Ethereum könnte eine Prüfung präzise durchsetzen und dennoch den falschen Handel absichern, wenn die Richtlinie oder ihre Referenz schlecht gewählt ist.