CASE STUDIES
Real-world results from our invariant testing engagements with leading DeFi protocols.
Liquity
Full Security Audit + Invariant Testing
Liquity v2 (BOLD) is a decentralized borrowing protocol and one of the most anticipated DeFi launches. Recon's engagement combined deep manual code re...
Centrifuge
Invariant Testing with Recon Pro
Centrifuge is a real-world asset (RWA) protocol that was implementing ERC-7540, the standard for asynchronous tokenized vaults. Recon built invariant ...
Corn
Invariant Testing Engagement
Corn is a DeFi protocol built around a vault system for depositing, staking, and distributing rewards. Recon's invariant testing identified a critical...
Badger
Invariant Testing Engagement
Badger DAO manages hundreds of millions in TVL across yield-generating vault strategies. Recon's invariant testing of the remBADGER vault identified a...
Credit Coop
Invariant Testing Engagement
Credit Coop is a lending protocol where Recon delivered an invariant test suite that uncovered a high-severity vulnerability in the minting cap enforc...
Trusted by leading DeFi protocols
$3BLN+
TVL Protected
$20MLN+
Funds Saved
12.5k+
Cloud Fuzzing Runs
Liquity, Centrifuge, Badger DAO, Corn, Balancer, Credit Coop, and more