Error when trying to nargo prove a compiled circuit

[ilitteri]

Aim

I'm trying to generate a proof (with nargo prove <proof_name> <circuit_name> over a previously compiled circuit (compiled with nargo compile <circuit_name>).

Expected behavior

Nargo should prove the cached circuit without exceptions.

Bug

Compiled circuit fetching fails because the ACIR hash is stored with a .json.sha256 extension and when fetching the keys, an ACIR hash file with .json.checksum extension is being loaded.

To reproduce

1. nargo new foo.
2. nargo compile my_circuit.
3. nargo prove my_proof my_circuit.

Installation method

Compiled from source

Nargo version

0.3.1

@noir-lang/noir_wasm version

No response

@noir-lang/barretenberg version

No response

@noir-lang/aztec_backend version

No response

Additional context

No response