En AI upptäckte ett fel som kunde ha lett till att 18 biljoner XRP skapades. Belöningen uppgick till 250 000 dollar.

En agent från Veria Labs upptäckte ett överflöde i XRP-ledgern som var tio år gammalt. Det tog tre dagar att åtgärda problemet. Det är storleken på belöningen som folk bråkar om.

En enda transaktion. Cirka 18,45 biljoner XRP, 184 gånger större än tokenets totala utbud på 100 miljarder, skapade ur tomma intet och tillgängliga för användning så fort huvudboken stängdes. Det var vad en AI-agent från Veria Labs upptäckte i XRP Ledgers betalningsmotor, i kod som hade varit i drift sedan 2015.

Ingen lyckades utnyttja det. XRPL:s egen rapport säger att det inte finns ”några bevis för att detta problem utnyttjades på något offentligt nätverk”. RippleX lappade säkerhetshålet inom tre dagar efter rapporten, och Veria fick 250 000 dollar, det högsta beloppet som bug bounty-programmet erbjuder. On-chain-utredaren ZachXBT kallade utbetalningen för snål, och diskussionen har pågått ända sedan dess.

Två överflöd, en mycket dålig transaktion

När en betalning går igenom en hög med erbjudanden i orderboken till samma pris, summerar systemet vad köparen är skyldig. Den summan beräknades med ett signerat 64-bitars heltal utan överflödeskontroll. Matade man in tillräckligt många stora bud, vände summan tillbaka till ett mycket litet tal. Varje budgivare fick fortfarande full betalning. Köparen debiterades det vända talet. Skillnaden utgjordes av helt nya XRP.

Huvudboken har en skyddsmekanism just för detta, en invariant som avvisar alla transaktioner som skapar XRP. Den summerade saldobelopp på samma sätt, i samma typ av räknare, så den gick tillbaka till noll på samma sätt och såg inget annat än en vanlig avgiftsförbränning. Verias artikel daterar koden för erbjudandeaggregering till november 2015 och invarianten till februari 2017.

Receptet var nästan förolämpande enkelt: 256 erbjudanden, vart och ett på ungefär 72 miljarder XRP, följt av en enda betalning för att köpa upp dem alla. XRPL tillämpar sitt tak på 100 miljarder per konto, så de präglade mynten var tvungna att fördelas över 256 plånböcker. Enligt XRPL-teamet var angriparens faktiska kostnad några hundra XRP i återbetalningsbara reserver plus avgifter. Det kunde inte heller ha hänt av en slump, eftersom ingen vanlig transaktion ens kommer i närheten av överflödesgränsen.

Cayden Liao, Verias medgrundare med ansvar för säkerhet, skrev på X att varje enskild brist i sig skulle ha klassats som låg allvarlighetsgrad, och han misstänker att det är anledningen till att ett decennium av revisioner missade de båda bristerna. Veria uppger att man senare riktade allmänna kodningsverktyg mot samma kod och att de fortfarande inte kunde upptäcka felet.

Hur stort är 18 biljoner?

Det beror på vem som räknar. Veria värderar bytet till cirka 29 biljoner dollar. Andra rapporter anger ungefär 25 biljoner dollar. Båda är teoretiska beräkningar, eftersom ingen säljer 18 biljoner tokens på en marknad som först skulle ha gått till noll. Verias egen beskrivning är den mest nyktra: hela XRP:s marknadsvärde på 94 miljarder dollar stod på spel, mer än 60 gånger Bybits 1,5 miljarder dollar, vilket är den största hackningen som någonsin registrerats.

Tre dagar, ingen omröstning

Verias representant uppmärksammade felet måndagen den 21 september. Det rapporterades och bekräftades den 22:a, korrigeringen införlivades den 23:e och xrpld 3.4.1 släpptes den 25 september, då mer än 80% av standardvaliderarna för UNL redan körde den.

Normalt ändrar XRPL transaktionsreglerna genom ett tillägg. Validerarna röstar, och därefter måste ett stöd på mer än 80% upprätthållas i två veckor. Denna korrigering hoppade över allt detta, vilket enligt rapporten var första gången på över ett decennium. Motiveringen: xrpld är öppen källkod, så ett tillägg skulle ha gjort felet känt i veckor medan det fortfarande gick att utnyttja. Rapporten medger kostnaden. Under uppgraderingsperioden kunde servrar med olika versioner vara oeniga om en utnyttjande-transaktion, och i värsta fall kunde nätverket stanna upp. Teamet bedömde att ett avbrott var bättre än en pågående, offentlig utgivning.

Inte alla gillade detta val. Justin Bons från Cyber Capital skrev att XRP hade kört sluten källkod i två veckor, eftersom källkoden för version 3.4.1 släpptes långt efter binärfilerna. RippleX-ingenjören Mayukha Vadari svarade att ”AI har förändrat saker och ting”: om man smyger in en kritisk patch i en rutinmässig offentlig release blir den omedelbart bakåtkonstruerad.

Samma release åtgärdade ett separat fel i Batch, en funktion som ännu inte hade tagits i drift. Den korrigeringen och själva Batch aktiverades fredagen den 9 oktober, och servrar med äldre versioner kan inte längre hålla sig synkroniserade.

Kampen om 250 000 dollar

Dagen efter avslöjandet publicerade XRP Ledger Foundation ett inlägg med förtydliganden. Inget XRP skapades, hävdade man, och utbudet förblir oförändrat. Man lovade också formell verifiering, adversarial AI-testning och ett starkare belöningsprogram, utan att ange något belopp i dollar.

Sedan gav ZachXBT sin syn på saken. Varför betalar en kassa med miljarder 250 000 dollar till en white hat för en bugg som möjliggör oändligt utbud? Hans svar: nästa gång kanske en angripare siktar på ”9 siffror istället för att rapportera det i god tro”. BlockTempo rapporterar att han följde upp några minuter senare och sa att upptäckten förtjänade minst sju siffror och pekade på Zcash. Zcash-tokeninnehavare har godkänt 1,5 miljoner dollar till Taylor Hornby, som upptäckte Orchard-förfalskningsbugen i maj med hjälp av Claude Opus 4.8: en belöning på 750 000 dollar plus ett gemenskapsbidrag på 750 000 dollar, som fortfarande väntar på efterlevnadskontroller, enligt crypto.news.

XRP-försvararna ser det annorlunda. 250 000 dollar är det offentliggjorda taket för programmet, och Veria ansökte, tog ut det maximala beloppet och tackade XRPL-teamet i ett eget inlägg. Veria kallar det till och med den största utbetalningen man känner till för en bugg som helt och hållet upptäckts av en AI-agent. BlockTempo rapporterar att en som beskriver sig själv som bidragsgivare till stiftelsen, Vet, svarade att man håller med om incitamentsstrukturen. RippleX:s teknikchef J. Ayo Akinyele sa att teamet kommer att utöka AI-assisterad buggjakt och formell verifiering.

Den del som ingen kan åtgärda

Veria gjorde inget fel, och inte heller programmet, som betalade ut det som utlovats. Det är taket som är problemet. 250 000 dollar motsvarar ungefär 0,0003% av det marknadsvärde som Veria säger utsattes för risk, och enbart Zcashs grundbelöning var tre gånger så stor.

AI gör det billigare för alla att hitta gamla buggar. Veria pekar på Coldcard-utflödet i somras, då 1 367 BTC stals genom en fem år gammal firmwarebugg som Coinkite misstänker att AI hjälpte till att hitta. Den här gången lämnade upptäckaren in en rapport. Nästa gång kanske beslutet prissätts annorlunda, vilket är hela poängen för ZachXBT, och det är svårt att argumentera mot matematiken.

Ingen påfyllning för Veria och inget nytt belönings tak hade tillkännagivits vid skrivande stund.