Saurabh Sharma

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

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

RT @Optimism: Liquidity shouldn't care which chain it lives on. The 0x Cross-Chain API puts 12+ bridges behind one integration, so value mo…

0x Opens Cross-Chain API to All Developers with 12 Bridge Partners on Day One

RT @solana_devs: The p-token upgrade has been formally verified by @Certora 🙌

Prefer reading over watching? 📖 We've got you covered. Full breakdown of the interview is here 👇 https://www.ccn.com/education/crypto/defi-security-formal-verification-tomer-ganor-certora/ https://x.com/CCNCitizens/status/2059585435202949166