WHY RECON
Industry Veterans
Recon's Lead Auditors have prevented Millions in exploits, and have multiple years of experience in securing Solidity Smart Contracts
Affordable Invariant Suites
Invariant Testing is the best bang for buck testing, our highly trained Invariant Testing Engineers are extremely fast at improving your code coverage and testing for edge cases
More assurances
Invariant Testings remain in your codebase as an artifact you can use. You can run them again on each code change, to ensure no bug comes back
Reusable, Open
Source Testing
Source Testing
Powered by the Chimera framework, ensuring every test is adaptable to other open-source software.
You can even transform your Invariant Tests into Monitoring
You can even transform your Invariant Tests into Monitoring
No Vendor
Lock-In
Lock-In
100% open-source software for complete freedom and flexibility.
Proven Across
DeFi and Beyond:
DeFi and Beyond:
Our team found unique bugs everyone else missed, by combining extremely deep Manual Review and Invariant Testing
each engagement includes:
- • 1h invariant writing workshop.
- • Daily stand up updates.
- • End of Engagement report.
- • Set up of client owned GitHub repo with notes comments and bug finding.
- • Usage of Recon Pro throughout the Engagement plus two weeks after the end.
WHO IS ALEX?
Alex is a top-ranked security researcher, having earned over $450,000 in rewards.
With 5 years of experience as a Solidity developer, he created more than 50 yield farming strategies at Badger, several of which gained significant popularity and inspired adoption by other projects.
Alex has also uncovered critical bugs in major projects through audits, bug bounties, and due diligence reviews.
Collaborated with:
Bugs found in...and 28 more:
Client Success stories
CENTRIFUGE
“We worked with the phenomenal @getreconxyz team to get invariant testing coverage for the @centrifuge ERC-7540 implementation, leveraging their Recon Pro platform.”
— Jeroen, CTO
— Jeroen, CTO
LIQUITY
“The breadth and depth of [Recon’s] audit of our v2 exceeded expectations… uncovering several technical, arithmetic, and economic issues.”
— Rick, Cofounder
— Rick, Cofounder
BADGER
“Recon has allowed us to speed up the development of invariant tests immensely… I highly recommend using Recon to automate your fuzzing setup.”
— James, Lead Dev
— James, Lead Dev
How does it works
The Recon team begins with an initial assessment of your code, performing a light manual review.
We then move through four key phases:
1
SETUP:
We handle compilation and establish the necessary boilerplate to enable running invariant tests efficiently.
We handle compilation and establish the necessary boilerplate to enable running invariant tests efficiently.
2
Coverage:
We improve the tests to reach meaningful coverage, so all interesting combinations are tested.
We improve the tests to reach meaningful coverage, so all interesting combinations are tested.
3
Property Specification:
Collaborating with your team, we define the most impactful properties to test, ensuring targeted and effective testing.
Collaborating with your team, we define the most impactful properties to test, ensuring targeted and effective testing.
4
Audit:
An experienced auditor will perform manual review of the code, using the Invariant Suite and Updating it to help them find as many bugs as possible
An experienced auditor will perform manual review of the code, using the Invariant Suite and Updating it to help them find as many bugs as possible
What happens after the engagement?
The Recon Team uses open-source technology, ensuring no vendor lock-in. If you plan to maintain the invariants suite, we can help automate test runs with Recon Pro. Need extra support? We offer discounted maintenance retainers for peace of mind.
The Recon Team uses open-source technology, ensuring no vendor lock-in. If you plan to maintain the invariants suite, we can help automate test runs with Recon Pro. Need extra support? We offer discounted maintenance retainers for peace of mind.
