Auditoría y Seguridad

Esta página resume la postura actual de seguridad y auditoría de la plataforma. Está dirigida a investigadores de seguridad, auditores, usuarios prospectivos y cualquiera que evalúe la plataforma antes de desplegar valor a través de ella.

El análisis estático (Slither, Aderyn) está limpio en el código de producción. Las ejecuciones de prueba simbólica y fuzzer dual pasan todas, sin problemas pendientes de severidad alta o media. El programa de staking de Solana pasa una suite de fuzz con estado (Trident) en cuatro propiedades de seguridad.