Como um bug de validação levou ao ataque de US$ 11,5 milhões na ponte Verus‑Ethereum

Depois disso, os ativos roubados foram trocados e consolidados em aproximadamente 5.402 ETH, provavelmente para facilitar a movimentação posterior ou processos de lavagem de fundos.

Por que as provas criptográficas pareciam válidas

À primeira vista, o ataque chamou atenção porque o sistema de verificação criptográfica da bridge aparentemente estava funcionando corretamente.

A ponte Verus utilizava raízes de estado notarizadas e provas de Merkle para verificar que uma transação realmente ocorreu na blockchain de origem antes de liberar um saque no Ethereum. Essas provas confirmam que determinada informação existe no estado registrado da rede.

O problema é que uma prova de Merkle apenas confirma que um determinado dado foi incluído em um bloco ou árvore de estado — não que esse dado represente uma transação economicamente válida.

Segundo investigadores, o contrato da bridge:

• verificava corretamente as raízes de estado notarizadas
• validava as provas de inclusão via Merkle
• mas não verificava se o valor da transferência correspondia realmente a fundos bloqueados na cadeia de origem.

Isso permitiu que o invasor criasse dados de transferência que passavam na verificação criptográfica, mas que autorizavam saques maiores do que o colateral existente.

Em termos simples: a prova confirmava a mensagem, mas o contrato não confirmava se aquela mensagem realmente autorizava o pagamento executado.

A verificação que faltava no contrato

Pesquisadores de segurança classificaram o problema como uma falha clássica de validação de lógica de negócio.

O contrato no Ethereum deveria confirmar se certos dados coincidiam com a transferência comprovada na cadeia de origem, incluindo:

• tipo de token
• valor transferido
• destinatário
• estado contábil das reservas da bridge

Sem essa verificação, o contrato permitiu saques que não estavam lastreados por depósitos reais.

Relatórios indicam que o invasor precisou gastar apenas cerca de US$ 10 em taxas na rede Verus para disparar saques que liberaram milhões de dólares no Ethereum.

Como a falha estava ligada à lógica de validação — e não à criptografia — desenvolvedores prepararam posteriormente um patch em Solidity para corrigir o problema.

Comparação com hacks famosos de bridges

O incidente da Verus segue um padrão observado em várias falhas de bridges nos últimos anos.

Wormhole (2022)

Em fevereiro de 2022, o hack da bridge Wormhole permitiu que um atacante criasse 120.000 wETH, avaliados em mais de US$ 320 milhões, após contornar a verificação de assinaturas do sistema.

Na prática, o invasor conseguiu convencer o sistema de que havia colateral depositado quando não havia.

Nomad (2022)

Já o exploit da bridge Nomad, em agosto de 2022, drenou cerca de US$ 190 milhões após um erro de configuração fazer com que mensagens fossem tratadas automaticamente como válidas. Isso permitiu que atacantes replicassem transações falsas para liberar fundos.

Onde o caso Verus se encaixa

O exploit da Verus parece mais próximo do caso Nomad do que do Wormhole. Nos dois casos:

• o sistema aceitava provas ou mensagens como válidas
• mas a lógica que deveria validar o que essas mensagens autorizavam estava incorreta.

O resultado foi o mesmo: saques não lastreados a partir da liquidez da bridge.

Por que bridges continuam sendo alvo frequente

Bridges estão entre as infraestruturas mais atacadas do ecossistema DeFi porque combinam várias camadas complexas:

• verificação criptográfica
• comunicação entre blockchains
• contabilidade de contratos inteligentes
• custódia de grandes reservas de ativos

Se qualquer etapa dessa cadeia falhar — mesmo uma verificação aparentemente pequena — o sistema pode liberar fundos sem colateral suficiente.

O caso Verus reforça um princípio importante para desenvolvedores: “prova válida” não significa necessariamente “transferência válida”.

O que pode acontecer agora: reembolso e seguro

Nos primeiros relatos públicos, detalhes sobre recuperação dos fundos ou planos de reembolso ainda eram limitados. Algumas reportagens indicaram que confirmações oficiais e análises completas do incidente ainda estavam surgindo.

Se os fundos não forem recuperados, qualquer compensação para usuários pode depender de fatores como:

• reservas financeiras do projeto
• decisões de governança do protocolo
• negociações com o atacante
• cobertura de seguros DeFi ou provedores de proteção

Essas situações também reacendem o debate sobre como classificar falhas de bridges — se como bugs de contratos inteligentes, falhas de infraestrutura ou riscos de design — algo que influencia diretamente a cobertura por seguradoras no setor cripto.

A lição para o DeFi

O exploit da ponte Verus‑Ethereum mostra que vulnerabilidades devastadoras nem sempre envolvem quebra de criptografia sofisticada. Muitas vezes são erros simples na lógica de validação.

Um sistema pode verificar assinaturas, provas e raízes de estado perfeitamente — e ainda assim falhar se o contrato não confirmar que os dados provados realmente autorizam o saque que está sendo executado.

Essa diferença aparentemente pequena já custou bilhões de dólares ao ecossistema DeFi em exploits de bridges. O caso Verus é mais um lembrete de que, em sistemas cross‑chain, segurança depende tanto de contabilidade correta quanto de criptografia forte.