The Anonymity Gap: Understanding Real Privacy in Shielded UTXO-based Protocols for DeFi
Dit artikel introduceert een verenigd, niet-heuristisch analyseframework om de real-world privacy in afgeschermde UTXO-gebaseerde DeFi-protocollen te kwantificeren, wat door een evaluatie van de Railgun- en Hinkal-implementaties onthult dat publieke tokenbeperkingen en historische staatsovergangen de groottes van anonimiteitssets aanzienlijk verminderen, waardoor veel transacties vaak minimale of geen privacy overhouden.
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
In de digitale wereld van de financiën heeft lang een paradox bestaan: om een openbaar grootboek te gebruiken dat elke transactie registreert, moeten gebruikers een manier vinden om hun bewegingen te verbergen. Jarenlang was het primaire instrument hiervoor de "mixer", een digitale dienst die fondsen van veel mensen samenvoegde, ze door elkaar husselde en ze liet opnemen op een manier die het moeilijk maakte om te zien wie wat erin had gestopt. Echter, een nieuwe generatie privacytools is opgekomen die anders werkt. In plaats van alleen stortingen en opnames te mengen, laten deze systemen geld bewegen, splitsen en samenvoegen terwijl het verborgen blijft binnen een beveiligde, private staat. Denk hier niet aan als een enkele kamer waar iedereen door elkaar wordt gehusseld, maar als een uitgestrekt, onzichtbaar netwerk van tunnels waar fondsen kunnen reizen, van hand wisselen en worden gecombineerd voordat ze uiteindelijk weer in de publieke belangstelling verschijnen. De vraag voor onderzoekers en gebruikers is of dit nieuwe, complexere systeem daadwerkelijk betere privacy biedt, of dat juist de regels die het laten werken ook een spoor van aanwijzingen achterlaten die gevolgd kunnen worden.
Een team van onderzoekers van instellingen waaronder University College London en Nanyang Technological University zette zich met deze vraag bezig door de real-world geschiedenis van deze geavanceerde privacyprotocollen te onderzoeken. Ze richtten zich op twee belangrijke systemen, Railgun en Hinkal, die opereren over verschillende blockchain-netwerken heen. In tegenstelling tot eerdere studies die vertrouwden op het gissen naar gebruikersgedrag of het zoeken naar patronen in hoe mensen geld uitgeven, bouwde dit team een rigoureuze methode die uitsluitend keek naar de publieke regels en de zichtbare data op de blockchain. Ze wilden weten: als je een transactie neemt waarbij geld de verborgen staat verlaat en de publieke wereld weer binnenkomt, hoeveel mogelijke startpunten zou dat geld vandaan kunnen komen? Door het pad terugwaarts door de geschiedenis van het systeem te volgen zonder aannames te doen over wie de gebruikers zijn, konden ze exact meten hoe de eigen ontwerpkeuzes van het systeem de cirkel van anonimiteit verkleinen.
De onderzoekers construeerden een gedetailleerde kaart van hoe deze systemen werken, waarbij ze het proces onderverdeiden in drie lagen. De eerste laag betreft de 'notes', of digitale tokens, die de verborgen middelen vertegenwoordigen. De tweede laag betreft de cryptografische bewijzen die transacties verifiëren zonder de details te onthullen. De derde laag is de transactie zelf, waarbij het geld eindelijk weer zichtbaar wordt. Ze ontwikkelden een methode om de geschiedenis van een specifieke opname terugwaarts te traceren, waarbij ze een reeks filters toepasten op basis van de beschikbare publieke informatie. Deze filters omvatten het controleren van welke digitale boom het geld toebehoort, het verifiëren van de tijd waarop de transactie plaatsvond, het waarborgen dat het type activum overeenkomt en het bevestigen dat de bedragen correct kloppen. Door deze filters één voor één toe te passen, konden ze onmogelijke oorsprongen elimineren en de lijst met potentiële startadressen verkleinen.
Toen ze deze methode toepasten op de volledige on-chain geschiedenis van vier Railgun-deployments en vijf Hinkal-pools, onthulden de resultaten een aanzienlijke kloof tussen de theoretische privacy van het systeem en de realiteit van wat afgeleid kan worden. Gemiddeld daalde het aantal mogelijke startadressen voor een transactie met tussen de 40% en 59% vergeleken met het totaal aantal adressen dat op dat moment theoretisch mogelijk was. In sommige gevallen was de reductie zelfs nog dramatischer. De studie analyseerde 186.356 'unshielding spend' transacties waarbij geld uit de verborgen staat werd opgenomen. Onder deze bevonden zich 3.679 transacties die eindigden met een anonimiteitsset van tien of minder mogelijke adressen, inclus[ief] 1.228 singletonen. Dit betekent dat voor een aanzienlijk aantal gebruikers de publieke regels van het protocol alleen al voldoende waren om de mogelijke oorsprong terug te brengen naar een enkel adres, zonder dat daarvoor externe informatie of gedragsmatige gissingen nodig waren.
De studie identificeerde specifieke redenen waarom deze vernauwing plaatsvindt. Een belangrijke factor is het type activum dat wordt gebruikt. Wanneer een transactie een specifiek token betreft, elimineren de regels van het systeem vaak alle andere tokens uit de lijst van mogelijkheden, wat de pool van kandidaten drastisch verkleint. Een andere factor is de structuur van de transactie zelf. Als een transactie geld vrijgeeft aan de publieke wereld terwijl er tegelijkertijd nieuwe verborgen notes worden aangemaakt, kunnen de wiskundige beperkingen die vereist zijn om de vergelijking in balans te houden, veel potentiële geschiedenissen uitsluiten. De onderzoekers ontdekten ook dat de geschiedenis van de pool ertoe doet; in systemen waar de pool is opgesplitst in verschillende "bomen" of secties, kan een transactie in de ene sectie geen gebruik maken van de geschiedenis van een andere, wat de beschikbare anonimiteit effectief met de helft vermindert. Bovendien speelt de diepte van de geschiedenis van de transactie een rol; hoe verder het geld door het verborgen netwerk is gereisd, hoe meer potentiële startpunten het verzamelt, wat de privacybescherming soms kan verzwakken als het pad te complex is.
De onderzoekers benadrukten dat hun bevindingen strikt gebaseerd zijn op de publieke beperkingen van de protocollen, en niet op een poging om specifieke individuen te identificeren of adressen te koppelen aan echte identiteiten. Ze gebruikten geen heuristieken of gissingen over gebruikersgedrag. In plaats daarvan behandelden ze het systeem als een wiskundige puzzel waarbij de enige aanwijzingen de regels zijn die in de code zijn geschreven en de data die op het publieke grootboek zijn vastgelegd. Deze aanpak biedt een nulmeting voor het begrijpen van de inherente privacygrenzen van deze systemen. De studie laat zien dat hoewel deze protocollen een krachtige manier bieden om financiële bewegingen privé te houden, de mechanismen die dergelijke complexe, verborgen transfers mogelijk maken, ook een reeks publieke beperkingen creëren die het aantal mogelijke oorsprongen van een transactie aanzienlijk kunnen verkleinen.
Voor gebruikers zijn de implicaties duidelijk: de privacy van een transactie hangt sterk af van het specifieke activum dat wordt gebruikt, de timing van de opname en de structie van de transactie zelf. Het gebruiken van een algemeen voorkomend activum in een grote, actieve pool kan meer bescherming bieden dan het gebruiken van een zeldzaam activum in een kleinere pool. Voor de ontwerpers van deze systemen suggereren de resultaten dat het behoud van de continuïteit van de verborgen staat tijdens upgrades en het vermijden van onnodige splitsingen in de geschiedenis van de pool, kan helpen om een sterkere anonimiteit te handhaven. De studie concludeert dat hoewel deze shielded protocollen een belangrijke evolutie in privacytechnologie vertegenwoordigen, ze niet immuun zijn voor analyse. De publieke aard van de blockchain betekent dat de regels van het spel altijd zichtbaar zijn, en een zorgvuldige examinatie van die regels kan de werkelijke omvang van de geboden anonimiteit onthullen.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.