[BASE] Plonk

.gitignore

@@ -50,3 +50,5 @@ libsnark/zk_proof_systems/zksnark/ram_zksnark/tests/test_ram_zksnark
 
 build
 *~
+TAGS
+.dir-locals.el

CMakeLists.txt

@@ -25,7 +25,7 @@ set(
   "BN128"
   CACHE
   STRING
-  "Default curve: one of ALT_BN128, BN128, EDWARDS, MNT4, MNT6"
+  "Default curve: one of ALT_BN128, BN128, EDWARDS, MNT4, MNT6, BW6_761, BLS12_377, BLS12_381"
 )
 
 option(

libsnark/CMakeLists.txt

@@ -205,6 +205,7 @@ if ("${IS_LIBSNARK_PARENT}")
   libsnark_test(test_r1cs_ppzksnark_verifier_gadget gadgetlib1/tests/test_r1cs_ppzksnark_verifier_gadget.cpp)
   libsnark_test(test_r1cs_gg_ppzksnark_verifier_gadget gadgetlib1/tests/test_r1cs_gg_ppzksnark_verifier_gadget.cpp)
   libsnark_test(test_kzg10_verifier_gadget gadgetlib1/tests/test_kzg10_verifier_gadget.cpp)
+  libsnark_test(test_plonk zk_proof_systems/plonk/tests/example.cpp zk_proof_systems/plonk/tests/bls12_381_test_vector_transcript_hasher.cpp zk_proof_systems/plonk/tests/test_plonk.cpp)
 
   # TODO (howardwu): Resolve runtime on targets:
   # libsnark_test(zk_proof_systems_uscs_ppzksnark_test zk_proof_systems/ppzksnark/uscs_ppzksnark/tests/test_uscs_ppzksnark.cpp)

libsnark/common/data_structures/polynomial.hpp

@@ -9,6 +9,8 @@
 #ifndef __LIBSNARK_COMMON_DATA_STRUCTURES_POLYNOMIAL_HPP__
 #define __LIBSNARK_COMMON_DATA_STRUCTURES_POLYNOMIAL_HPP__
 
+#include <vector>
+
 namespace libsnark
 {
 

libsnark/transcript_hasher/transcript_hasher.hpp

@@ -0,0 +1,32 @@
+/** @file
+ *****************************************************************************
+ * @author     This file is part of libff, developed by Clearmatics Ltd
+ *             (originally developed by SCIPR Lab) and contributors
+ *             (see AUTHORS).
+ * @copyright  MIT license (see LICENSE file)
+ *****************************************************************************/
+
+#ifndef LIBSNARK_TRANSCRIPT_HASHER_TRANSCRIPT_HASHER_HPP_
+#define LIBSNARK_TRANSCRIPT_HASHER_TRANSCRIPT_HASHER_HPP_
+
+// // interface for a common transcript_hasher class used to implement
+// // functionality for hashing the communication transcript in ZK proof
+// // systems under ./zk_proof_systems
+// template<typename ppT> class transcript_hasher
+// {
+// public:
+//     transcript_hasher();
+//
+//     // add an Fr element to the transcript buffer for hashing
+//     void add_element(const libff::Fr<ppT> &element);
+//     // add the coordinates of a G1 curve point to the transcript buffer for
+//     // hashing
+//     void add_element(const libff::G1<ppT> &element);
+//     // add the coordinates of a G2 curve point to the transcript buffer for
+//     // hashing
+//     void add_element(const libff::G2<ppT> &element);
+//     // return the hash value of the communication transcript
+//     libff::Fr<ppT> get_hash();
+// };
+
+#endif // LIBSNARK_ZK_PROOF_SYSTEMS_PLONK_SRS_HPP_