Vou revisar e auditar seus contratos inteligentes
Desenvolvedor de Smart Contract e Web3, Solidity, dApps, Integração de Carteira
Sobre este Serviço
Você está lançando um contrato inteligente e precisa de uma auditoria focada em segurança em quem possa confiar? Estou aqui para ajudar!
Sou um auditor de contratos inteligentes em Solidity com forte foco em testes automatizados, verificação formal e análise profunda de segurança usando ferramentas padrão da indústria.
O que eu ofereço:
- Testes de fuzz & testes de invariantes com Foundry
- Verificação formal usando Certora Prover
- Análise estática usando Slither e Aderyn
- Revisão manual de lógica, matemática, modificadores, controle de acesso e casos extremos
- Otimização de gás e verificações de melhores práticas
- Revisão de segurança de contratos upgradeable
- Relatórios de auditoria abrangentes e claros
Ferramentas & Tecnologias:
- Foundry (forge, fuzzing, invariants, cheatcodes)
- Certora Prover (especificações formais e afirmações)
- Slither (análise estática)
- Aderyn (diferença semântica & verificações de regressão)
- Solidity, EVM, bibliotecas OpenZeppelin
- Projetos baseados em Foundry
O que você recebe:
- Uma auditoria completa de segurança dos seus contratos inteligentes
- Relatório em PDF com vulnerabilidades, severidade e recomendações
- Validação de correções & re-auditoria opcional (para pacotes Standard & Premium)
- Insights de uso de gás & sugestões de otimização
Envie uma mensagem para discutir seu projeto e obter uma cotação personalizada de acordo com suas necessidades.
Ferramentas:
MythX
•
Slither
•
Etherscan
Mantenha suas informações e seus ativos seguros
Os serviços de criptomoeda se concentram exclusivamente em desenvolvimento e programação. Nunca compartilhe informações confidenciais ou chaves privadas com outras pessoas.
Meu portfólio
Outros serviços de Desenvolvimento e soluções de blockchain que eu ofereço
Perguntas frequentes
Tradução automática
O que preciso fornecer para a auditoria?
Repositório no Github junto com um readme adequado. O código deve seguir os padrões natspec
O que está incluído no relatório de auditoria?
O relatório inclui vulnerabilidades identificadas, seus níveis de severidade (baixo/médio/alto/crítico), sugestões de correções, dicas de otimização de gás e evidências de testes relevantes (para resultados fuzz/verificação formal).
Você oferece re-auditorias após eu aplicar as correções?
Sim! Todos os pacotes Standard e Premium incluem uma rodada de re-auditoria gratuita após as correções serem aplicadas. Eu validarei as mudanças e atualizarei o relatório conforme necessário.

