Certora
@Certora
Your End-To-End Security Partner.
Manual Audits, Formal Verification, and Protocol Design Review.
Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.
Joined February 2019
341 Following 12.1K Followers
Certora co-founder @SagivMooly is heading to @EFDevcon 8 to share insights from our work on @aave V4, exploring how AI agents and formal verification can help developers build safer smart contracts.
📅 Thu, Nov 5 | 12:30–12:55
📍 Lotus Stage 2
See you soon, Mumbai! 🇮🇳
Show more
❌🪲 @SagivMooly of @Certora is joining Devcon 8 for “Bug-Free Solidity Coding Agents,” digging into how verification and program analysis can help make AI-generated smart contracts safer.
Catch his talk on the Security stage.
Show more
