Escrito por Pablo Gómez
Founder & CEO da Metlabs · Revisado em 11 de outubro de 2026
O escopo de uma auditoria identifica repositório, versão, contratos e premissas examinados. Os métodos podem incluir leitura manual, análise estática, fuzzing e verificação de invariantes. A verificação formal avalia propriedades expressas sob um modelo concreto.
Os achados são classificados e confrontados com correções. Uma revisão posterior pode verificar essas correções, sem estender automaticamente o relatório a novas funções ou dependências.
O relatório deve ser lido junto com o código implantado e suas permissões. Chaves administrativas, oracles e interfaces podem introduzir riscos fora do escopo. Uma auditoria documenta um processo de revisão, não um certificado de invulnerabilidade.
Também conhecido como
- Smart contract audit
