Certora

Congrats to @Mezzaninefi on the launch! Great to see the protocol go live after our formal verification work with the team. Looking forward to what's next 🫡 Mezzanine @mezzanine_fi Nov 5 Mezzanine is finally live! Our first vault is the @HastraFi Optimizer, with many more on the way. Pick your side: higher yield or built-in buffer. app.mezz.finance/vaults Every vault tracked live by @AccountableData accountable.mezz.finance

What does it take to build and integrate applications on @CantonNetwork ? Join @Jpandya26 from @CantonFdn , alongside @ChandrakanaNaN and @iamandreiski from Certora, to discuss wallet integrations, Daml development, and what it takes to ship on Canton. Plus, a live demo of Canton Building on Canton: What to Know Before You Integrate · Luma From luma.com

At @EFDevcon tomorrow, Certora co-founder @SagivMooly will discuss how AI agents can make formal verification more accessible to Solidity developers. 📍 Lotus Stage 2 | 12:30 PM IST If you're at Devcon, come join us! Mooly Sagiv @SagivMooly Nov 4 If you are at @Devcon , I am talking tomorrow at the Lotus stage at 12 on democratizing formal verification for Solidity. My talk should be accessible. Please come

At @EFDevcon India, @SagivMooly @VitalikButerin , @0xfredrik , @Montyly and @0xRajeev to discuss Ethereum security in the age of AI. His argument: write the formal spec before the code, and use LLMs to get there earlier. Recap from the panel ↓ Certora at Devcon India 2026: How AI Changes Formal Verification From certora.vercel.app

In August, an attacker bypassed Moonwell’s MAMO supply cap in an $8.7M exploit. After the attack, we ran AutoProver on the pre-attack code. The Certora Prover found a violation of the generated property. In our latest blog, @AliceAndB0b breaks down the attack, the rule that The Moonwell Exploit: An $8.7M Supply Cap Bypass Attack From certora.com