Halaman ini merangkum postur keamanan dan audit platform saat ini. Dimaksudkan untuk peneliti keamanan, auditor, pengguna potensial, dan siapa pun yang mengevaluasi platform sebelum menerapkan nilai melaluinya.
Analisis statis (Slither, Aderyn) bersih di kode produksi. Bukti simbolik dan jalannya fuzzer ganda semua lulus, tanpa masalah tingkat keparahan tinggi atau menengah yang tertunda. Program staking Solana lulus suite fuzz berstate (Trident) di empat properti keamanan.