Introduction
Recon is a tool for automatically scaffolding and running invariant testing in the cloud.
Creating An Account
To get started with Recon, you'll need to create an account using your GitHub account.
Once you've created an account, you'll be redirected to the dashboard where you'll have access to all of the tools in the Recon suite. To run a job you'll need a Recon Pro account. The other tools in the Recon suite are free to use without a Pro account.
Learn Invariant Testing
Most of our guides and documentation are focused on using fuzzing tools, primarily Echidna and Medusa because we use them internally at Recon. However, we also support running other tools on our cloud infrastructure such as Foundry (fuzzing), Halmos (formal verification), and Kontrol (formal verification).
After having chosen a tool best suited to your needs and downloading it locally, you can get started by running jobs directly on the jobs pge.
If you're new to invariant testing, we recommend you start with the following posts before getting started:
- First Day At Invariant School
- How To Define Invariants
- Implementing Your First Smart Contract Invariants: A Practical Guide
If you prefer a full end-to-end video bootcamp, checkout this series on everything you need to know about invariant testing.
Once you've grasped the basics of invariant testing you can setup your first suite and run it on Recon. For a step-by-step guide on how to do this, check out the First Steps guide.
If you have any questions about how to use Recon or invariant testing in general, you can reach out to our team on Discord.
Additional Learning Resources
If you're looking for more resources to help you get started with invariant testing, please see the following:
For more resources on Echidna and Medusa, please see the following: