Auditoria independente
O que uma auditoria profissional verifica (e o que não), quanto custa, como escolher uma firma e como ler um relatório.
Verificação leve vs. auditoria profunda
Nem toda verificação exige contratar uma firma. Existem duas categorias bem diferentes, e vale saber qual pergunta cada uma responde.
Verificação leve é o que qualquer pessoa realiza de forma autônoma, sem custo, em minutos: ler o código verificado de um contrato inteligente no explorer, verificar se os eventos correspondem ao que é exibido, comparar um número publicado com a fonte pública. Ela responde: "os dados que estou vendo são reais?"
Auditoria profunda é outra categoria: análise especializada, paga, que avalia a qualidade do design e busca vulnerabilidades que a leitura superficial do código não revela. Ela responde: "esse código é seguro?" — uma pergunta que exige treinamento técnico avançado para ser respondida com segurança.
As duas são complementares, não substitutas: a verificação leve confirma rapidamente que os números não foram manipulados; a auditoria avalia a solidez do mecanismo.