We’re happy to report completion of our Stylus Sprint project!
- Original Grant: Skribe: Advanced Fuzzing for One and Stylus
- Final Report: Milestone 6: Final Report · Issue #18 · runtimeverification/skribe-advanced-fuzzing · GitHub
- Skribe tool: GitHub - runtimeverification/skribe: Property testing for Stylus smart contracts · GitHub
- Grant Reproduction Repo: GitHub - runtimeverification/skribe-advanced-fuzzing · GitHub
- Twitter: Runtime Vеrification (@rv_inc) / X
This grant enables developers to use high-powered coverage-guided greybox fuzzers for their Stylus contracts, whether the contracts are written in Rust or Solidity, and whether the tests are written in Rust or Solidity. It exposes a Foundry-like property-test interface, and provides greybox fuzzing via libAFL integration. Users can turn coverage guidance on or not, which incurs a performance overhead but also leads to improved discovery of unexercised code paths.
Happy to hear what people think!