First commit. Doesn't yet work :)

Author: coder5876

.gitignore

@@ -0,0 +1,6 @@
+test
+*.o
+*.d
+depinst
+depsrc
+

Makefile

@@ -0,0 +1,17 @@
+OPTFLAGS = -march=native -mtune=native -O2
+CXXFLAGS += -g -Wall -Wextra -Wno-unused-parameter -std=c++11 -fPIC -Wno-unused-variable
+CXXFLAGS += -I $(DEPINST)/include -I $(DEPINST)/include/libsnark -DUSE_ASM -DCURVE_ALT_BN128
+LDFLAGS += -flto
+
+DEPSRC=depsrc
+DEPINST=depinst
+
+LDLIBS += -L $(DEPINST)/lib -Wl,-rpath $(DEPINST)/lib -L . -lsnark -lgmpxx -lgmp
+LDLIBS += -lboost_system
+
+all:
+	$(CXX) -o test.o src/test.cpp -c $(CXXFLAGS)
+	$(CXX) -o test test.o $(CXXFLAGS) $(LDFLAGS) $(LDLIBS)
+
+clean:
+	$(RM) test.o test

get-libsnark

@@ -0,0 +1,41 @@
+#!/bin/bash
+# To pass options options to libsnark Makefile, put them in env var LIBSNARK_FLAGS.
+# To clone libsnark from an alternate location, set env var LIBSNARK_SRC. For example:
+#  LIBSNARK_SRC="$HOME/libsnark.git --branch master" ./get-libsnark
+# To use curve ALT_BN128 instead of BN128 (which is x64-only), use:
+#  CURVE=ALT_BN128 ./get-libsnark
+
+set -e
+
+LIBSNARK_SRC=${LIBSNARK_SRC:-https://github.com/scipr-lab/libsnark}
+
+CURVE=${CURVE:-BN128}
+
+LIBSNARK_FLAGS="$LIBSNARK_FLAGS NO_SUPERCOP=1 NO_GTEST=1 NO_DOCS=1 CURVE=$CURVE"
+if [[ `uname -s` == "Darwin" ]]; then
+    LIBSNARK_FLAGS="$LIBSNARK_FLAGS NO_PROCPS=1"
+fi
+
+set -x
+
+DEPSRC=./depsrc
+DEPINST=./depinst
+
+mkdir -p $DEPINST
+DEPINST=`pwd -P`/$DEPINST  # remember absolute path
+
+mkdir -p $DEPSRC
+cd $DEPSRC
+
+# We use a specific snapshot of libsnark for now
+# later we should update to a CMake build
+[ ! -d libsnark ] && git clone $LIBSNARK_SRC libsnark
+cd libsnark
+git checkout 99210024784497c6fc7e1d3c485e45c8bba46b2c
+if [ "$CURVE" == "BN128" ]; then
+    # TODO: submit -fPIC patch to ate-pairing
+    INC_DIR=-fPIC ./prepare-depends.sh
+fi
+make clean
+make lib $LIBSNARK_FLAGS
+make install PREFIX=$DEPINST $LIBSNARK_FLAGS

src/test.cpp

@@ -0,0 +1,95 @@
+#include <stdlib.h>
+#include <iostream>
+#include <boost/optional/optional_io.hpp>
+
+#include "algebra/fields/field_utils.hpp"
+#include "libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp"
+#include "libsnark/common/default_types/r1cs_ppzksnark_pp.hpp"
+#include "libsnark/common/utils.hpp"
+#include "libsnark/gadgetlib1/pb_variable.hpp"
+
+
+using namespace libsnark;
+using namespace std;
+
+int main()
+{
+
+  typedef Fr<default_r1cs_ppzksnark_pp> FieldT;
+  
+  // Create protoboard
+
+  protoboard<FieldT> pb;
+
+  // Define variables
+
+  pb_variable<FieldT> x;
+  pb_variable<FieldT> out;
+  pb_variable<FieldT> sym_1;
+  pb_variable<FieldT> y;
+  pb_variable<FieldT> sym_2;
+
+  // Allocate variables to protoboard
+  // The strings (like "x") are only for debugging purposes
+  
+  x.allocate(pb, "x");
+  out.allocate(pb, "out");
+  sym_1.allocate(pb, "sym_1");
+  y.allocate(pb, "y");
+  sym_2.allocate(pb, "sym_2");
+
+  // Add R1CS constraints to protoboard
+
+  // x*x = sym_1
+  pb.add_r1cs_constraint(r1cs_constraint<FieldT>(x, x, sym_1));
+
+  // sym_1 * x = y
+  pb.add_r1cs_constraint(r1cs_constraint<FieldT>(sym_1, x, y));
+
+  // y + x = sym_2
+  pb.add_r1cs_constraint(r1cs_constraint<FieldT>(y + x, 1, sym_2));
+
+  // sym_2 + 5 = ~out
+  pb.add_r1cs_constraint(r1cs_constraint<FieldT>(sym_2 + 5, 1, out));
+  
+  // Add witness values
+
+  pb.val(x) = 3;
+  pb.val(out) = 35;
+  pb.val(sym_1) = 9;
+  pb.val(y) = 27;
+  pb.val(sym_2) = 30;
+
+
+  if (pb.is_satisfied()) {
+    cout << "Constraint system is satisfied." << endl;
+  }
+  else {
+    cout << "Constraint system is not satisfied." << endl;
+  }
+
+  // This is not working for some reason
+  cout << "Value of x: " << pb.val(x) << endl;
+
+  const r1cs_constraint_system<FieldT> constraint_system = pb.get_constraint_system();
+  
+  cout << "Number of R1CS constraints: " << constraint_system.num_constraints() << endl;
+  cout << "Number of variables: " << pb.num_variables() << endl;
+
+  // Initialize the curve parameters.
+  default_r1cs_ppzksnark_pp::init_public_params();
+
+  r1cs_ppzksnark_keypair<default_r1cs_ppzksnark_pp> keypair = r1cs_ppzksnark_generator<default_r1cs_ppzksnark_pp>(constraint_system);
+
+  r1cs_ppzksnark_proof<default_r1cs_ppzksnark_pp> proof = r1cs_ppzksnark_prover<default_r1cs_ppzksnark_pp>(keypair.pk, pb.primary_input(), pb.auxiliary_input());
+  
+  vector<FieldT> empty;
+
+  bool verified = r1cs_ppzksnark_verifier_strong_IC<default_r1cs_ppzksnark_pp>(keypair.vk, empty, proof);
+
+  cout << "Verification status: " << verified << endl;
+
+  cout << "made it here" << endl;
+
+  return 0;
+}