Auditorias boutique.Assistidas por IA, verificadas por pessoas.

Cinco exploits reais se repetem um após o outro: cada contrato se digita sozinho, a varredura aponta a falha e uma nota diz quanto custou e como se corrige.

• The DAO, 2016-06-17: 3,6 mi de ETH drenados. splitDAO pagava a recompensa por uma chamada externa antes de zerar o saldo, então o atacante reentrava e dividia os mesmos tokens de novo e de novo. Zerar o saldo antes de qualquer chamada externa.
• Parity Multisig, 2017-11-06: 513.774 ETH congelados. A biblioteca compartilhada nunca foi inicializada, então qualquer um podia chamar initWallet, virar dono e destruí-la com kill. Toda carteira que delegava a ela congelou. Inicializar a biblioteca no deploy e não dar a ela autodestruição.
• Wormhole, 2022-02-02: 120.000 wETH, ~US$ 325 mi. verify_signatures lia a verificação de assinaturas de uma conta escolhida por quem chamava e nunca confirmava que era o sysvar de instruções. Uma falsa passou como aprovação completa dos guardiões. Usar load_instruction_at_checked, que verifica o endereço do sysvar.
• Nomad Bridge, 2022-08-01: ~US$ 190 mi drenados. Uma atualização definiu a raiz confiável como 0x00. Uma mensagem sem prova resulta em 0x00, então process aceitava qualquer mensagem, e centenas de imitadores repetiram a primeira. Nunca confirmar a raiz zero e recusar mensagens sem prova.
• Euler Finance, 2023-03-13: ~US$ 197 mi drenados. donateToReserves queimava eTokens sem verificar se o doador continuava solvente. O atacante doou até ficar com dívida podre e depois se liquidou com desconto. Verificar a liquidez após a doação, como nos outros saques.