plonk: renamed example.tcc to example.cpp. added example.cpp and bls12_381_test_vector_transcript_hasher.cpp to CMakeLists.txt. added several headers to fix compilation errors.

Author: Vesselin Velichkov

libsnark/CMakeLists.txt

@@ -205,7 +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/test_plonk.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/zk_proof_systems/plonk/circuit.hpp

@@ -11,6 +11,8 @@
 
 #include "libsnark/zk_proof_systems/plonk/utils.hpp"
 
+#include <libff/algebra/curves/public_params.hpp>
+
 /// Declaration of Common Preprocessed Input data structures for a
 /// specific arithmetic circuit.
 ///

libsnark/zk_proof_systems/plonk/tests/bls12_381_test_vector_transcript_hasher.cpp

@@ -9,6 +9,8 @@
 #ifndef LIBSNARK_ZK_PROOF_SYSTEMS_PLONK_TESTS_BLS12_381_TEST_VECTOR_TRANSCRIPT_HASHER_CPP_
 #define LIBSNARK_ZK_PROOF_SYSTEMS_PLONK_TESTS_BLS12_381_TEST_VECTOR_TRANSCRIPT_HASHER_CPP_
 
+#include "libsnark/zk_proof_systems/plonk/tests/bls12_381_test_vector_transcript_hasher.hpp"
+
 // Implementation of the transcript hasher interface specific to the BLS12-381
 // curve. See bls12_381_test_vector_transcript_hasher.hpp
 namespace libsnark

libsnark/zk_proof_systems/plonk/tests/bls12_381_test_vector_transcript_hasher.hpp

@@ -9,6 +9,10 @@
 #ifndef LIBSNARK_ZK_PROOF_SYSTEMS_PLONK_TESTS_BLS12_381_TEST_VECTOR_TRANSCRIPT_HASHER_HPP_
 #define LIBSNARK_ZK_PROOF_SYSTEMS_PLONK_TESTS_BLS12_381_TEST_VECTOR_TRANSCRIPT_HASHER_HPP_
 
+#include "libsnark/zk_proof_systems/plonk/utils.hpp"
+
+#include <array>
+
 namespace libsnark
 {
 
@@ -118,6 +122,4 @@ class bls12_381_test_vector_transcript_hasher
 
 } // namespace libsnark
 
-#include "libsnark/zk_proof_systems/plonk/tests/bls12_381_test_vector_transcript_hasher.cpp"
-
 #endif // LIBSNARK_ZK_PROOF_SYSTEMS_PLONK_TESTS_BLS12_381_TEST_VECTOR_TRANSCRIPT_HASHER_HPP_

…zk_proof_systems/plonk/tests/example.tcc …zk_proof_systems/plonk/tests/example.cpplibsnark/zk_proof_systems/plonk/tests/example.tcc renamed to libsnark/zk_proof_systems/plonk/tests/example.cpp libsnark/zk_proof_systems/plonk/tests/example.tcc renamed to libsnark/zk_proof_systems/plonk/tests/example.cpp

@@ -10,6 +10,7 @@
 
 // Instantiation of the test vector values from the Python implementation
 // of the Plonk protocol. \see example.hpp .
+#include "libsnark/zk_proof_systems/plonk/tests/example.hpp"
 
 namespace libsnark
 {

libsnark/zk_proof_systems/plonk/tests/example.hpp

@@ -31,8 +31,6 @@
 #include "libsnark/zk_proof_systems/plonk/circuit.hpp"
 
 #include <libff/algebra/curves/bls12_381/bls12_381_pp.hpp>
-#include <libff/algebra/scalar_multiplication/multiexp.hpp>
-#include <libfqfft/evaluation_domain/get_evaluation_domain.hpp>
 #include <libfqfft/polynomial_arithmetic/naive_evaluate.hpp>
 
 namespace libsnark
@@ -307,6 +305,4 @@ class plonk_example
 
 } // namespace libsnark
 
-#include <libsnark/zk_proof_systems/plonk/tests/example.tcc>
-
 #endif // LIBSNARK_ZK_PROOF_SYSTEMS_PLONK_TESTS_EXAMPLE_HPP_

libsnark/zk_proof_systems/plonk/utils.hpp

@@ -12,6 +12,8 @@
 #include "libsnark/zk_proof_systems/plonk/tests/example.hpp"
 
 #include <libff/algebra/curves/public_params.hpp>
+#include <libff/algebra/scalar_multiplication/multiexp.hpp>
+#include <libfqfft/evaluation_domain/get_evaluation_domain.hpp>
 #include <memory>
 
 // enable debug checks. in particular enable comparisons to test