nargo compile
You'll get a json used in the frontend for noir proving.
We recommand you to use bun
If you come to change the noir file, you will need to recompute the verification key. You can do so with:
cd prover
bun run extractVerificationKey.ts