Uma IA descobriu uma falha que poderia ter gerado 18 biliões de XRP. O prémio foi de 250 000 dólares

Um agente da Veria Labs descobriu um problema de transbordamento com uma década de existência no XRP Ledger. A correção demorou três dias. O valor da recompensa é o motivo de discórdia entre as pessoas.

Uma transação. Cerca de 18,45 biliões de XRP, 184 vezes a oferta total do token, que é de 100 mil milhões, criados do nada e passíveis de serem gastos no momento em que o livro-razão foi fechado. Foi isso que um agente de IA da Veria Labs encontrou no motor de pagamentos do XRP Ledger, num código que estava ativo desde 2015.

Ninguém conseguiu explorá-la. O próprio relatório de divulgação do XRPL afirma que «não há provas de que esta falha tenha sido explorada em qualquer rede pública». A RippleX corrigiu a falha no prazo de três dias após o relatório, e a Veria recebeu 250 000 dólares, o valor máximo oferecido pelo programa de recompensas por falhas. O investigador on-chain ZachXBT considerou o pagamento «miserável», e a discussão não cessou desde então.

Dois overflows, uma transação muito grave

Quando um pagamento esgota uma pilha de ofertas no livro de ordens ao mesmo preço, o mecanismo soma o que o comprador deve. Esse valor utilizava um inteiro assinado de 64 bits sem verificação de transbordamento. Se forem introduzidas ofertas suficientemente grandes, o total «enrola» e passa para um valor minúsculo. Todos os proprietários das ofertas continuam a ser pagos na totalidade. Ao comprador é cobrado o valor «enrolado». A diferença corresponde a XRP recém-criado.

O livro-razão possui uma proteção precisamente para esta situação, uma invariante que rejeita qualquer transação que crie XRP. A invariante somava as alterações de saldo da mesma forma, num contador do mesmo tipo, pelo que o valor «revolvia» da mesma forma e não detetava nada além de uma queima normal de comissões. O artigo de Veria data o código de agregação de ofertas de novembro de 2015 e a invariante de fevereiro de 2017.

A estratégia era quase insultuosamente simples: 256 ofertas, cada uma solicitando cerca de 72 mil milhões de XRP, seguidas de um único pagamento para as absorver todas. A XRPL impõe efetivamente o seu limite máximo de 100 mil milhões por conta, pelo que as moedas cunhadas tiveram de ser distribuídas por 256 carteiras. Segundo a equipa da XRPL, o custo real do atacante foi de algumas centenas de XRP em reservas reembolsáveis, mais as taxas. Além disso, tal não poderia ter acontecido por acidente, uma vez que nenhuma transação normal se aproxima sequer do ponto de transbordamento.

Cayden Liao, cofundador responsável pela segurança da Veria, escreveu no X que cada falha, por si só, teria sido classificada como de baixa gravidade, e suspeita que seja por isso que uma década de auditorias não detectou as duas. A Veria afirma que, posteriormente, direcionou agentes de codificação de uso geral para o mesmo código e mesmo assim não conseguiu encontrá-la.

Quão grande é 18 biliões?

Depende de quem está a contar. A Veria avalia o valor roubado em cerca de 29 biliões de dólares. Outras análises referem aproximadamente 25 biliões de dólares. Ambos são cálculos teóricos, porque ninguém vende 18 biliões de tokens num mercado que já teria chegado a zero. A própria interpretação da Veria é a mais realista: toda a capitalização de mercado do XRP, no valor de 94 mil milhões de dólares, estava em risco — mais de 60 vezes os 1,5 mil milhões de dólares da Bybit, o maior ataque informático de que há registo.

Três dias, sem votação

O agente da Veria assinalou a falha na segunda-feira, 21 de setembro. Foi comunicada e confirmada no dia 22, a correção foi incorporada no dia 23 e o xrpld 3.4.1 foi lançado a 25 de setembro, com mais de 80% dos validadores UNL predefinidos já a executá-lo.

Normalmente, a XRPL altera as regras das transações através de uma emenda. Os validadores votam e, em seguida, é necessário que mais de 80% de apoio se mantenha durante duas semanas. Esta correção ignorou todo esse processo, pela primeira vez em mais de uma década, de acordo com o relatório. O raciocínio: o xrpld é de código aberto, pelo que uma emenda teria divulgado o bug durante semanas enquanto este permanecia explorável. O relatório admite o custo. Durante o período de atualização, servidores com versões diferentes poderiam entrar em desacordo relativamente a uma transação de exploração e, no pior dos casos, a rede poderia parar. A equipa considerou que uma paragem era preferível a uma emissão pública em tempo real.

Nem todos gostaram desta escolha. Justin Bons, da Cyber Capital, escreveu que o XRP tinha estado a funcionar com código fechado durante duas semanas, uma vez que o código-fonte da versão 3.4.1 foi disponibilizado muito depois dos binários. O engenheiro da RippleX, Mayukha Vadari, respondeu que «a IA mudou as coisas»: basta introduzir um patch crítico numa versão pública de rotina para que este seja submetido a engenharia reversa quase imediatamente.

A mesma versão corrigiu um bug distinto no Batch, uma funcionalidade que ainda não tinha sido lançada. Essa correção e o próprio Batch foram ativados na sexta-feira, 9 de outubro, e os servidores com versões mais antigas já não conseguem manter a sincronização.

A disputa de 250 000 dólares

No dia seguinte ao relatório de divulgação, a XRP Ledger Foundation publicou um tópico de esclarecimento. Não foi criado nenhum XRP, afirmou, e a oferta permanece fixa. Prometeu também uma verificação formal, testes adversariais de IA e um programa de recompensas mais robusto, sem indicar qualquer valor em dólares.

Então, o ZachXBT deu a sua opinião. Por que razão um tesouro com milhares de milhões paga a um «white hat» 250 000 dólares por um bug de oferta infinita? A sua resposta: da próxima vez, um atacante poderá tentar obter «9 algarismos em vez de o reportar de boa-fé». O BlockTempo relata que ele voltou a pronunciar-se minutos depois, afirmando que a descoberta merecia pelo menos sete algarismos e apontando para o Zcash. Os detentores de tokens da Zcash aprovaram 1,5 milhões de dólares para Taylor Hornby, que descobriu a falha de falsificação do Orchard em maio com a ajuda de Claude Opus 4.8: uma recompensa de 750 000 dólares mais uma subvenção da comunidade de 750 000 dólares, ainda pendente de verificações de conformidade, de acordo com o crypto.news.

Os defensores do XRP têm uma visão diferente. 250 000 dólares é o limite máximo publicado do programa, e a Veria candidatou-se, recebeu o montante máximo e agradeceu à equipa da XRPL numa publicação própria. A Veria chega mesmo a referir-se a este como o maior pagamento de que tem conhecimento por um bug detetado inteiramente por um agente de IA. O BlockTempo relata que um colaborador da Fundação que se autodenomina «Vet» respondeu concordando com a estrutura de incentivos. O diretor de engenharia da RippleX, J. Ayo Akinyele, afirmou que a equipa irá expandir a caça a bugs assistida por IA e a verificação formal.

A parte que ninguém consegue corrigir

A Veria não fez nada de errado, nem o programa, que pagou o que anunciava. O problema é o limite máximo. 250 000 dólares representam cerca de 0,0003% do valor de mercado que, segundo a Veria, ficou exposto, e só a recompensa base da Zcash era três vezes maior.

A IA está a tornar a deteção de bugs antigos mais económica para todos. A Veria aponta para o desvio da Coldcard no verão, em que foram roubados 1 367 BTC através de um bug de firmware com cinco anos que a Coinkite suspeita que a IA tenha ajudado a detetar. Desta vez, quem descobriu o bug apresentou um relatório. O próximo descobridor poderá avaliar a decisão de forma diferente, o que é precisamente o argumento de ZachXBT, e é difícil contestar a aritmética.

À data da redação deste artigo, não tinha sido anunciado qualquer aumento para a Veria nem qualquer novo limite máximo para a recompensa.