From 4fad61955ecf9862bacb1571c60ba3d22abf653e Mon Sep 17 00:00:00 2001 From: Dmitriy Ryajov Date: Mon, 29 Jan 2024 14:59:47 -0600 Subject: [PATCH] add circom file config options --- codex/conf.nim | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/codex/conf.nim b/codex/conf.nim index d375b740..037197ae 100644 --- a/codex/conf.nim +++ b/codex/conf.nim @@ -226,6 +226,24 @@ type name: "persistence" .}: bool + circomR1cs* {. + desc: "The r1cs file for the storage circuit" + defaultValue: defaultDataDir() / "circuits" / "proof_main.r1cs" + name: "circuit-r1cs" + .}: string + + circomWasm* {. + desc: "The wasm file for the storage circuit" + defaultValue: defaultDataDir() / "circuits" / "proof_main.wasm" + name: "circuit-wasm" + .}: string + + circomZkey* {. + desc: "The zkey file for the storage circuit" + defaultValue: defaultDataDir() / "circuits" / "proof_main.zkey" + name: "circuit-zkey" + .}: string + ethProvider* {. desc: "The URL of the JSON-RPC API of the Ethereum node" defaultValue: "ws://localhost:8545"