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
@loganjastremski·Jun 6, 2026·positive
Read articleAI Summary
The author highlights the growing adoption of formal verification for Solana programs, noting its high cost and time but optimism that AI will accelerate the process.
