logos-storage/logos-storage-proofs-circuits
1
0
Fork 0
mirror of https://github.com/logos-storage/logos-storage-proofs-circuits.git synced 2026-02-15 11:03:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix some typos

Browse Source
This commit is contained in:
Balazs Komuves 2023-12-15 17:49:11 +01:00
parent 8b6e8a1402
commit cb144df60a
No known key found for this signature in database
GPG Key ID: F63B7AEF18435562
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
reference/nim/proof_input/src/cli.nim
View File

@ -76,7 +76,7 @@ proc printHelp() =
echo " -i, --index = <slotIndex> : index of the slot (within the dataset) we prove"
echo " -k, --log2ncells = <log2(ncells)> : log2 of the number of cells inside this slot (eg. 10)"
echo " -K, --ncells = <ncells> : number of cells inside this slot (eg. 1024; must be a power of two)"
echo " -o, --output = <inupt.json> : the JSON file into which we write the proof input"
echo " -o, --output = <input.json> : the JSON file into which we write the proof input"
echo " -C, --circom = <main.circom> : the circom main component to create with these parameters"
echo ""

4
workflow/README.md
View File

@ -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