Эта страница обобщает текущую позицию безопасности и аудита платформы. Она предназначена для исследователей безопасности, аудиторов, потенциальных пользователей и всех, кто оценивает платформу перед развёртыванием стоимости через неё.
Статический анализ (Slither, Aderyn) чист на коде продакшена. Прогоны символических доказательств и двойного fuzzer проходят все, без невыполненных проблем высокого или среднего уровня серьёзности. Программа staking Solana проходит пакет stateful-fuzz (Trident) в четырёх свойствах безопасности.