From 795227d3149f03d758024df9dcf071ce73ee9eff Mon Sep 17 00:00:00 2001
From: Balazs Komuves <bkomuves@gmail.com>
Date: Fri, 17 May 2024 18:38:47 +0200
Subject: [PATCH] add the option to the workflow script to use the Nim prover

---
 workflow/prove.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/workflow/prove.sh b/workflow/prove.sh
index faf7253..8fcf7d5 100755
--- a/workflow/prove.sh
+++ b/workflow/prove.sh
@@ -25,6 +25,7 @@ cd ${ORIG}/build
 # --- create the proof ---
 
 PROVER="snarkjs"
+# PROVER="nim"
 
 RS=`which rapidsnark`
 if [[ ! -z "$RS" ]]
@@ -42,6 +43,9 @@ case $PROVER in
   rapidsnark)
     time rapidsnark ${CIRCUIT_MAIN}.zkey witness.wtns proof.json public.json
     ;;
+  nim)
+    time nim-groth16 -tpv --zkey=${CIRCUIT_MAIN}.zkey --wtns=witness.wtns -o=proof.json -i=public.json
+    ;;
   *)
     echo "unknown prover \`$PROVER\`"
     exit 99