r1cs_gg_ppzksnark_zok_processed_verification_key fix

.gitignore

@@ -33,6 +33,8 @@ libsnark/zk_proof_systems/ppzksnark/bacs_ppzksnark/profiling/profile_bacs_ppzksn
 libsnark/zk_proof_systems/ppzksnark/bacs_ppzksnark/tests/test_bacs_ppzksnark
 libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark/profiling/profile_r1cs_gg_ppzksnark
 libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark/tests/test_r1cs_gg_ppzksnark
+libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark_zok/profiling/profile_r1cs_gg_ppzksnark_zok
+libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark_zok/tests/test_r1cs_gg_ppzksnark_zok
 libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/profiling/profile_r1cs_ppzksnark
 libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/tests/test_r1cs_ppzksnark
 libsnark/zk_proof_systems/ppzksnark/ram_ppzksnark/examples/demo_ram_ppzksnark

libsnark/CMakeLists.txt

@@ -286,6 +286,17 @@ target_link_libraries(
   snark
 )
 
+add_executable(profile_r1cs_gg_ppzksnark_zok
+  EXCLUDE_FROM_ALL
+
+  zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark_zok/profiling/profile_r1cs_gg_ppzksnark_zok.cpp
+)
+target_link_libraries(
+  profile_r1cs_gg_ppzksnark_zok
+
+  snark
+)
+
 add_executable(
   profile_ram_ppzksnark
   EXCLUDE_FROM_ALL
@@ -580,6 +591,18 @@ target_link_libraries(
   snark
 )
 
+add_executable(
+  zk_proof_systems_r1cs_gg_ppzksnark_zok_test
+  EXCLUDE_FROM_ALL
+
+  zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark_zok/tests/test_r1cs_gg_ppzksnark_zok.cpp
+)
+target_link_libraries(
+  zk_proof_systems_r1cs_gg_ppzksnark_zok_test
+
+  snark
+)
+
 add_executable(
   zk_proof_systems_ram_ppzksnark_test
   EXCLUDE_FROM_ALL

libsnark/common/default_types/r1cs_gg_ppzksnark_zok_pp.hpp

@@ -0,0 +1,22 @@
+/** @file
+ *****************************************************************************
+
+ This file defines default_r1cs_gg_ppzksnark_zok_pp based on the elliptic curve
+ choice selected in ec_pp.hpp.
+
+ *****************************************************************************
+ * @author     This file is part of libsnark, developed by SCIPR Lab
+ *             and contributors (see AUTHORS).
+ * @copyright  MIT license (see LICENSE file)
+ *****************************************************************************/
+
+#ifndef R1CS_GG_PPZKSNARK_ZOK_PP_HPP_
+#define R1CS_GG_PPZKSNARK_ZOK_PP_HPP_
+
+#include <libff/common/default_types/ec_pp.hpp>
+
+namespace libsnark {
+typedef libff::default_ec_pp default_r1cs_gg_ppzksnark_zok_pp;
+} // libsnark
+
+#endif // R1CS_GG_PPZKSNARK_ZOK_PP_HPP_

libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark_zok/r1cs_gg_ppzksnark_zok.hpp

@@ -245,7 +245,8 @@ std::istream& operator>>(std::istream &in, r1cs_gg_ppzksnark_zok_processed_verif
 template<typename ppT>
 class r1cs_gg_ppzksnark_zok_processed_verification_key {
 public:
-    libff::GT<ppT> vk_alpha_g1;
+    libff::G1<ppT> vk_alpha_g1;
+    libff::G2<ppT> vk_beta_g2;
     libff::G2_precomp<ppT> vk_gamma_g2_precomp;
     libff::G2_precomp<ppT> vk_delta_g2_precomp;