Auditoría de smart contracts (Smart contract audit)

Una auditoría es una revisión de pago en la que especialistas en seguridad leen el código de los smart contracts de un proyecto, lo ponen a prueba y redactan un informe que clasifica los problemas por gravedad. El objetivo es encontrar errores y fallos de lógica explotables antes que los atacantes. Los informes suelen marcar cada problema como corregido, reconocido o pendiente.

Los auditores combinan la revisión manual con herramientas como analizadores estáticos, fuzzers y baterías de pruebas. Buscan problemas como reentrancia, errores de cálculo, ausencia de controles de acceso, manipulación de oráculos y permisos peligrosos del propietario. El informe se aplica a una versión concreta del código, a menudo identificada por el hash de un commit o por la dirección del contrato desplegado. Algunas empresas también ofrecen verificación formal o monitorización continua.

Para quien compra un token, una auditoría demuestra que el equipo al menos pagó a alguien para que revisara el código. No significa que el proyecto sea seguro ni honesto. Una auditoría no puede impedir que un equipo venda sus tokens o retire la liquidez no bloqueada, y muchos protocolos que sufrieron ataques habían sido auditados. En los tokens pequeños, las auditorías baratas suelen ser escaneos automatizados presentados como revisiones, y algunos sellos de auditoría son directamente falsos.

Lee el informe completo, no te quedes solo con el sello. Comprueba que la dirección o el código auditados coincidan con lo que está desplegado, ya que un proyecto puede auditar un contrato y lanzar otro. Revisa qué problemas de gravedad crítica o alta siguen sin resolverse y si el auditor señaló permisos del propietario como emitir tokens, cambiar comisiones o incluir direcciones en una lista negra. Comprueba quién realizó la auditoría y si el informe está alojado en la web del propio auditor, no solo en la del proyecto.