Mooly Sagiv
CEO at Certora
Mooly Sagiv is the CEO of Certora and an Israeli computer scientist known for his work in static program analysis. He is also the head of the Software Systems Department at the School of Computer Science at Tel Aviv University.
Current Roles
News Mentions
📽️ 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