nacho-proof-generator-process

The proof generator process built for Nacho using o1js.