From d6e1e62a63fd41a259b305be187d1b3e307b18f0 Mon Sep 17 00:00:00 2001 From: James Zaki Date: Thu, 8 Aug 2024 14:57:54 +0100 Subject: [PATCH] Add docs tip about filenames between commands --- docs/docs/getting_started/hello_noir/index.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/docs/docs/getting_started/hello_noir/index.md b/docs/docs/getting_started/hello_noir/index.md index 3baae217eb3..6760e54aad1 100644 --- a/docs/docs/getting_started/hello_noir/index.md +++ b/docs/docs/getting_started/hello_noir/index.md @@ -129,6 +129,11 @@ bb prove -b ./target/hello_world.json -w ./target/witness-name.gz -o ./target/pr The proof generated will then be written to the file `./target/proof`. +:::tip +Since the params for `nargo` and `bb` often specify multiple filenames to read from or write to, remember to check each command is referring to the desired filenames. +Or for greater certainty, delete the target folder and go through each step again (compile, witness, prove, ...) to ensure files generated in past commands are being referenced in future ones. +::: + ### 6. Verify the execution proof Once a proof is generated, we can verify correct execution of our Noir program by verifying the proof file.