💻 computer science

Position Paper: Denial-of-Service Against Multi-Round Transaction Simulation

Dit paper introduceert nieuwe, kosteneffectieve en onopvallende denial-of-service-aanvallen die specifiek zijn ontworpen om bundling-diensten in Ethereum, zoals Flashbots, te verstoren door gebruik te maken van hun unieke multi-round uitvoeringsmodel en contractafhankelijkheden, en biedt tevens strategieën om deze risico's te mitigeren.

Oorspronkelijke auteurs: Yuzhe Tang, Yibo Wang, Wanning Ding, Jiaqi Chen, Taesoo Kim

Gepubliceerd 2026-04-24

📖 3 min leestijd☕ Koffiepauze-leesvoer

CC BY 4.0

Oorspronkelijke auteurs: Yuzhe Tang, Yibo Wang, Wanning Ding, Jiaqi Chen, Taesoo Kim

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat een blockchain (zoals Ethereum) een enorme, drukke supermarkt is waar mensen goederen (transacties) kopen. De bouwers (block builders) zijn de kassamedewerkers die beslissen welke producten er in welke winkelwagen (blok) gaan en in welke volgorde ze worden afgehandeld.

Om dit proces efficiënter te maken, gebruiken ze een slimme truc: ze werken in rondes. Ze proberen verschillende combinaties van producten te sorteren om te zien welke combinatie de meeste winst oplevert voor de winkel. Pas in de allerlaatste ronde wordt de definitieve winkelwagen naar de kassa gestuurd om betaald te worden.

Het Probleem: Een Sluipmoord op de Kassa

In het verleden hebben hackers geprobeerd deze kassamedewerkers lam te leggen (een "Denial-of-Service" aanval). Ze deden dit door bijvoorbeeld:

De kassa te laten crashen met duizenden nep-producten.
Te wachten tot de kassamedewerker een specifieke, kwetsbare modus had, en toen pas toe te slaan.

Maar deze oude methoden werken niet meer goed tegen de nieuwe "meerdere rondes"-methode. Waarom? Omdat de kassamedewerker in de eerste rondes alleen maar simuleert wat er gebeurt. Als een hacker daar een probleem veroorzaakt, wordt het gewoon genegeerd en wordt er een nieuwe poging gedaan. De echte schade gebeurt pas in de laatste ronde, maar de oude hacks weten niet hoe ze daar precies op moeten mikken.

De Nieuze Aanval: De "Sluipende Vriend"

De onderzoekers in dit paper hebben een heel slimme, nieuwe manier bedacht om de kassa te verlammen. Ze gebruiken een truc die we inter-afhankelijkheid noemen.

Stel je voor dat je een reeks van 10 vrienden hebt die een spelletje spelen met de kassamedewerker:

De eerste 9 vrienden doen heel normaal. Ze kopen een broodje, een melk, een krant. Ze doen niets verdachts. Ze bouwen een "context" op, alsof ze gewoon klanten zijn.
De 10e vriend (en daaropvolgende) heeft een geheim plan. Hij wacht tot de kassamedewerker in de laatste ronde is, waar alles echt gebeurt.
Omdat de eerste 9 vrienden de situatie hebben voorbereid, kan de 10e vriend nu een enorme, zware last (een "resource-exhaustive payload") activeren die de kassa volledig laat vastlopen.

De slimme kant van deze aanval:

Onzichtbaar: Omdat de eerste 9 transacties er normaal uitzien, denkt de kassamedewerker: "Geen probleem, dit is veilig." Hij gooit ze niet weg in de eerste rondes.
Pas op het juiste moment: De explosie gebeurt pas op het moment dat de kassamedewerker geen kans meer heeft om te stoppen met werken, omdat hij in de definitieve ronde zit.
Kettingreactie: Omdat alle transacties nu in één rij staan, als de kassa vastloopt op de 10e vriend, staan alle klanten achter hem ook vast. Niemand komt meer aan de beurt.

Waarom is dit gevaarlijk?

Deze aanval is:

Goedkoop: Je hoeft geen dure computers te huren.
Risicovrij: Je wordt niet betrapt omdat je transacties er normaal uitzien.
Effectief: Het verlaagt de winst van de supermarkt en vertraagt het hele systeem.

De Oplossing: Hoe beschermen we de kassa?

De onderzoekers zeggen dat dit een heel lastig probleem is. Het is alsof je een deur hebt die je niet kunt sluiten zonder ook de normale klanten buiten te houden. Ze stellen enkele manieren voor om dit te verbeteren, maar erkennen dat het fundamenteel moeilijk is om een systeem dat in "rondes" werkt, volledig veilig te maken tegen dit soort sluipende aanvallen.

Kortom: Dit paper laat zien dat hackers een nieuwe, slimmere manier hebben gevonden om de "kassamedewerkers" van de blockchain te verlammen, door eerst geduldig te doen alsof ze normale klanten zijn, en pas op het allerlaatste moment de boel te laten crashen.

Probleemstelling

Het paper adresseert een kritieke beveiligingskwetsbaarheid in het Ethereum-ecosysteem, specifiek gericht op block builders (blokconstructeurs) en hun bundling services (zoals Flashbots Bundles). Deze diensten zijn essentieel voor het assembleren van blokken en worden intensief gebruikt door MEV-zoekers (Maximal Extractable Value).

Het kernprobleem is dat bestaande Denial-of-Service (DoS)-aanvallen inefficiënt zijn tegen moderne multi-round (meerdere rondes) block builders.

Huidige situatie: Bestaande DoS-aanvallen (zoals ConditionalExhaust of GhostTX) zijn ontworpen voor single-round architecturen of vertrouwen op passieve inspectie van de uitvoeringsomgeving. Ze proberen resource-intensieve payloads te activeren zodra ze detecteren dat een transactie speculatief wordt uitgevoerd (bijvoorbeeld via eth_call APIs).
De kwetsbaarheid: Multi-round builders voeren transacties uit in meerdere rondes met verschillende volgoringen om de beste blokken te vinden en transacties die falen (revert) eruit te filteren. Bestaande aanvallen kunnen niet onderscheiden in welke ronde een transactie zich bevindt. Hierdoor worden de resource-verbruikende payloads vaak te vroeg geactiveerd (in de voorrondes), waar ze alleen de adversarische draad vertragen en geen invloed hebben op de normale transacties die parallel draaien. Dit maakt de aanvallen effectief nutteloos tegen de huidige staat van de kunst.

Methodologie: De Aanval

De auteurs ontwikkelen een nieuwe, proactieve aanvalsstrategie die specifiek is ontworpen om de multi-round execution model te omzeilen. De kern van de methologie ligt in het exploiteren van inter-transactie afhankelijkheden via de staat van een slim contract.

Verborgen Payload: De aanval gebruikt een slim contract dat een resource-intensieve payload (die de builder vertraagt) verbergt achter een reeks van $(n-1)$ takcondities (branch conditions).
Staat-afhankelijkheid: Elke conditie is afhankelijk van een unieke staatvariabele in het contract.
Transactiesequentie: De aanval bestaat uit een reeks van meer dan $n$ $n$ transacties:
- De eerste $(n-1)$ transacties zetten de context op door de benodigde staatvariabelen te manipuleren. In deze rondes ziet de builder de transacties er normaal uit; de payload wordt niet geactiveerd omdat de condities nog niet volledig zijn vervuld. Hierdoor worden ze niet ongeldig verklaard (evading).
- De resterende transacties triggeren de payload pas in de laatste ronde.
Effect: In de laatste ronde worden adversarische en normale transacties serieel uitgevoerd. Omdat de payload nu pas wordt geactiveerd, vertraagt deze direct de daaropvolgende transacties in dezelfde ronde, wat leidt tot een significante vertraging van de blokproductie en een daling van de builder-omzet.

Belangrijke kenmerken van de aanval:

Evasief (Ontwijkend): Omdat de transacties in de voorrondes geen resource-intensieve code uitvoeren, worden ze niet gedetecteerd of gefilterd.
Risicovrij: De aanval mislukt niet; de transacties worden succesvol verwerkt in de voorrondes.
Laag kost: De aanval vereist weinig kapitaal en operationele kosten omdat het geen massale transactie-overstroming vereist, maar een slimme, gecoördineerde reeks.

Belangrijkste Bijdragen

Nieuw Veiligheidsprobleem: Het paper identificeert en analyseert voor het eerst de DoS-beveiliging van multi-round block builders, een gebied dat eerder onderzoek (gericht op single-round designs) had gemist.
Novel Aanvalsdesign: Het introduceert een volledig nieuw aanvalsparadigma dat gebruikmaakt van afhankelijkheid tussen transacties (inter-transaction dependency) over meerdere rondes heen. Eerdere literatuur baseerde zich op reeksen van onafhankelijke transacties.
Praktische Implementatie: De auteurs hebben een werkende aanval ontwikkeld tegen Flashbots' bundling service (de enige open-source bundler die bekend is bij de auteurs).
Mitigatie Strategieën: Het paper biedt een analyse van verdedigingsmogelijkheden en identificeert een fundamentele uitdaging bij het beveiligen van elke builder met een eindig aantal rondes tegen dit type DoS.

Resultaten

Experimentele resultaten tonen aan dat de aanval zeer effectief is:

Hoge Succesratio: De aanval slaagt bijna altijd in het activeren van de payload in de juiste ronde.
Financiële Impact: Er is een substantiële daling van de inkomsten voor blokbuilders (builder revenue).
Performance Degradatie: De aanval vertraagt de blokproductie aanzienlijk, wat de algehele prestaties van het netwerk negatief beïnvloedt.
Kostenefficiëntie: De aanval is goedkoop uit te voeren in vergelijking met traditionele flooding-aanvallen.

Betekenis en Impact

De betekenis van dit onderzoek ligt in het blootleggen van een fundamentele zwakte in de architectuur van moderne block builders. Het toont aan dat de complexiteit van multi-round simulaties, die bedoeld zijn om efficiëntie en MEV te maximaliseren, paradoxaal genoeg een nieuw vector voor DoS-aanvallen creëert.

Ecosysteemrisico: Als deze aanval wordt misbruikt door concurrenten of kwaadwillenden, kan dit leiden tot centralisatie van de builder-markt (alleen de sterkste overleven), onrechtvaardigheid voor MEV-zoekers en een verslechtering van de transparantie en betrouwbaarheid van het Ethereum-netwerk.
Toekomstige Richting: Het paper dwingt de gemeenschap om na te denken over nieuwe verdedigingsmechanismen die niet alleen kijken naar individuele transacties, maar ook naar de staat-afhankelijkheid en de sequentie van transacties over meerdere simulatierondes heen. Het benadrukt dat "finite-round" builders inherent kwetsbaar blijven voor dit type asymmetrische DoS-aanvallen.