From 5b58a137b13be72822f99f1c83de3f24df402229 Mon Sep 17 00:00:00 2001 From: Dmitriy Ryajov Date: Mon, 12 Feb 2024 14:39:41 -0600 Subject: [PATCH] don't use ufcs --- codex/codex.nim | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/codex/codex.nim b/codex/codex.nim index 94c3e0f4..0d303e59 100644 --- a/codex/codex.nim +++ b/codex/codex.nim @@ -261,27 +261,31 @@ proc new*( prover = if config.persistence: if not fileAccessible($config.circomR1cs, {AccessFlags.Read}) and - $(config.circomR1cs).endsWith(".r1cs"): + endsWith($config.circomR1cs, ".r1cs"): error "Circom R1CS file not accessible" raise (ref Defect)( msg: "r1cs file not readable, doesn't exist or wrong extension (.r1cs)") if not fileAccessible($config.circomWasm, {AccessFlags.Read}) and - $(config.circomWasm).endsWith(".wasm"): + endsWith($config.circomWasm, ".wasm"): error "Circom wasm file not accessible" raise (ref Defect)( msg: "wasm file not readable, doesn't exist or wrong extension (.wasm)") let zkey = if not config.circomNoZkey: if not fileAccessible($config.circomZkey, {AccessFlags.Read}) and - $(config.circomZkey).endsWith(".zkey"): + endsWith($config.circomZkey, ".zkey"): error "Circom zkey file not accessible" raise (ref Defect)( msg: "zkey file not readable, doesn't exist or wrong extension (.zkey)") + $config.circomZkey else: "" - some Prover.new(store, CircomCompat.init($config.circomR1cs, $config.circomWasm, zkey)) + some Prover.new( + store, + CircomCompat.init($config.circomR1cs, $config.circomWasm, zkey), + config.numProofSamples) else: none Prover