Audit en Veiligheid

Deze pagina vat de huidige beveiligings- en audithouding van het platform samen. Het is bedoeld voor beveiligingsonderzoekers, auditors, potentiële gebruikers en iedereen die het platform evalueert voordat waarde erdoor wordt geïmplementeerd.

Statische analyse (Slither, Aderyn) is schoon op productiecode. Symbolische proef- en dubbel-fuzzer-runs slagen allemaal, zonder uitstaande beveiligingsproblemen van hoog of gemiddeld niveau. Het Solana-staking-programma doorstaat een stateful-fuzz-suite (Trident) over vier beveiligingseigenschappen.