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

updating ark cli

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

14
benchmarks/codex_ark_prover_cli.nim
View File

@ -128,6 +128,20 @@ proc run*() =
if files.inputs == "": files.inputs = dir / fmt"input.json" if files.inputs == "": files.inputs = dir / fmt"input.json"
var fileErrors = false
template checkFile(file, name: untyped) =
if file == "" or not file.fileExists():
echo "\nERROR: must provide `" & name & "` file"
fileErrors = true
checkFile files.inputs, "inputs.json"
checkFile files.r1cs, "r1cs"
checkFile files.wasm, "wasm"
checkFile files.zkey, "zkey"
if fileErrors:
quit 1
var var
inputData = files.inputs.readFile() inputData = files.inputs.readFile()
inputs: JsonNode = !JsonNode.parse(inputData) inputs: JsonNode = !JsonNode.parse(inputData)