Certora(@Certora):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 catches it, and a proposed fix the Prover verifies. ⬇️

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@Certora

2026.11.02 20:11

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 catches it, and a proposed fix the Prover verifies. ⬇️