outputs/
*.avm
*.prover
*.verifier