Vou auditar seus contratos inteligentes em busca de vulnerabilidades de segurança

Sou pesquisador de segurança de contratos inteligentes e caçador ativo de bug bounty, com descobertas reais e divulgadas de vulnerabilidades em protocolos como Wormhole, Aurora e Near Protocol. Não posso publicar meu trabalho para essas empresas porque estou sob NDA. Analiso a forma como atacantes pensam, não apenas o que checklists indicam. Seus contratos inteligentes lidam com dinheiro de verdade, e um bug negligenciado pode esvaziar tudo em minutos. Eu o encontrarei antes que um atacante consiga.

Como eu trabalho:

- Começo modelando o sistema do protocolo para mapear máquinas de estado, ativos e fluxos de valor.

- Revisão manual aprofundada do código para identificar todas as invariantes que nunca devem ser quebradas e outras vulnerabilidades sutis.

- Fuzzing avançado e testes de invariantes

- Sequenciamento adversarial e condições de corrida

- Verificação diferencial e formal

- Prova de conceito

O que você recebe:

- Um relatório profissional: cada descoberta com severidade, impacto e uma correção concreta

- Exploits de prova de conceito para todas as questões (Padrão e Premium)

- Rechecagem das suas correções (Padrão e Premium)

Não sabe qual pacote se encaixa? Envie seu repositório e eu confirmarei o escopo antes de você fazer o pedido. Para protocolos grandes ou complexos (empréstimos, pontes, cross chain), envie uma mensagem para um orçamento personalizado.