Formal Verification

Solana Launches STRIDE Security Framework After $285M Exploit

Solana Foundation has launched STRIDE, a security framework offering formal verification and 24/7 on‑chain monitoring in response to a $285M exploit. The initiative aims to harden DeFi protocols and restore ecosystem confidence.