Auditoría de contratos inteligentes

Los auditores leen el código línea a línea, lo comparan con el funcionamiento previsto en la documentación y lo prueban con herramientas automáticas, como analizadores estáticos y fuzzers. Algunas auditorías añaden verificación formal, que demuestra matemáticamente que ciertas propiedades se cumplen siempre. El resultado es un informe público que clasifica cada hallazgo según su gravedad y anota si el equipo lo corrigió.

La mayoría de usuarios de DeFi consideran la auditoría un requisito mínimo, y los protocolos serios suelen encargar varias a firmas distintas, organizar concursos de auditoría en los que muchos revisores compiten por recompensas y mantener un bug bounty abierto tras el lanzamiento. Cada auditoría cubre una versión concreta del código, así que cualquier cambio posterior necesita otra revisión.

Una auditoría reduce el riesgo, pero no garantiza la seguridad. Protocolos auditados han sufrido exploits por errores que se pasaron por alto, código desplegado después de la revisión, integraciones defectuosas o claves comprometidas. Leer el informe, y no solo el sello, permite saber qué se revisó y qué quedó pendiente.