💻 computer science

Resilient Alerting Protocols for Blockchains

Dit artikel formaliseert het cryptoeconomische "waarschuwingsprobleem" voor blockchains, waarbij wordt aangetoond dat rationele deelnemers kunnen worden geprikkeld om omkopingaanvallen te weerstaan via drie verschillende protocollen die asymptotisch optimale kwadratische weerstand tegen omkoping bereiken, terwijl ze verschillende afwegingen bieden tussen netwerkveronderstellingen, opslagoverhead en uitvoeringstijd.

Oorspronkelijke auteurs: Marwa Mouallem, Lorenz Breidenbach, Ittay Eyal, Ari Juels

Gepubliceerd 2026-07-15

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Marwa Mouallem, Lorenz Breidenbach, Ittay Eyal, Ari Juels

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 een wereld voor waarin digitaal geld en contracten leven op een gigantisch, onveranderlijk openbaar grootboek genaamd een blockchain. Denk aan een superveilige, gedeelde dagboek waarin iedereen kan lezen, maar die niemand kan wissen. Binnen dit dagboek leven "smart contracts"—kleine, automatische robots die miljarden dollars aan waarde vasthouden. Deze robots zijn ongelooflijk slim, maar ze hebben een blinde vlek: ze kunnen niet zien wat er buiten hun digitale muren gebeurt. Om dit op te lossen, vertrouwen ze op een team van menselijke boodschappers genaamd "alerters". Deze boodschappers houden de echte wereld in de gaten, zoals beurscrashes of verkiezingsuitslagen, en schreeuwen een waarschuwing naar de robots als er iets misgaat. Als de robots de waarschuwing niet op tijd ontvangen, kunnen ze een verschrikkelijke fout maken en ieders geld verliezen. De grote vraag is: wat gebeurt er als een slecht mens probeert de boodschappers om te kopen om stil te blijven? Dit artikel duikt in de wiskunde van omkoping en vraagt zich af hoeveel geld een schurk zou moeten uitgeven om een heel team van boodschappers het zwijgen op te leggen en te voorkomen dat een waarschuwing ooit wordt gehoord.

De auteurs van dit artikel, Marwa Mouallem, Lorenz Breidenbach, Ittay Eyal en Ari Juels, pakken een eng probleem aan: in veel huidige systemen is het verrassend goedkoop voor een schurk om alle boodschappers om te kopen tot stilte. Als er 100 boodschappers zijn, heeft een schurk misschien slechts 100 kleine steekpenningen nodig om de alarmbel te stoppen. De onderzoekers realiseerden zich dat dit een enorme zwakte is. Ze zetten uit om een nieuwe set regels te ontwerpen—eigenlijk een spel—waarbij het zwijgen van het team astronomisch duur wordt.

Ze ontdekten een wiskundig "plafond" voor hoe moeilijk het is om een team om te kopen. Ze bewezen dat, ongeacht hoe slim de regels ook zijn, de kosten om het hele team om te kopen nooit meer kunnen zijn dan een "kwadratisch" bedrag, wat betekent dat het groeit als $n$ gekwadrateerd (of $n \times n$ ). Voor een team van 100 is dat 10.000 keer moeilijker om te omkopen dan de oude manier! Het artikel laat zien dat terwijl eenvoudige systemen slechts een "lineaire" verdediging bieden (waarbij de kosten groeien als $n$ ), je eigenlijk systemen kunt bouren die dit $n^2$ -plafond bereiken.

Om dit te bewijzen, hebben het team drie verschillende manieren uitgevonden om het spel te spelen, elk met zijn eigen smaak en afwegingen.

Eerst stelden ze een "Lockstep" protocol voor. Stel je een groep vrienden voor die in een cirkel staan en op exact hetzelfde moment hun handen omhoog houden. In deze wereld is tijd perfect en voorspelbaar. Iedereen besluit of hij een waarschuwing schreeuwt of stil blijft, op exact hetzelfde moment, zonder te weten wat de ander doet. Omdat ze gelijktijdig handelen, kan een schurk niet wachten om te zien wie zwak is en hen eerst om te kopen. Deze methode is super snel (het gebeurt in een oogwenk), maar vereist een zeer strikte, bijna magische regel dat ieders bericht op exact hetzelfde moment aankomt.

Ten tweede creëerden ze een "Trusted Hardware" protocol voor wanneer de tijd niet perfect is. Stel je voor dat de boodschappers speciale, onverwoestbare smartwatches dragen. Ze schrijven hun beslissing (schreeuwen of stil blijven) in de watch en sluiten het op in een digitale kluis. De watch is geprogrammeerd zodat de sleutel om de kluis te openen pas verschijnt nadat een specifiek aantal blokken tijd op de blockchain is verstreken. Dit voorkomt dat de schurk vroegtijdig in de beslissingen kijkt. Het is wat complexer en vereist dat iedereen deze speciale hardware gebruikt, maar het werkt zelfs als het internet een beetje traag of rommelig is.

Ten derde ontwierpen ze een "Sequential" protocol, wat lijkt op een spelletje "hot potato" of een estafetserrace. In plaats van allemaal tegelijk te handelen, wisselen de boodschappers elkaar af. De eerste persoon in de rij neemt een beslissing, dan de tweede, enzovoort. Als de eerste persoon schreeuwt, stopt het spel onmiddellijk en hoeven de anderen niet eens meer te beslissen. Dit is geweldig omdat het veel digitale opslagruimte bespaart (de blockchain hoeft niet de beslissing van iedereen vast te leggen als de eerste het al oplost). Het duurt echter langer om te voltooien, vooral als de eerste paar mensen besluiten stil te blijven.

Het grote bevinding van het artikel is dat al deze drie methoden "asymptotisch optimaal" zijn. Dat is een chique manier om te zeggen dat ze allemaal dat perfecte $n^2$ -verdedigingsplafond bereiken. Of je nu kiest voor de snelle maar rigide Lockstep, de hardware-zware Trusted methode, of de trage maar efficiënte Sequential race, je kunt het zo duur maken om het team om te kopen dat een schurk het simpelweg niet kan betalen. De auteurs hebben dit niet alleen geraden; ze gebruikten speltheorie (de wiskunde van strategie) om te bewijzen dat in deze scenario's een rationele schurk geld zou verliezen bij het proberen om iedereen om te kopen, waardoor hij het gewoon zou opgeven.

Kortom, dit artikel neemt een angstaanjagende kwetsbaarheid in onze digitale financiële wereld en laat ons precies zien hoe we een schild kunnen bouwen dat omkoping een verlieslatend spel maakt. Het bewijst dat we met de juiste regels miljarden dollars kunnen beschermen door de prijs van stilte te hoog te maken voor iedereen om te betalen.

Technische Samenvatting: Veerkrachtige Alarmeringsprotocollen voor Blockchains

1. Probleemstelling

Smart contracts op blockchains beveiligen meer dan $170 miljard aan waarde en vertrouwen steeds vaker op tijdige meldingen over externe gebeurtenissen (bijv. wijzigingen in activaprijzen, resultaten van off-chain berekeningen). Bestaande alarmeringsmechanismen zijn kwetsbaar voor omkopingsgebaseerde onderdrukingsaanvallen, waarbij een tegenstander deelnemers betaalt om te zwijgen. Eerder werk heeft de prikkels voor het geven van meldingen geanalyseerd, maar heeft de economie van het onderdrukken daarvan niet gemodelleerd.

De kernuitdaging is het Alarmeringsprobleem: het ontwerpen van protocollen die $n$ rationele nodes stimuleren om tijdige meldingen te publiceren, zelfs wanneer een tegenstander steekpeningen biedt om hiervan af te wijken. Het doel is om de omkopingsresistentie te maximaliseren — het totale bedrag dat een tegenstander moet betalen om er succesvol in te slagen te voorkomen dat er een melding op de blockchain wordt gepubliceerd.

2. Methodologie en Model

De auteurs formaliseren het probleem als een cryptoeconomisch spel bestaande uit:

Deelnemers: Een verzameling van $n$ rationele nodes, een protocoloperator en een rationele tegenstander.
Mechanismen: Nodes staken tokens als onderpand. Een smart contract ($AlertingContract$) handhaaft een boete $\lambda$ voor nodes die geen melding maken wanneer aan de voorwaarden is voldaan. De operator financiert het contract met een constant budget $c$ .
Tegenstander: Kan private steekpeningen $\beta_i$ aanbieden aan nodes om hen te weerhouden van het geven van een melding. De tegenstander behaalt winst $G$ als er geen melding wordt gepubliceerd.
Aannames: De studie beschouwt protocollen waarbij de inzet/boete per node constant is (onafhankelijk van $n$ ) en het budget van de operator constant is.

Het artikel analyseert drie verschillende protocolontwerpen om hun evenwichtsuitkomsten en omkopingsresistentie te bepalen:

Burned-Penalty Protocol: Een baseline waarbij niet-melders worden gestraft (geslashed) en de boete wordt verbrand (niet herverdeeld).
Simultaneous Alerting Game: Een theoretisch spel waarbij alle nodes gelijktijdig handelen zonder de acties van anderen te observeren.
Sequential Alerting Protocol: Een mechanisme waarbij nodes in een specifieke volgorde handelen en de acties van voorgangers observeren.

3. Belangrijkste Bijdragen en Resultaten

A. Theoretische Bovengrens van Omkopingsresistentie

Het artikel stelt een fundamentele limiet vast voor de omkopingsresistentie van elk $(c, \lambda)$ -alarmeringsprotocol.

Resultaat: De maximale omkopingsresistentie is $\Theta(n^2)$ .
Redenering: In elk protocol met constante boetes is de maximale beloning die een meldende node kan ontvangen begrensd door de som van de boetes van alle andere $n-1$ nodes plus het budget van de operator ( $\lambda(n-1) + c$ ). Om alle $n$ nodes te omkopen om te zwijgen, moet de tegenstander elke node iets meer bieden dan deze maximale potentiële beloning. De totale kosten zijn dus ongeveer $n \times \lambda n = \Theta(n^2)$ .
Baseline Falen: Een eenvoudig protocol (bijv. het verdelen van een vaste beloning $c$ onder melders) bereikt slechts $\Theta(n)$ weerstand, waardoor het economisch haalbaar is voor een tegenstander om meldingen op schaal te onderdrukken.

B. De Simultaneous Alerting Game

De auteurs ontwerpen een spel waarbij nodes gelijktijdig acties kiezen na het observeren van steekpeningen.

Evenwichtsanalyse:
- Als de steekpening $\beta_i \ge \lambda(n-1)$ , is "NoAlert" een dominante strategie.
- Als de steekpening $\beta_i \le \lambda$ , is "Alert" een dominante strategie.
- In het tussenbereik ( $\lambda < \beta_i < \lambda(n-1)$ ) bestaat er geen symmetrisch zuiver-strategie Nash-evenwicht.
Mixed-Strategy Resultaat: In elk mixed-strategy evenwicht binnen dit bereik is de verwachte utiliteit van de tegenstander niet-positief als hun winst $G < \lambda n(n-1)$ .
Conclusie: Het simultane spel bereikt een omkopingsresistentie van $\Theta(n^2)$ , wat de theoretische bovengrens asymptotisch benadert.

C. Protocolimplementaties

Het artikel presenteert drie protocollen die deze mechanismen implementeren met verschillende afwegingen:

1. Lockstep Alerting Protocol

Aanname: Strikte netwerksynchroniteit (transacties worden exact $\Delta_{write}$ stappen na verzending toegevoegd).
Mechanisme: Nodes sturen meldingen in een enkele tijdstap. Het contract verifieert inclusie in een specifieject blok.
Prestaties: Constant-time finaliteit.
Overhead: Vereist tot $n$ transacties (lineaire opslag) als een melding nodig is; anders 0.
Resistentie: Bereikt $\Theta(n^2)$ .

2. TEE-gebaseerd Alarmeringsprotocol

Aanname: Standaard bounded-delay synchroniteit + Trusted Execution Environments (TEEs).
Mechanisme: Gebruikt een Commit-Reveal schema. Nodes committeren zich aan acties met behulp van TEEs die een Proof of Publication (PoP) primitief afdwingen. Dit zorgt ervoor dat nodes hun actie niet kunnen onthullen (of niet kunnen samenwerken om vroegtijdig te onthullen) totdat een specifieve hoeveelheid blokken is verstreken, wat informatielekken tijdens de beslissingsfase voorkomt.
Prestaties: Constant-time finaliteit.
Overhead: Vereist $2n$ transacties (lineaire opslag).
Resistentie: Bereikt $\Theta(n^2)$ .

3. Sequential Alerting Protocol

Aanname: Geen strikte synchroniteit of TEEs vereist.
Mechanisme: Nodes krijgen afzonderlijke tijdslots toegewezen. Een node kan alleen in zijn slot een melding maken nadat de acties van alle voorgaande nodes zijn geobserveerd. Als een node een melding maakt, wordt het protocol beëindigd.
Beloningsstructuur: De eerste meldende node ontvangt de cumulatieve boetes van alle nodes in eerdere slots die geen melding hebben gemaakt.
Prestaties: De worst-case uitvoeringstijd is $O(n)$ (lineaire tijd).
Overhead: Constante opslag ( $O(1)$ ). Vereist 0 transacties als er geen melding nodig is, en 1 transactie als er een melding wordt gegeven.
Resistentie: Bereikt $\Theta(n^2)$ (specifiek $\lambda n(n-1)/2$ ), wat de helft is van de grens van het simultane spel, maar nog steeds asymptotisch optimaal.

4. Betekenis en Claims

Het artikel beweert de eerste te zijn die:

Formaliseert het alarmeringsprobleem als een cryptoeconomisch spel met een omkopende tegenstander.
Bewijst dat de maximaal haalbare omkopingsresistentie voor dergelijke protocollen kwadratisch is ( $\Theta(n^2)$ ).
Ontwerpt een simultaan spel dat deze grens asymptotisch bereikt.
Specificeert drie praktische instantiaties (Lockstep, TEE-gebaseerd en Sequential) die verschillende afwegingen bieden tussen latentie, on-chain opslag en vertrouwen, terwijl ze allemaal een asymptotisch optimale omkopingsresistentie behouden.

De auteurs benadrukken dat bestaande systemen (bijv. optimistische rollups, oracle-netwerken) vaak vertrouwen op mechanismen met lineaire kosten die kwetsbaar zijn voor omkoping. Hun werk biedt een rijk ontwerpplatform voor het bouwen van economisch veilige alarmeringssystemen die grootschalige pogingen tot omkoping kunnen weerstaan.

5. Beperkingen en Reikwijdte

De analyse leunt op rationele actoren en specifieke speltheoretische aannames (bijv. PPT-tegenstanders, standaard cryptografische aannames).
Het TEE-gebaseerde protocol vertrouwt op de veiligheid van vertrouwde hardware en de aanname dat de blockchain niet door een enkele node of tegenstander kan worden geforkt na een checkpoint.
Het artikel richt zich op abstracte modellen en evalueert niet specifieke ingezette protocollen of systeem-specifieke parameters voor directe implementatie.
Het sequentiële protocol ruilt tijdscomplexiteit ( $O(n)$ ) in voor opslagefficiëntie, wat een beperking kan zijn voor latentiegevoelige toepassingen.