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.
