From 4deeed64ef274e1e084ee73fd855aa6c42734bf4 Mon Sep 17 00:00:00 2001 From: Dmitriy Ryajov Date: Fri, 9 Feb 2024 19:33:22 -0600 Subject: [PATCH] add circom params (temprorary) --- codex/conf.nim | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/codex/conf.nim b/codex/conf.nim index 37423905..4e059878 100644 --- a/codex/conf.nim +++ b/codex/conf.nim @@ -240,6 +240,36 @@ type defaultValue: noCmd command }: StartUpCmd of persistence: + circomR1cs* {. + desc: "The r1cs file for the storage circuit" + defaultValue: defaultDataDir() / "circuits" / "proof_main.r1cs" + name: "circom-r1cs" + .}: string + + circomWasm* {. + desc: "The wasm file for the storage circuit" + defaultValue: defaultDataDir() / "circuits" / "proof_main.wasm" + name: "circom-wasm" + .}: string + + circomZkey* {. + desc: "The zkey file for the storage circuit" + defaultValue: defaultDataDir() / "circuits" / "proof_main.zkey" + name: "circom-zkey" + .}: string + + circomNoZkey* {. + desc: "Ignore the zkey file - use only for testing!" + defaultValue: false + name: "circom-no-zkey" + .}: bool + + numProofSamples* {. + desc: "Number of samples to prove" + defaultValue: DefaultSamplesNum + defaultValueDesc: $DefaultSamplesNum + name: "proof-samples" }: int + ethProvider* {. desc: "The URL of the JSON-RPC API of the Ethereum node" defaultValue: "ws://localhost:8545"