O que ninguém te conta sobre guardas CPI mal configurados em programas Solana

⚠ **70 % dos contratos Solana que sofrem rollback na mainnet têm falhas nas guardas CPI**.

**Problema** Fundadores e CTOs de projetos Web3 investem dezenas de milhares de reais em desenvolvimento e audit, mas ainda recebem relatórios que apontam “guardas CPI ausentes”. Quando a aplicação executa uma chamada cruzada (CPI) sem validação adequada, um atacante pode forçar a execução de instruções críticas, gerando perda de fundos ou bloqueio permanente do programa. O custo de remediar esse erro pós‑lançamento costuma ultrapassar R$ 150 k, sem contar o dano reputacional.

**Insight** Na 38bits desenvolvemos um método de verificação estática que analisa todas as entradas de CPI antes da compilação. Primeiro, identificamos padrões de chamada (`invoke_signed`) e extraímos os seeds usados. Em seguida, inserimos uma guardia de *bump check* automática usando a macro `#[access_control]` do Anchor, garantindo que o PDA derivado corresponda ao esperado. Também implementamos um *runtime guard* que compara o `program_id` da chamada com uma whitelist configurável, evitando que contratos externos invoquem funções sensíveis. Nosso processo inclui um teste de fuzz direcionado a cada ponto de entrada CPI, gerando vetores de entrada que simulam tentativas de reentrancy e overflow de contas. Essa abordagem reduz o número de falsos positivos em 85 % comparado a auditorias genéricas e permite entregar um relatório de risco completo em até 10 dias úteis.

**Evidência** Em um projeto anônimo de DeFi, nossa correção de guardas CPI evitou um potencial roubo de US$ 250 k que seria explorado por um atacante que conhecia a ausência de bump check.

**CTA** Precisamos analisar seu código? Comece a conversa em https://t.me/Fl38bits_bot.