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·2026년 6월 6일·긍정
기사 읽기AI 요약
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.
