From 8de2d6d35a0513b3f644cc607f6f02fae3f960db Mon Sep 17 00:00:00 2001
From: Dmitriy Ryajov <dryajov@gmail.com>
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"