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.
参加 February 2019
341 フォロー中 12.1K ファン
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! 🇮🇳
もっと見る
❌🪲 @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.
もっと見る
