INVARIANT TESTING IN THE CLOUD
Run Echidna, Medusa, Halmos, Foundry and Agentic Workflows for invariant testing in 3 clicks
Helping these projects deploy safely
TVL Protected
$3BLN+
Aggregate TVL of our Customers
$100MLN+
TVL Protected with Live Monitoring
12.5k+
Cloud Fuzzing Runs done with Recon Pro
Benefits
THE MISSING PIECE
Invariant Testing reruns on each commit, ensuring bugs don't come back.
NEVER STUCK IN QUEUE
Unlimited number of parallel runs, we cap the total hours of usage, not the number of concurrent runs
ONE INTERFACE, ALL OF THE TOOLS
Echidna, Medusa, Foundry, Halmos and Kontrol, the Recon panel abstracts away the complexity of handling infra, shareable runs, reusable corpus, rpc forks
DYNAMIC REPLACEMENT
Change your tests constants, block number, from the UI
RECON MAGIC
Run agentic workflows to help you identify invariants and reach coverage with invariant tests
Experimental
GOVERNANCE FUZZING
Trigger an invariant testing suite against all of your onchain smart contracts.
Testimonials
Our services are tailored to our customers
We worked with the phenomenal @getreconxyz team to get invariant testing coverage for the @centrifuge ERC-7540 implementation, leveraging their Recon Pro platform. Looking forward to seeing where @getreconxyz goes next, they have ambitious plans to take invariant testing to the next level!
Centrifuge
Jeroen - CTO
We first met Alex during some excellent security discussions re: Liquity v1. The breadth and depth of his audit of our v2 exceeded expectations - particularly impressive for a solo effort. He uncovered several technical, arithmetic and economic issues and discussed them with us in detail. I’d highly recommend his manual reviews for any DeFi team that takes their security seriously.
Liquity
Rick - Cofounder
Recon has allowed us to speed up the development of invariant tests immensely. We are able to create and execute test suites in the cloud effortlessly with virtually no boilerplate code. I highly recommend using Recon to automate your fuzzing setup.
Badger DAO
James - Lead Dev
The recon team is continuously innovating to make invariant testing vastly more accessible to projects, which makes a meaningful difference in security outcomes. They bring their broad expertise in and passion for web3 security to any engagement above and beyond the specified scope.
Corn
Dapp - Cofounder
Engaging with Alex&Lourens showed great proactiveness to answer deep-technical Qs along the process and help to discuss together items that require deeper drilling on invariants, really valuable not only their ability to answer Qs, but educating you on the process and empowering your team for better understanding of invariants on your architecture!
Onchainification
Petrovska - Cofounder
Alex has an incredible eye for detail, leaving no stone unturned during our audit. His review helped us gain confidence in our codebase before going to a competitive audit. I would highly recommend Alex’s security services to anyone building smart contract systems.
Solidity Labs
Elliot - Founder
We worked together with Alex to review a Safe module for our DAO multi-sig. We really valued his proactiveness and quick response times so that we could ship in a timely manner. 🚀
Balancer DAO
Xeonus - Balancer Maxis
The ROI on our engagement with Recon was extremely high. They built an invariant test suite that uncovered hard-to-spot high-severity issues and gave us a powerful tool to ship with confidence. Moving forward, invariant testing will be core to our smart contract development at Credit Coop. When we do our next audit, Recon will have to be a part of the picture.
Credit Coop
Thomas Hepner - Cofonder & CTO
Alex had the most transparent and interactive process of any auditor I've worked with. He was very proactive and provided in-depth analysis even beyond what was initially requested. In the end, our team was able to iterate on findings a lot quicker than we'd estimated, while also learning a huge amount along the way
Quill Finance
Naps62.eth - Cofonder & CTO
How does it work
Installation is faster than finding your hardware wallet
Install the Recon Github App
Run a Job in 3 clicks
Save and reuse configurations as Recipes
Run jobs on PR or Commit, trigger it off of a onchain event
Tutorial Videos
Intro to Recon Pro V2
1min
Next Videos (18)
5min
Run Jobs with Recon Pro
8min
Recon Magic Workflow
2min
Recipes
2min
Alerts
1min
Dynamic Replacement
3min
Campaigns
2min
Governance Fuzzing
2min
Corpus Reuse
5min
Echidna Jobs
2min
Foundry Jobs
1min
Medusa Jobs
1min
Halmos Jobs
1min
All Recon Tools
5min
The Recon Extension
3min
Storage & Governance Tools
4min
Economic Tools
6min
Bytecode Tools
1min
The Recon Sandbox
Trophies
Recon Pro was used to find these bugs
TEAM
We can support your team at all stages of development
Early Stage:
Define key invariants, scaffold and maintain invariant testers
Add invariants as the project grows
Pre Audit Stage:
Reach 100% Coverage, handout to your Auditors a full set of test repros to produce meaningful states or broken properties
Solo Review Stage:
Recon is made by highly respected SRs that can help you with Manual Review
Audit Stage:
We can support you during audits, by adding new properties flagged by your reviewers and by reproducing bugs in invariant tests as a means to ensure they are not introduced later
Our cloud runners ensure you can quickly queue and test fixes, no more waiting for your engineer to come back from the weekend
Our offers:
Manual Review
>
A high quality review done by top Security Researchers, ideally paired with Invariant Testing
Invariant Test Writing
>
Testing written by an experienced fuzzing engineer, for projects that want to skill up their codebase, includes unlimited cloud runs during the engagement
Recon Pro
>
Cloud Fuzzing as a service, a versatile and easy way to run invariant testing in the cloud
Invariant testing starters
Recon builder
FREE
For Open Source Projects
90
Repos built
200
Hours saved
It's never been easier
2 click scaffolding a State of the Art Medusa, Echidna, Halmos and Kontrol Invariant Testing Setup
Use the right tools for the job
Use Foundry to develop and debug, use medusa and echidna for invariant testing
Only as opinionated as necessary
Compatible with any Foundry project. Zero configuration necessary
Check how it works
The Dangers of Arbitrary Calls and How to do them safely
42min
Next Videos (2)
30min
Eigenlayer Ecosystem Fuzzing - Write Invariant Tests for Eigenlayer in just a few minutes
44min
The Recon Pro Workflow
First Day At Invariant School
Featured in Week in Ethereum, a simple introduction to Invariant Testing
Read >
Reusable Properties for ERC7540 Vaults
How to implement properties developer by the Recon + Centrifuge teams for ERC7540 vaults
Read >
Lessons Learned from Fuzzing Centrifuge Protocol part 2
Separating signal from noise in broken properties
Read >
Finding Real Vulnerabilities with the Renzo-Fuzzing repo
Using the renzo-fuzzing repo to reproduce vulnerabilities from the Renzo audit report from code4rena
Read >
Lessons From The Fuzzing Trenches
Lessons learned from building a fuzzing suite for Renzo Protocol
Read >
Integrating EigenLayer Into Your Test Suite
Deploy the entire EigenLayer system + simulate slashing events in your test suite
Read >