Certora(@Certora):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! 🇮🇳

2026.10.26 17:54

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! 🇮🇳

Devcon 9 | Lisbon@EFDevcon

2026.10.19 14:17

❌🪲 @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.

커뮤니티로 전달