Fuzzhead
Fuzzing for zkApps on Mina
About
The problem it solves This is a fuzzer for the Mina blockchain. It allows developers to fuzz test their zkApps. It aims to find subtle errors in their code. It is in some ways simpler than an EVM fuzzer as it takes advantage of off chain computation. I decided not to follow the approaches of a previous fuzzer which used a Mina node, as I was looking for something simpler
How it's made
Challenges we ran into o1js types are difficult to create as fuzzing inputs Having difficulty getting complex crypto libraries like o1js working on AWS lambda. Future Work Put output into a db for easier analysis Integrate into a simple node, problem the openmina version , to check for problems that occur at the blockchain level