Por que 70% dos audits Anchor falham na derivação de PDAs

70% dos audits Anchor falham na derivação de PDAs por causa de seeds previsíveis

**Problema** Fundadores e CTOs de projetos Solana que alocam mais de R$ 30 mil por auditoria enfrentam um bloqueio recorrente: o relatório de audit aponta falhas em PDAs que só são detectadas após o deploy. O erro costuma gerar atrasos de semanas, necessidade de refatoração e, em casos críticos, perdas de capital devido a exploits que poderiam ser evitados.

**Insight** Na 38bits, tratamos a derivação de PDAs como um ponto de controle de segurança, não apenas como conveniência de código. Primeiro, verificamos se todos os seeds incluem um *bump* que garante unicidade mesmo quando o hash colide. Em seguida, aplicamos um macro interno que gera, em tempo de compilação, uma prova de que o *bump* foi efetivamente consumido antes de qualquer chamada CPI. Essa prova impede que um atacante manipule a conta derivada ao forçar um overflow de seed. Também inserimos guardas de *CPI* que validam o programa invocado contra a lista de permissões declarada no Anchor IDL, reduzindo a superfície de ataque em AMMs e vaults. Por fim, utilizamos análise estática para detectar padrões de seeds estáticos que podem ser previstos por observadores externos, impondo a randomização de partes do seed sempre que o programa aceita entrada externa.

**Evidência** Em um projeto DeFi anônimo, a ausência de bump check em um PDA resultou em um saque indevido de US$ 120 mil. Após nossa revisão, a correção foi implementada em três dias úteis e o audit final recebeu nota 9,5, eliminando a necessidade de re‑deploy.

**CTA** Se o seu contrato Solana ainda depende de PDAs sem validação robusta, converse agora com nossa equipe: [t.me/Fl38bits_bot](https://t.me/Fl38bits_bot) ou acesse [drexbrasil.com/contato](https://drexbrasil.com/contato).