Getting started with fuzzing for protocols can seem daunting, despite its clear benefits. There is often uncertainty surrounding cost, timelines, and potential issues. Additionally, creating an effective fuzzing suite presents numerous technical challenges.
At Perimeter, we strive to make fuzzing accessible for every protocol. To achieve this, we offer an Essentials package designed to provide protocols with a solid, highly extensible foundation that meets long-term security needs and effectively prevents exploits.
Our Essentials package offers a quick, one-week, heavily discounted engagement, providing the following deliverables designed to establish a solid foundation that can be expanded upon while effectively preventing exploits:
- Invariant Development: We will collaborate with you to identify the most mission-critical parts of the code, establishing invariants and handlers to ensure robust performance.
- Efficient Fuzzing Suite: To maximize efficiency, we will implement clamping, optimizing the fuzzing suite’s operations.
- Invariant Testing Assurance: Our team will execute the fuzzing suite for a minimum of 10,000,000 runs, ensuring thorough testing and analysis.
- Comprehensive Final Report: This detailed final report will include all findings, along with their corresponding PoCs. It will also detail the invariants tested, their run status, and the number of runs, providing a comprehensive overview of the engagement's outcomes.
To be able to offer this cost-effective and swift service, there are some preconditions to be met:
- The codebase must be able to compile
- There is a foundry setup file containing all of the contract deployments
- Slither must be executable on the codebase
If you believe our services are right for you or if you have other service needs, please contact us for pricing using any of the methods listed below.
Contact Perimeter:
- X, formerly Twitter: @perimeter_sec
- Cantina Guilds: @perimeter
- E-mail: [email protected]
- Website: perimetersec.io
Or contact us directly: