From cb144df60ad92188b9fde145a2c9a3914d55de57 Mon Sep 17 00:00:00 2001 From: Balazs Komuves Date: Fri, 15 Dec 2023 17:49:11 +0100 Subject: [PATCH] fix some typos --- reference/nim/proof_input/src/cli.nim | 2 +- workflow/README.md | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/reference/nim/proof_input/src/cli.nim b/reference/nim/proof_input/src/cli.nim index 4622738..f011314 100644 --- a/reference/nim/proof_input/src/cli.nim +++ b/reference/nim/proof_input/src/cli.nim @@ -76,7 +76,7 @@ proc printHelp() = echo " -i, --index = : index of the slot (within the dataset) we prove" echo " -k, --log2ncells = : log2 of the number of cells inside this slot (eg. 10)" echo " -K, --ncells = : number of cells inside this slot (eg. 1024; must be a power of two)" - echo " -o, --output = : the JSON file into which we write the proof input" + echo " -o, --output = : the JSON file into which we write the proof input" echo " -C, --circom = : the circom main component to create with these parameters" echo "" diff --git a/workflow/README.md b/workflow/README.md index 04374d6..b9bd90b 100644 --- a/workflow/README.md +++ b/workflow/README.md @@ -5,7 +5,7 @@ Guide though the whole proof workflow The workflow described below is implemented with shell scripts in this directory. So the below is more like an explanation. -The run the full workflow: +To run the full workflow: - set the parameters by editing `params.sh` - run `setup.sh` to do the circuit-specific setup @@ -58,7 +58,7 @@ First create the main component: Then compile the circuit: - $ circom --r1cs --O2 -l../../circuit proof_main.circom + $ circom --r1cs --wasm --O2 -l../../circuit proof_main.circom ### Do the circuit-specific setup