CASE STUDIES
Real-world results from our invariant testing engagements with leading DeFi protocols.
Liquity
Full Security Audit + Invariant Testing
Recon conducted a comprehensive invariant testing audit of Liquity v2 (BOLD), one of the most anticipated DeFi protocol launches. The audit exceeded c...
Centrifuge
Invariant Testing with Recon Pro
Recon built comprehensive invariant testing coverage for Centrifuge's ERC-7540 (asynchronous vault) implementation, leveraging the Recon Pro cloud fuz...
Corn
Invariant Testing Engagement
Recon's invariant testing quickly identified a critical insolvency vulnerability due to incorrect accounting in the Corn protocol, then continued test...
Badger
Invariant Testing Engagement
Recon identified a critical insolvency vulnerability in Badger DAO's remBADGER accounting through invariant testing, preventing potential loss of fund...
Credit Coop
Invariant Testing Engagement
Recon delivered an invariant test suite for Credit Coop that uncovered hard-to-spot high-severity issues, providing extremely high ROI. The engagement...
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