En AI oppdaget en feil som kunne ha ført til utstedelse av 18 billioner XRP. Belønningen var 250 000 dollar

En agent fra Veria Labs oppdaget en ti år gammel overløpsfeil i XRP-ledgeret. Det tok tre dager å rette opp feilen. Det er størrelsen på belønningen folk krangler om.

Én transaksjon. Omtrent 18,45 billioner XRP, 184 ganger tokenets totale utbud på 100 milliarder, skapt ut av ingenting og tilgjengelig for bruk i det øyeblikket hovedboken ble lukket. Det var det en AI-agent fra Veria Labs fant i XRP Ledgers betalingsmotor, i kode som hadde vært i drift siden 2015.

Ingen klarte å utnytte det. XRPLs egen rapport sier at det ikke finnes «noen bevis for at dette problemet ble utnyttet på noe offentlig nettverk». RippleX la en lapp på sikkerhetshullet innen tre dager etter rapporten, og Veria fikk utbetalt 250 000 dollar, det høyeste beløpet bug bounty-programmet tilbyr. On-chain-etterforskeren ZachXBT kalte utbetalingen «billig», og debatten har pågått siden den gang.

To overløp, én svært dårlig transaksjon

Når en betaling går gjennom en haug med tilbud i ordreboken til samme pris, summerer motoren opp hva kjøperen skylder. Denne summen brukte et signert 64-biters heltall uten overløpskontroll. Legger man inn nok enorme tilbud, vil totalen «bryte rundt» til et svært lite tall. Hver tilbudseier får fortsatt full betaling. Kjøperen belastes med det «brytede» tallet. Forskjellen utgjør helt nye XRP.

Hovedboken har en beskyttelse mot nettopp dette, en invariant som avviser enhver transaksjon som skaper XRP. Den summerte saldoendringer på samme måte, i samme type teller, så den gikk tilbake på samme måte og så ingenting annet enn en vanlig gebyrforbruk. Verias artikkel daterer koden for tilbudssammenslåing til november 2015 og invarianten til februar 2017.

Oppskriften var nesten fornærmende enkel: 256 tilbud, hvert på rundt 72 milliarder XRP, deretter én betaling for å kjøpe opp alle. XRPL håndhever sitt tak på 100 milliarder per konto, så de utstedte myntene måtte fordeles på 256 lommebøker. Ifølge XRPL-teamet var angriperens reelle kostnad noen få hundre XRP i refunderbare reserver pluss gebyrer. Det kunne heller ikke skje ved et uhell, siden ingen vanlig handel kommer i nærheten av overløpspunktet.

Cayden Liao, medstifter av Veria med ansvar for sikkerhet, skrev på X at hver enkelt feil for seg ville ha blitt vurdert som lite alvorlig, og han mistenker at det er grunnen til at et tiår med revisjoner overså disse to. Veria opplyser at de senere satte generelle kodingsverktøy på samme kode, men at de fremdeles ikke klarte å finne feilen.

Hvor stort er 18 billioner?

Det kommer an på hvem som teller. Veria anslår verdien av byttet til rundt 29 billioner dollar. Andre rapporter bruker et anslag på omtrent 25 billioner dollar. Begge er teoretiske beregninger, fordi ingen selger 18 billioner tokens inn i et marked som først ville ha gått til null. Verias egen fremstilling er den nøkterne: hele XRP-markedsverdien på 94 milliarder dollar var i fare, mer enn 60 ganger Bybits 1,5 milliarder dollar – det største hacket noensinne.

Tre dager, ingen avstemning

Verias representant påpekte feilen mandag 21. september. Den ble rapportert og bekreftet den 22., løsningen ble innlemmet den 23., og xrpld 3.4.1 ble lansert 25. september, med over 80% av standard UNL-validatorene som allerede kjørte den.

Normalt endrer XRPL transaksjonsreglene gjennom et endringsforslag. Validatorene stemmer, og deretter må mer enn 80% støtte opprettholdes i to uker. Denne feilrettingen hoppet over alt dette – for første gang på over et tiår, ifølge rapporten. Begrunnelsen: xrpld er åpen kildekode, så et endringsforslag ville ha gjort feilen kjent i flere uker mens den fortsatt kunne utnyttes. Rapporten innrømmer kostnaden. I løpet av oppgraderingsvinduet kunne servere med ulike versjoner være uenige om en utnyttelsestransaksjon, og i verste fall kunne nettverket stoppe opp. Teamet vurderte at et stopp var bedre enn en live, offentlig utstedelse.

Ikke alle likte avveiningen. Justin Bons fra Cyber Capital skrev at XRP hadde kjørt lukket kildekode i to uker, siden 3.4.1-kildekoden ble publisert lenge etter binærfilene. RippleX-ingeniøren Mayukha Vadari svarte at «AI har endret ting»: hvis man smugler inn en kritisk oppdatering i en rutinemessig offentlig utgivelse, blir den reversert nesten umiddelbart.

Den samme utgivelsen løste en annen feil i Batch, en funksjon som ennå ikke hadde blitt satt i drift. Den feilrettingen og selve Batch ble aktivert fredag 9. oktober, og servere som kjører eldre versjoner kan ikke lenger holde seg synkronisert.

Kampen om 250 000 dollar

Dagen etter avsløringsrapporten la XRP Ledger Foundation ut en tråd med avklaringer. Det ble ikke opprettet noe XRP, het det, og tilbudet forblir fast. Stiftelsen lovet også formell verifisering, adversarial testing av AI og et sterkere dusørprogram, uten at det ble oppgitt noe beløp i dollar.

Deretter kom ZachXBT med sitt innspill. Hvorfor betaler en kasse med milliarder en «white hat» 250 000 dollar for en feil som gir uendelig tilbud? Hans svar: neste gang kan en angriper gå etter «ni sifre i stedet for å rapportere det i god tro». BlockTempo rapporterer at han fulgte opp få minutter senere og sa at funnet fortjente minst syv sifre, og pekte på Zcash. Zcash-tokenholdere har godkjent 1,5 millioner dollar til Taylor Hornby, som oppdaget Orchard-forfalskningsfeilen i mai med hjelp fra Claude Opus 4.8: en dusør på 750 000 dollar pluss et tilskudd fra fellesskapet på 750 000 dollar, som fortsatt avventer samsvarskontroller, ifølge crypto.news.

XRP-forsvarere ser det annerledes. 250 000 dollar er programmets offentliggjorte tak, og Veria søkte, tok maksimumsbeløpet og takket XRPL-teamet i sitt eget innlegg. Veria kaller det til og med den største utbetalingen de kjenner til for en feil som ble funnet utelukkende av en AI-agent. BlockTempo rapporterer at en selvutnevnt bidragsyter til Foundation, Vet, svarte at de er enige i insentivstrukturen. RippleX' tekniske sjef, J. Ayo Akinyele, sa at teamet vil utvide AI-assistert feilsøking og formell verifisering.

Den delen ingen kan fikse

Veria gjorde ingenting galt, og det gjorde heller ikke programmet, som betalte det det hadde annonsert. Taket er problemet. 250 000 dollar utgjør omtrent 0,0003% av markedsverdien som Veria sier ble utsatt for risiko, og Zcashs grunnbelønning alene var tre ganger større.

AI gjør det billigere for alle å finne gamle feil. Veria peker på Coldcard-tappingen i sommer, der 1 367 BTC ble stjålet gjennom en fem år gammel firmwarefeil som Coinkite mistenker at AI hjalp til med å finne. Denne gangen sendte oppdageren inn en rapport. Den neste oppdageren vil kanskje vurdere beslutningen annerledes, og det er nettopp poenget til ZachXBT – og det er vanskelig å argumentere mot regnestykket.

Det var ikke annonsert noen påfylling for Veria eller noe nytt belønningstak på tidspunktet for skrivingen.