Add ProverBackendCmd enum and update configuration for nimGroth16 and circomCompat backends

This commit is contained in:
Dmitriy Ryajov 2025-05-28 19:05:45 -06:00 committed by Eric
parent 43ca0714ac
commit e73ef8b0c3
No known key found for this signature in database

View File

@ -87,6 +87,10 @@ type
noCmd
prover
ProverBackendCmd* {.pure.} = enum
nimGroth16
circomCompat
LogKind* {.pure.} = enum
Auto = "auto"
Colors = "colors"
@ -387,12 +391,28 @@ type
name: "circom-r1cs"
.}: InputFile
circomWasm* {.
desc: "The wasm file for the storage circuit",
defaultValue: $DefaultCircuitDir / "proof_main.wasm",
defaultValueDesc: $DefaultDataDir & "/circuits/proof_main.wasm",
name: "circom-wasm"
.}: InputFile
case proverBackendCmd*: ProverBackendCmd
of ProverBackendCmd.nimGroth16:
nimGroth16Curve* {.
desc: "The curve to use for the storage circuit",
defaultValue: "bn128",
name: "nim-groth16-curve"
.}: string
circomGraph* {.
desc: "The graph file for the storage circuit",
defaultValue: $DefaultCircuitDir / "graph.bin",
defaultValueDesc: $DefaultDataDir & "/circuits/graph.bin",
name: "nim-groth16-graph"
.}: InputFile
of ProverBackendCmd.circomCompat:
circomWasm* {.
desc:
"The wasm file for the storage circuit - DEPRECATED: use the default nimGroth16 backend",
defaultValue: $DefaultCircuitDir / "proof_main.wasm",
defaultValueDesc: $DefaultDataDir & "/circuits/proof_main.wasm",
name: "circom-wasm"
.}: InputFile
circomZkey* {.
desc: "The zkey file for the storage circuit",