5 Weeks of Online Classes
Invariant Testing Bootcamp
Go from zero to hero in using stateful fuzzing to secure and break smart contracts
Next Cohort:
19th January 2026
10:00 AM EST
In the Recon x RareSkills Invariant Testing Bootcamp, you’ll go from zero to hero in using stateful fuzzing to secure and break smart contracts.
You’ll learn:
- The philosophy and mental models behind fuzzing
- How to set up projects for meaningful testing
- How to drive toward high coverage
- How to identify and write high-impact invariants
The bootcamp is paced for professionals with a day job and is structured to guide participants through fuzzing an entire protocol from scratch. Optional advanced assignments are available for those who want to go deeper.
Before You Start
Prerequisites
Proficiency in Solidity
Solid understanding of smart-contract security fundamentals
Familiarity with the ERC-4626 standard
Structured For Success
Invariant Testing Bootcamp Curriculum
Last Updated: December 2025
Week 1
Getting Started
Introduction to invariant testing, stateful vs. stateless fuzzing, differences between Foundry, Echidna, and Medusa, an overview of Chimera, and scaffolding your first ERC-4626 vault.
Week 2
Scaffolding Real Protocols
Scaffolding production-grade protocols (e.g., Morpho Blue), coverage-first methodology, corpus reuse, mocking oracles and IRMs, clamping for faster coverage, and dynamic deployments.
Week 3
Managers and Property Types
Multi-actor and multi-token setups, AssetManager and ActorManager patterns, and deep dives into Global, Inlined, and Doomsday properties.
Week 4
Writing Properties
The five property classifications (Valid States, State Transitions, Variable Transitions, High-Level Properties, and Unit Tests), ghost variables, try/catch patterns, and systematic debugging of failing properties.
Week 5
Weakest Precondition
Formal verification vs. fuzzing, symbolic storage, proving properties with Halmos, and understanding when each approach is the right tool.
Meet Your Mentor
Your Instructor
Welcome Onboard
Onboarding Process
1
Apply To Enroll
2
Payment
3
Course Access
4
Attend Class
What To Expect
Course Structure
Each week, there will be one hour of live class and one hour of office hours with the instructor. Both sessions will be recorded, but you shouldn’t miss them, as they are designed to be highly interactive. The purpose of the office hours is for students to ask questions, review homework, and discuss in more detail the topics presented in class. Students on the premium plan can schedule weekly one-on-one meetings with the instructor.
Flexible Plans
Invariant Testing Bootcamp Pricing
Next Cohort:
19th January 2026
10:00 AM EST
$1,500/upfront
- 5 × Weeks Lectures and Office Hours
- Tailored Homework
- Access to the RareSkills Slack & Discord Community (Lifetime Access)
Save 2% if you pay with USDC or USDT
Making Their Mark
Our Impressive Alumni
Hired as a Zero-Knowledge Security Researcher at zkSecurity after completing the ZK bootcamp
Former Privacy Scaling Engineer at the Ethereum Foundation, now Lead Engineer at Cryptex Finance
Everything You Need To Know
Frequently Asked Questions
How many hours of study per week are necessary?
Allocate 6 hours per week.
What level should my Solidity understanding be at?
You need to be fluent with Solidity syntax and know the basics of how DeFi protocols operate, especially vaults. It will be hard to test if a DeFi protocol is working properly if you don't already know how it is expected to work.