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·2026年6月6日·正面
阅读原文AI 摘要
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.
