Your End-To-End Security Partner.
Manual Audits, Formal Verification, and Protocol Design Review.
Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.
Writing formal specifications has always been the bottleneck in formal verification.
Today we're launching AutoProver, an agentic formal verification system that reads your code, generates specifications, and verifies them. 🧵
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!
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
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
We had a blast at @summit_defi in Mumbai 🙌
Certora shared insights on formal verification, security monitoring, non-EVM auditing and risk management.
Here’s a recap 🧵
