Escrito por Pablo Gómez
Founder & CEO de Metlabs · Revisado el 11 de octubre de 2026
El alcance de una auditoría identifica repositorio, versión, contratos y supuestos examinados. Los métodos pueden incluir lectura manual, análisis estático, fuzzing y comprobación de invariantes. La verificación formal evalúa propiedades expresadas bajo un modelo concreto.
Los hallazgos se clasifican y se contrastan con correcciones. Una revisión posterior puede comprobar esas correcciones, sin extender automáticamente el informe a nuevas funciones o dependencias.
El informe debe leerse junto al código desplegado y sus permisos. Claves administrativas, oráculos e interfaces pueden introducir riesgos fuera del alcance. Una auditoría documenta un proceso de revisión, no un certificado de invulnerabilidad.
También conocido como
- Smart contract audit
- Auditoría de contratos inteligentes
