status-im/nim-dagger
2
0
Fork 0
mirror of https://github.com/status-im/nim-dagger.git synced 2025-02-08 12:54:41 +00:00
Code Issues Projects Releases Wiki Activity

updating ark cli

Browse Source
This commit is contained in:
Jaremy Creechley 2024-05-02 22:28:16 +03:00
parent d6863e91d6
commit b842f76f8d
No known key found for this signature in database
GPG Key ID: 4E66FB67B21D3300
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
benchmarks/codex_ark_prover_cli.nim
View File

@ -46,7 +46,7 @@ proc runArkCircom(args: CircuitArgs, files: CircuitFiles, proofInputs: ProofInpu
proc printHelp() =
echo "usage:"
echo " ./codex_ark_prover_cli [options] --output=proof_input.json --circom=proof_main.circom"
echo " ./codex_ark_prover_cli [options] "
echo ""
echo "available options:"
echo " -h, --help : print this help"
@ -74,7 +74,8 @@ proc parseCliOptions(args: var CircuitArgs, files: var CircuitFiles) =
# Positional arguments
of cmdArgument:
printHelp()
echo "CMD ARG: ", key, " v: ", value
# printHelp()
# Switches
of cmdLongOption, cmdShortOption: