diff --git a/.gitignore b/.gitignore
index 1cfc1b2a..927f17cd 100644
--- a/.gitignore
+++ b/.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
diff --git a/libsnark/CMakeLists.txt b/libsnark/CMakeLists.txt
index 2e127940..d15147df 100644
--- a/libsnark/CMakeLists.txt
+++ b/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
diff --git a/libsnark/common/default_types/r1cs_gg_ppzksnark_zok_pp.hpp b/libsnark/common/default_types/r1cs_gg_ppzksnark_zok_pp.hpp
new file mode 100644
index 00000000..023ab4a5
--- /dev/null
+++ b/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_
diff --git a/libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark_zok/r1cs_gg_ppzksnark_zok.hpp b/libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark_zok/r1cs_gg_ppzksnark_zok.hpp
index 32df9e49..5b3c662e 100644
--- a/libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark_zok/r1cs_gg_ppzksnark_zok.hpp
+++ b/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;
 
diff --git a/libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark_zok/tests/test_r1cs_gg_zok_ppzksnark.cpp b/libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark_zok/tests/test_r1cs_gg_ppzksnark_zok.cpp
similarity index 100%
rename from libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark_zok/tests/test_r1cs_gg_zok_ppzksnark.cpp
rename to libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark_zok/tests/test_r1cs_gg_ppzksnark_zok.cpp