The Consensus Number of Untraceable Cryptocurrencies

De Grote Digitale Roof: Verbergen in het volle zicht

Stel je voor dat je in een drukke kamer bent waar iedereen geheimen fluistert. In de digitale wereld van cryptovaluta is deze kamer het "grootboek", een gigantisch openbaar notitieboek waarin wordt bijgehouden wie geld naar wie heeft gestuurd. Meestal is dit notitieboek als een glazen wand: je kunt precies zien wie aan wie betaald heeft, zelfs als je hun echte namen niet kent. Maar wat als je een betaling wilt doen zonder dat iemand weet welke persoon in de menigte daadwerkelijk het contante geld heeft overhandigd? Dit is de uitdaging van "zender-ontraceerbaarheid".

Om dit op te lossen, gebruiken cryptografen een truc die een "maskeringsset" wordt genoemd. Stel je voor dat jij degene bent die betaalt, maar je staat in een groep van tien vrienden. Jullie houden allemaal identiek uitziende enveloppen omhoog. Voor een buitenstaander lijkt het alsof elk van de tien vrienden de betaling zou kunnen hebben gedaan, maar ze kunnen niet zien welke het was. Dit artikel duikt diep in de mechanica van deze groepen. Het stelt een zeer specifieke, bijna filosofische vraag: Als we de zender in een groep willen verbergen, verandert dat verbergen dan de manier waarop de groep werkt? Specifiek: maakt het moeilijker voor de groep om het eens te worden over wat er daarna gebeurt? De auteurs kijken naar het "consensusgetal", een chique manier om te meten hoeveel coördinatie nodig is om dingen gedaan te krijgen. Denk aan een "verkeersopstopping-meter": een laag getal betekent dat auto's gemakkelijk langs elkaar heen kunnen rijden; een hoog getal betekent dat ze moeten stoppen, wachten en discussiëren over wie er eerst mag.

De twee manieren om te verbergen: De "Alles-bewaren"- versus de "Alles-wisselen"-strategie

Het artikel vergelijkt twee verschillende strategieën voor het beheren van deze groepen vrienden (maskeringssets) om de zender te verbergen. Laten we ze de Lineaire Strategie en de Constante Strategie noemen.

De Lineaire Strategie (LUAT): De Altijd Groeiende Gastenlijst
Stel je een feestje voor waar, telkens wanneer iemand betaalt, diegene niet alleen in een groep verdwijnt, maar ook een permanente notitie op de muur achterlaat met: "Iemand uit deze groep heeft betaald!". Het feestje verwijdert deze briefjes nooit. De lijst van "potentiële betalers" (de allow-set) blijft groeien, en de lijst van "mensen die al betaald hebben" (de deny-set) groeit ook.

• Het goede nieuws: Deze methode is verrassend relaxed. Zelfs al wordt de lijst enorm groot, de "verkeersopstopping-meter" blijft erg laag. De auteurs bewijzen dat, ongeacht hoe groot de groep vrienden ook is, het systeem slechts hoeft te coördineren voor 2 mensen tegelijk. Het is als een dansvloer waar iedereen vrij kan bewegen; zelfs als je tegen iemand aanbotst, hoef je niet het hele feest te stoppen om uit te zoeken wie er bewoog.
• Het nadeel: De feestmuur raakt voor altijd bedekt met plaknotities. De opslagruimte die nodig is om te onthouden wie er mogelijk betaald heeft, groeit lineair met elke transactie. Het is alsof je probeert te onthouden wie er ooit door een deur is gelopen, zelfs als ze jaren geleden al zijn vertrokken.

De Constante Strategie (CUAT): De Magische Her-randomisatie
Stel je nu een ander feestje voor. Wanneer iemand betaalt, laten ze niet alleen een briefje achter. In plaats daarvan verandert de gehele groep vrienden onmiddellijk van kleding, naam en identiteit. De oude groep verdwijnt en er verschijnt een gloednieuwe groep. Dit houdt het totale aantal mensen in de kamer constant, zodat de "muur" nooit rommelig wordt. Dit is de methode die wordt gebruikt door systemen zoals Quisquis.

• Het nadeel: Hier wordt het chaotisch. Omdat de gehele groep verandert, als twee mensen tegelijkertijd proberen te betalen en hun groepen overlappen (zelfs met maar één persoon in gemeen), botsen ze tegen elkaar op. Ze kunnen niet allebei slagen.
• Het resultaat: De "verkeersopstopping-meter" explodeert. De auteurs ontdekten dat de coördinatie die hier nodig is, kwadratisch groeit met de grootte van de groep. Als je groep 10 mensen heeft, is de benodigde coördinatie ongeveer 100. Als je 100 mensen hebt, heb je coördinatie nodig voor 10.000! Het is als een spelletje stoelen dansen waarbij, als twee groepen zelfs maar één stoel delen, het hele spel moet stoppen en opnieuw moet beginnen om uit te zoeken wie waar gaat zitten.

De Privacy versus Progressie Afweging

De belangrijkste ontdekking van het artikel is een strikte afweging. Je kunt privacy hebben, maar je moet ervoor betalen in een van deze twee valuta: Opslag of Synchronisatie.

1. Betaal in Opslag (Lineaire Strategie): Je bewaart de geschiedenis voor altijd. Het systeem blijft snel en makkelijk te coördineren (consensusgetal van 2), maar je harde schijf raakt vol.
2. Betaal in Synchronisatie (Constante Strategie): Je houdt de geschiedenis klein en netjes. Maar om dat te doen, dwing je het systeem tot massale coördinatie. Hoe meer mensen je probeert te verbergen, hoe moeilijker het wordt om iedereen het eens te laten worden over de volgorde van gebeurtenissen.

De auteurs keken ook naar een "super-privacy"-modus genaamd Sterke Onttraceerbaarheid. Dit is alsof er een detective is die de volledige geschiedenis van het feestje in de gaten houdt, niet alleen één moment. Ze merkten op dat als je de zender perfect over een lange geschiedenis wilt verbergen, de groepen vrienden volgens een zeer specifiek, wiskundig patroon moeten zijn gerangschikt (zoals een perfect raster of een projectieve vlak). Als je ze niet perfect rangschikt, kan de detective raden wie er betaald heeft door te zien wie in te veel groepen voorkomt. Wanneer je deze perfecte rangschikking afdwingt, bereikt de "verkeersopstopping-meter" een specifiek, hoog plafond gebaseerd op de groepsgrootte.

Het Starvation-probleem: De Gemene Scheduler

Ten slotte behandelt het artikel een duistere kant van de Constante Strategie: Starvation (uithongering).
Stel je een bully op het feestje voor (een "adversarial scheduler") die de muziek controleert. In de Lineaire Strategie, als je klaar bent om te betalen, kun je altijd uiteindelijk nog betalen, zelfs als de bully probeert je te stoppen. In de Constante Strategie, omdat de hele groep verandert, kan de bully jouw specifieke groep eeuwig blijven "resetten". De auteurs bewezen dat in de Constante Strategie een bully één persoon voor eeuwig kan laten betalen, terwijl hij een andere persoon voor eeuwig kan laten wachten, zelfs als die wachtende persoon geld heeft en klaar is om te gaan. De wachtende persoon probeert het steeds opnieuw, maar elke keer als hij probeert, reset de bully de groep net voordat hij kan voltooien. Dit is een "denial of service" die wiskundig gezien onmogelijk te voorkomen is als het systeem is ontworpen om de status klein te houden.

De Kern van het Verhaal

Dit artikel zegt niet simpelweg "de ene is beter dan de andere". Het brengt de exacte kosten van je keuzes in kaart.

• Als je een systeem wilt dat nooit zonder ruimte komt te zitten en eerlijk is voor iedereen, moet je accepteren dat de lijst met eerdere transacties voor altijd zal groeien (Lineair).
• Als je een systeem wilt dat klein en netjes blijft, moet je accepteren dat het ongelooflijk traag en ingewikkeld wordt om te coördineren naarmate je meer mensen toevoegt, en dat het een bully kan toestaan om sommige gebruikers uit te hongeren (Constant).

De auteurs hebben deze grenzen met wiskundige zekerheid bewezen. Ze hebben aangetoond dat je niet het beste van beide werelden kunt hebben: je kunt niet een kleine, nette geschiedenis én een snelle, eerlijke, makkelijk te coördineren systeem tegelijkertijd hebben. Het universum van cryptovaluta eist een prijs voor privacy, en dit artikel vertelt je precies hoeveel je die prijs moet betalen.