Falha "ZeroSignature" faz protocolo DeFi Bonzo Lend perder US$ 9,05 milhões

Um ataque explorando a vulnerabilidade "zerosignature" em verificadores de oráculo permitiu que um invasor tomasse empréstimos de US$ 9,05 milhões no Bonzo Lend com uma garantia irrisória. O episódio expõe um ponto cego de verificação matemática em infraestrutura DeFi: quando o verificador aceita identidades matemáticas como prova de autorização, as próprias regras de loan-to-value (LTV) acabam viabilizando o desvio. O Bonzo Lend, protocolo de empréstimos baseado na Hedera, desativou saques após um validador de oráculo aceitar uma prova com assinaturas e chaves públicas zeradas, permitindo que uma carteira tomasse US$ 9,05 milhões em empréstimos com apenas 250 SAUCE como colateral. Em 13 de julho, Bonzo Lend e Bonzo Points seguiam suspensos; a página oficial de status indica manutenção no Bonzo Lend e em todos os mercados de ativos afetados. Enquanto o Bonzo Finance Labs e a Bonzo Finance Foundation definem o caminho de recuperação e as condições para reabertura, provedores de liquidez continuam sem conseguir sacar. A Carteira A depositou inicialmente 250 SAUCE, avaliados em poucos dólares. Às 00:51 UTC, enviou uma atualização de preço SAUCE/wHBAR que inflou o valor do token em cerca de 12 ordens de magnitude, apesar de o preço de mercado permanecer próximo de 0,2 HBAR. Oito segundos após o preço manipulado ser gravado no armazenamento on-chain do oráculo, a carteira tomou emprestados 6,63 milhões de USDC. Em seguida, emprestou 34,5 milhões de wrapped HBAR, levando o principal retirado pela Carteira A a aproximadamente US$ 9,05 milhões com base no preço de referência do Bonzo. Como um valor zero passa pela validação? A atualização submetida não continha uma assinatura válida do oráculo. O campo de assinatura era [0, 0], e a chave pública do comitê referenciada também era zero — em criptografia, o chamado "ponto no infinito". Os validadores da Supra enviaram esses dados para um contrato pré-compilado pareado da Hedera. Como ambos os pontos representam identidades matemáticas, a equação de pareamento retorna "true" por construção. O validador então interpretou esse retorno como prova da assinatura do comitê, pois não rejeitou previamente valores zero, identidades ou entradas fora do subgrupo. Em termos simples, a rede resolveu corretamente a equação recebida, mas o verificador tratou indevidamente o resultado como autorização. Segundo o Bonzo, o contrato de empréstimos passou a operar com os preços armazenados pelo oráculo e executou as regras programadas de LTV. A Carteira B tomou emprestado cerca de US$ 1 milhão enquanto o preço anômalo ainda estava vigente. Essa carteira contatou o Bonzo, identificando-se como "whitehat", e declarou intenção de devolver os fundos. O Bonzo estima que aproximadamente US$ 1 milhão foi recuperado, embora o valor ainda não tenha sido devolvido e o montante final permaneça incerto. O Bonzo informou que a Supra corrigiu o verificador, mas o pool de empréstimos segue fechado. Entre os pontos pendentes estão: se testes de regressão confirmaram que os validadores rejeitam entradas de identidade, se o Bonzo adotará checagens de desvio de preço ou apertará parâmetros de colateral, e como os ativos disponíveis serão tratados durante a retomada de saques. Em 13 de julho, a página oficial de status do Bonzo ainda classificava o incidente como não resolvido. A atualização oficial mais recente, publicada em 11 de julho, afirma que o protocolo permanece suspenso. O Bonzo ainda não anunciou compensação, data de reabertura nem termos de saque para usuários, deixando os provedores de liquidez dependentes do plano de recuperação a ser divulgado.