logos-storage/logos-storage-nim
1
0
Fork 0
mirror of https://github.com/logos-storage/logos-storage-nim.git synced 2026-02-06 14:43:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

don't use ufcs

Browse Source
This commit is contained in:
Dmitriy Ryajov 2024-02-12 14:39:41 -06:00 committed by Eric
parent 67c225e7c4
commit ae87628197
No known key found for this signature in database
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
codex/codex.nim
View File

@ -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