Formal verification is indeed the way. A few years ago I reached out to @NotDeGhost asking him if he wanted to do the first formal verification for a Solana program. Luckily he said yes and got it done in 4 months. Since then all Squads programs have gone through that process multiple times. Fast
@toly·6 de jun. de 2026·positivo
Ler artigoResumo IA
The author highlights the successful adoption of formal verification for Solana programs, starting with Squads, and notes that despite costs and time, AI/LLMs will accelerate the process.
