.env *.avm *.prover *.verifier outputs/