The problem Fuzzhead 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

Challenges I 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