Auditorías
Las revisiones de seguridad independientes ayudan a identificar los riesgos de los contratos inteligentes. Un informe es evidencia útil solo cuando se pueden verificar su alcance, la versión del código y el contrato implementado.
Registro Oficial de Auditorías de Atlas
Actualmente, en la página web oficial de Atlas hay enlaces a dos informes independientes. La publicación confirma que se ha llevado a cabo una revisión; esto no significa que se hayan resuelto todas las cuestiones planteadas ni que los contratos estén exentos de riesgos.
Auditoría de seguridad de Beosin
Revisión de seguridad de contratos inteligentes · ID del informe 202606171520
PUBLICACIÓN DEL INFORME
Auditoría de contratos inteligentes de Cyberscope
Revisión inicial: 15 de junio de 2026 · Segunda fase de revisión: 30 de junio de 2026
PUBLICACIÓN DEL INFORME
Qué comprueba una auditoría de contratos inteligentes
Control de acceso
Quién puede llamar a funciones privilegiadas y modificar un estado sensible.
Reentrancia
Si las llamadas externas pueden reanudarse de forma inesperada.
Gestión de tokens
Aprobaciones, transferencias, decimales y gestión de valores de retorno.
Matemáticas y el Estado
Redondeo, límites, contabilidad y transiciones de estado.
Controles de administración
Titularidad, suspensión, capacidad de actualización y permisos de emergencia.
Lógica de negocio
Si la implementación se ajusta a las normas documentadas del «Smart Cycle».
Cómo interpretar la gravedad de los hallazgos
Siempre lea las propias definiciones de gravedad del auditor: las etiquetas pueden diferir entre firmas.
Verifica el informe antes de confiar en la insignia
Qué abarca el informe — y qué es lo que quizá no abarque—
Coberturas habituales
- Código fuente auditado y contratos publicados
- Patrones de vulnerabilidad conocidos
- Lógica de acceso y gestión de tokens
- Versión específica del código en el informe
No está cubierto automáticamente
- Futuras implementaciones o actualizaciones del código
- Seguridad del sitio web, de la billetera o del dispositivo del usuario
- Liquidez y comportamiento de los participantes
- Resultados de mercado, económicos u operacionales
Búsqueda del ciclo de vida de remediación
→
→
→