This commit is contained in:
Jaremy Creechley 2024-04-24 15:18:44 +03:00
parent 91c695cb0e
commit 5300d4f39d
No known key found for this signature in database
GPG Key ID: 4E66FB67B21D3300
2 changed files with 3 additions and 3 deletions

View File

@ -67,7 +67,7 @@ when isMainModule:
r1cs = env.dir / fmt"{env.name}.r1cs" r1cs = env.dir / fmt"{env.name}.r1cs"
wasm = env.dir / fmt"{env.name}.wasm" wasm = env.dir / fmt"{env.name}.wasm"
zkey = env.dir / fmt"{env.name}.zkey" zkey = env.dir / fmt"{env.name}.zkey"
inputs = env.dir / fmt"inputs.json" inputs = env.dir / fmt"input.json"
var var
inputData = inputs.readFile() inputData = inputs.readFile()

View File

@ -129,9 +129,9 @@ proc createCircuit*(
for f, v in fieldPairs(args): for f, v in fieldPairs(args):
cliCmd &= " --" & f & "=" & $v cliCmd &= " --" & f & "=" & $v
if not "inputs.json".fileExists: if not "input.json".fileExists:
echo "Generating Circom Files..." echo "Generating Circom Files..."
cliCmd &= fmt" -v --circom={name}.circom --output=inputs.json" cliCmd &= fmt" -v --circom={name}.circom --output=input.json"
echo "CWD: ", getCurrentDir() echo "CWD: ", getCurrentDir()
echo "CLI_CMD: ", cliCmd echo "CLI_CMD: ", cliCmd