Andrew Flesch

📽️ We are LIVE on X with Solana Weekly News: 🛡️ @Certora CEO @SagivMooly on DeFi's security crisis. 🔥 JIP-38 to route JitoDAO's JTX revenue share to $JTO buybacks & burns? 📈 @solana hits 300K RWA holders & 96% of tokenized equity volume. & more 👇 https://x.com/i/broadcasts/1aKbddzrMOjJX

We’ve been quiet for the past month, but far from idle. We’ve been running a private beta on mainnet, testing, breaking, fixing, and improving the protocol alongside friends and partner companies. The result: more than $400K in total volume transacted. Now, launch is closer than ever. Once our au

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 @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