INVARIANT TESTING IN THE CLOUD
Run invariant testing with Echidna, Medusa and Foundry
Schedule a demoTVL Protected
$1BLN+
Aggregate TVL of our Customers
$100MLN+
TVL Protected with Live Monitoring
1k+
Cloud Fuzzing Runs done with Recon Pro
Benefits
THE MISSING PIECE
Invariant Testing is often the missing piece to reduce the number of bugs protocols go to audit with
NEVER STUCK IN QUEUE
Recon Pro allows an unlimited number of parallel runs, we cap the total hours of usage, not the number of concurrent runs
ONE INTERFACE, ALL OF THE TOOLS
The Recon panel abstracts away the complexity of handling infra, shareable runs, reusable corpus, rpc forks, enable all of these in one click
Halmos and Kontrol
Formally Verify your Fuzz Tests, in one click
Experimental
LIVE MONITORING
Convert your Invariant Testing Properties into tests that are checked against each block
Experimental
GOVERNANCE FUZZING
Trigger an invariant testing suite against all of your onChain Proposals.
Testimonials
Our services are tailored to our customers
How does it work
Installation is faster than finding your hardware wallet
- Install the Recon App
- Run a job by just pasting the repository URL
- Save and re-use configs as Recipes
- Run jobs on PR, commit, or at specific time of the day
Recon PRO Workflows
Trophies
Recon was used to find these bugs
TEAM
SERVICES
Boutique Audits, we can write code and break invariants, whether you want us to code with you or review your code manually
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:
- Invariant Bootstrapping > A one off engagements to make massive progress, ranging from 1 to 3 weeks, typically performed by Alex
- Recon Legendary > Ongoing test maintenance from a experienced fuzzing engineer, for projects that want to quickly update their tests, includes unlimited cloud runs
- 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 and Echidna 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