Securing Solana Protocols With Formal Verification | Arie Gurfinkel | Crossroads '25

Arie Gurfinkel spoke about how formal verification is being applied to Solana smart contracts to catch bugs before they ship—with a hands-on demo of tools, techniques, and workflows that make protocols more secure from day one—on Day 1 of Crossroads '25.

Crossroads
👉 Twitter: twitter.com/SolanaCrossroad
👉 YouTube:    / @solanacrossroads  
👉 Website: www.solanacrossroads.com/