Analyse der Gas-Grenzen bei EIP-8141 Frame Transactions und die Notwendigkeit einer Erhöhung von MAXVERIFYGAS für das Hegotá-Upgrade

3. September 2026 Kryptowährungen

Die geplante Einführung von nativen Account-Abstraction-Transaktionen für Zero-Knowledge-basierte Privacy-Protokolle wie Tornado Cash oder RAILGUN steht vor einem grundlegenden Hindernis: das aktuelle Validierungslimit MAXVERIFYGAS von 100.000 Gas in EIP-8141. Ohne eine Anhebung dieses Limits können die erforderlichen kryptografischen Verifikationen nicht im öffentlichen Mempool durchgeführt werden, was die Nutzer weiterhin auf zensuranfällige Off-Chain-Relayer zwingt. Dieser Artikel fasst die technischen Fakten, Kostenanalysen und sicherheitsrelevanten Gegenargumente zusammen und erklärt, warum eine Erhöhung auf mindestens 250.000 Gas für das geplante Hegotá-Upgrade unabdingbar ist.

Warum das aktuelle MAXVERIFYGAS-Limit von 100.000 Gas problematisch ist

  • Die minimale Groth16-Verifikation (BN254-Pairing-Check) benötigt isoliert 181.000 Gas (Precompile 0x08) und überschreitet damit das gesamte Limit von 100.000 Gas.
  • Selbst bei maximaler Optimierung liegt der Gasbedarf für einen einzelnen Nullifier-Spend (z. B. ein Tornado-Withdrawal) bei 211.828 Gas.
  • Derzeitige Obergrenze MAXVERIFYGAS ist in EIP-8141 auf 100.000 Gas gedeckelt (Quelle S1).
  • Durch das 100k-Limit können Zero-Knowledge-Proofs im öffentlichen Mempool praktisch nicht genutzt werden – das verhindert die angestrebte Zensur-Resistenz von Privacy-Pools.

Technische Details zu EIP-8141 und den Begleit-EIPs 8250 & 8272

EIP-8141: Frame Transactions und das Validierungsbudget

EIP-8141 definiert Frame Transactions, die in einer separaten Validierungsphase im Mempool geprüft werden. Das Budget für diese Phase wird durch das Parameter MAXVERIFYGAS begrenzt. Die Spezifikation legt das Limit auf 100.000 Gas fest (S1).

EIP-8250: Keyed Nonces und ihre Kosten

EIP-8250 führt keyed nonces ein, um parallele Transaktionen ohne Head-of-Line-Blocking zu ermöglichen. Für jede erste Nutzung eines keyed nonce wird ein fester Aufschlag von 20.000 Gas (KEYEDNONCEFIRSTUSEGAS) erhoben (Quelle S2).

EIP-8272: Recent Roots und Speicher-Optimierung

EIP-8272 ermöglicht den Zugriff auf historische Merkle-Roots über ein 8.192-Slots-Fenster (≈ 27 Stunden), ohne dynamische Speicher-Reads im Verify-Frame. Der intrinsische Aufpreis beträgt 4.402 Gas plus ca. 1.184 Gas für den Calldata (Quelle S3).

Kostenanalyse für typische Privacy-Transaktionen

Die nachfolgende Aufstellung zeigt die Gas-Kosten für verschiedene Transaktionsformen, wobei alle Optimierungen aus Abschnitt 2 des Benchmarks angewendet wurden.

  • 1 Nullifier (Tornado-Withdrawal): Verifikations-Gas 190.628 + 20.000 (nullifier) + 1.200 (frame-Logik) = 211.828 Gas.
  • 2 Nullifier (z. B. RAILGUN-1×2): 190.628 + 40.000 + 1.200 = 231.828 Gas.
  • 8 Nullifier (RAILGUN-8×2): 190.628 + 160.000 + 1.200 = 351.828 Gas.
  • 16 Nullifier (maximales Protokoll-Shape): 190.628 + 320.000 + 1.200 = 511.828 Gas.

Die unvermeidliche Grundkomponente ist der BN254-Pairing-Check (181.000 Gas). Alle übrigen Kosten (Keyed-Nonce-Aufschlag, Frame-Logik, Recent-Root-Intrinsik) addieren sich zu den genannten Gesamtsummen.

Risiken einer Erhöhung des MAXVERIFYGAS-Limits

  • Erhöhte DoS-Angriffsfläche: Ein Limit von 250.000 Gas würde Angreifern ermöglichen, Knoten bis zu 2,5-mal länger mit ungültigen EVM-Simulationen zu blockieren, bevor die Transaktion verworfen wird.
  • Prover-Overhead bei In-Circuit-Hashing: Das Komprimieren aller Public Inputs zu einem SHA-256-Digest reduziert die Verifikations-Gas-Kosten, erhöht jedoch die Berechnungszeit für Zero-Knowledge-Proofs im Browser oder auf Endgeräten um bis zu das 2,7-fache.
  • Netzwerksicherheit vs. Funktionalität: Das aktuelle 100k-Limit dient dem Schutz vor DoS-Angriffen, weil Knoten ohne Vergütung keine rechenintensiven Validierungen ausführen müssen. Eine Anhebung erfordert strengere deterministische Eviction-Regeln oder statische Precompile-Checks, um die Sicherheit zu wahren.

Roadmap und Verankerung im Hegotá-Upgrade

EIP-8141 sowie die begleitenden EIPs 8250 und 8272 werden von den Ethereum-Core-Entwicklern aktiv für das nach Glamsterdam (2026) geplante Hegotá-Upgrade evaluiert. Im Jahr 2026 wurden 66 EIP-Kandidaten von allen Core-Devs geprüft, darunter die genannten drei Vorschläge (Quelle S1).

  • Die Diskussion über die Erhöhung von MAXVERIFYGAS ist Teil der Standardisierung von EIP-8141 für das Hegotá-Upgrade, das voraussichtlich 2027 implementiert werden soll.
  • Die Integration von FOCIL (EIP-7805) soll in Kombination mit den drei EIPs eine harte Zensur-Resistenz ermöglichen.
  • Der Gültigkeits-Fenster-Wert für Recent Roots beträgt 8.192 Slots (≈ 27 Stunden), was die Speicher-Kosten im Verify-Frame reduziert (Quelle S3).

Häufig gestellte Fragen (FAQ)

  • Warum scheitert die Groth16-Verifikation zwingend am aktuellen 100k-Limit? Groth16 benötigt den BN254-Pairing-Precompile (Adresse 0x08) mit Basiskosten von 181.000 Gas. Damit überschreitet bereits ein einziger kryptografischer Basis-Check das erlaubte Budget von 100.000 Gas (FAQ-Eintrag).
  • Welche Rolle spielen EIP-8250 und EIP-8272 für Privacy-Pools? EIP-8250 führt keyed nonces ein, wodurch parallele Transaktionen über einen gemeinsamen Sender-Contract ohne gegenseitige Blockade möglich werden. EIP-8272 erlaubt den verifizierten Zugriff auf historische Merkle-Roots, ohne im Validierungs-Frame dynamischen Vertragsspeicher lesen zu müssen (FAQ-Eintrag).
  • Wann ist mit einer Entscheidung über die Erhöhung von MAXVERIFYGAS zu rechnen? Die Diskussion ist Teil der Standardisierung von EIP-8141 für das geplante Hegotá-Upgrade (voraussichtlich 2027) und folgt auf die Glamsterdam-Phase 2026 (FAQ-Eintrag).

Fazit

Das aktuelle MAXVERIFYGAS-Limit von 100.000 Gas verhindert praktisch jede On-Chain-Verifikation von Groth16-Proofs im öffentlichen Mempool. Die unvermeidlichen Kosten des BN254-Pairing-Checks (181.000 Gas) und die zusätzlichen Aufschläge durch keyed nonces und Recent-Roots führen zu minimalen Gas-Bedarfen von über 211.000 Gas für die einfachste Privacy-Transaktion. Eine Erhöhung des Limits auf mindestens 250.000 Gas würde die gängigen Transaktionsformen (bis zu zwei Nullifier) zulassen, ohne die Netzwerk-Sicherheit grundlegend zu gefährden, sofern ergänzende Schutzmechanismen wie deterministische Fast-Path-Prüfungen oder FOCIL-Inclusion-Lists implementiert werden. Die Verankerung dieses Vorschlags in der Hegotá-Upgrade-Roadmap und die enge Abstimmung mit den EIPs 8250 und 8272 zeigen, dass die Ethereum-Community die notwendige Balance zwischen Zensur-Resistenz und DoS-Schutz aktiv sucht.