Audit & Sicherheit

Diese Seite fasst die aktuelle Sicherheits- und Audit-Haltung der Plattform zusammen. Sie ist für Sicherheitsforscher, Auditoren, potenzielle Benutzer und jeden gedacht, der die Plattform bewertet, bevor signifikante Werte bereitgestellt werden.

Statische Analyse (Slither, Aderyn) ist auf Produktionscode sauber. Symbolische Nachweis- und Dual-Fuzzer-Läufe bestehen alle ohne ausstehende hohe oder mittlere Schweregrad-Probleme. Das Solana-Staking-Programm besteht eine stateful-Fuzz-Suite (Trident) über vier Sicherheitseigenschaften.