Cette page résume la posture actuelle de sécurité et d'audit de la plateforme. Elle est destinée aux chercheurs en sécurité, aux auditeurs, aux utilisateurs potentiels et à quiconque évalue la plateforme avant de déployer de la valeur via elle.
L'analyse statique (Slither, Aderyn) est propre sur le code de production. Les exécutions de preuve symbolique et de fuzzer double réussissent toutes, sans problèmes en suspens de sévérité haute ou moyenne. Le programme de staking Solana réussit une suite de fuzz avec état (Trident) sur quatre propriétés de sécurité.