From d6ce72b13e370d2965bb226f28a1135269e7c198 Mon Sep 17 00:00:00 2001
From: Gordon Stewart <gstew5@gmail.com>
Date: Wed, 4 Jul 2018 14:07:35 -0400
Subject: [PATCH] Add a missing script

---
 scripts/run-proofgen.sh | 88 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 88 insertions(+)
 create mode 100755 scripts/run-proofgen.sh

diff --git a/scripts/run-proofgen.sh b/scripts/run-proofgen.sh
new file mode 100755
index 0000000..ca1e703
--- /dev/null
+++ b/scripts/run-proofgen.sh
@@ -0,0 +1,88 @@
+#!/bin/bash
+
+# This script generates, from an input R1CS configuration, a proving
+# key and a verification key. It then uses libsnark to generate a
+# proof for the R1CS, given a satisfying assignment. Finally, it runs
+# the libsnark verifier on the resulting proof file and reports the
+# result.
+
+# All libsnark output is redirected to LOG.
+
+# Exit codes:
+# 1: not enough arguments
+# 2: a required file didn't exist
+# 3: key-generation failed
+# 4: proof-generation failed
+# 5: verification failed
+
+LOG=run-r1cs.log
+
+snarky=../cppsrc/bin/snarky
+
+if [ "$#" -lt 3 ]; then
+	echo "not enough arguments: 
+Arguments:
+1- R1CS configuration file
+2- input assignment file
+3- witness assignment file
+"
+	exit 1
+fi
+
+exec 3>&1 1>${LOG} 2>&1
+
+global_file=""
+
+# create a fresh file in /tmp
+fresh_file_name()
+{
+    UNIQUE=`date +%s%N | sha256sum | base64 | head -c 24`
+    fileName="/tmp/snarkl-file-$UNIQUE"
+    touch $fileName
+    global_file=$fileName
+}
+
+ensure_file_exists()
+{
+    if [ ! -f $1 ]; then 
+	echo "file $1 doesn't exist"
+	exit 2
+    fi
+}
+
+R1CS=$1
+echo "R1CS file: $R1CS"
+fresh_file_name
+PK="$global_file"
+echo "PK file: $PK"
+fresh_file_name
+VK="$global_file"
+echo "VK file: $VK"
+INPUT=$2
+echo "Input file: $INPUT"
+WITNESS=$3
+echo "Witness file: $WITNESS"
+fresh_file_name
+PROOF="$global_file"
+echo "Proof file: $PROOF"
+
+ensure_file_exists $R1CS
+ensure_file_exists $INPUT
+ensure_file_exists $WITNESS
+
+touch $PK $VK $PROOF
+
+echo "Generating Keys"
+time $snarky --generateKeys --csFile $R1CS --verificationKeyFile $VK --provingKeyFile $PK
+if [[ $? != 0 ]]; then
+    echo "Key-generation Failed!" 1>&3
+    exit 3
+fi
+
+echo "Generating Proof"
+time $snarky --prove --provingKeyFile $PK --inputFile $INPUT \
+        --witnessFile $WITNESS --proofFile $PROOF
+if [[ $? != 0 ]]; then
+    echo "Proof-generation Failed!" 1>&3
+    exit 4
+fi