Use new name for the BDLO12 multiexp method.

The method was renamed in libff.

Author: aleksejspopovs

libsnark/zk_proof_systems/ppzkadsnark/r1cs_ppzkadsnark/r1cs_ppzkadsnark.tcc

@@ -754,7 +754,7 @@ r1cs_ppzkadsnark_proof<ppT> r1cs_ppzkadsnark_prover(const r1cs_ppzkadsnark_provi
     libff::enter_block("Compute answer to H-query", false);
     g_H = g_H + libff::multi_exp<libff::G1<snark_pp<ppT>>,
                                  libff::Fr<snark_pp<ppT>>,
-                                 libff::multi_exp_method_djb>(
+                                 libff::multi_exp_method_BDLO12>(
         pk.H_query.begin(),
         pk.H_query.begin()+qap_wit.degree()+1,
         qap_wit.coefficients_for_H.begin(),

libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark/r1cs_gg_ppzksnark.tcc

@@ -441,7 +441,7 @@ r1cs_gg_ppzksnark_proof<ppT> r1cs_gg_ppzksnark_prover(const r1cs_gg_ppzksnark_pr
 
     libff::G1<ppT> evaluation_At = libff::multi_exp_with_mixed_addition<libff::G1<ppT>,
                                                                         libff::Fr<ppT>,
-                                                                        libff::multi_exp_method_djb>(
+                                                                        libff::multi_exp_method_BDLO12>(
         pk.A_query.begin(),
         pk.A_query.begin() + qap_wit.num_variables() + 1,
         const_padded_assignment.begin(),
@@ -453,7 +453,7 @@ r1cs_gg_ppzksnark_proof<ppT> r1cs_gg_ppzksnark_prover(const r1cs_gg_ppzksnark_pr
     knowledge_commitment<libff::G2<ppT>, libff::G1<ppT> > evaluation_Bt = kc_multi_exp_with_mixed_addition<libff::G2<ppT>,
                                                                                                            libff::G1<ppT>,
                                                                                                            libff::Fr<ppT>,
-                                                                                                           libff::multi_exp_method_djb>(
+                                                                                                           libff::multi_exp_method_BDLO12>(
         pk.B_query,
         0,
         qap_wit.num_variables() + 1,
@@ -465,7 +465,7 @@ r1cs_gg_ppzksnark_proof<ppT> r1cs_gg_ppzksnark_prover(const r1cs_gg_ppzksnark_pr
     libff::enter_block("Compute evaluation to H-query", false);
     libff::G1<ppT> evaluation_Ht = libff::multi_exp<libff::G1<ppT>,
                                                     libff::Fr<ppT>,
-                                                    libff::multi_exp_method_djb>(
+                                                    libff::multi_exp_method_BDLO12>(
         pk.H_query.begin(),
         pk.H_query.begin() + (qap_wit.degree() - 1),
         qap_wit.coefficients_for_H.begin(),
@@ -476,7 +476,7 @@ r1cs_gg_ppzksnark_proof<ppT> r1cs_gg_ppzksnark_prover(const r1cs_gg_ppzksnark_pr
     libff::enter_block("Compute evaluation to L-query", false);
     libff::G1<ppT> evaluation_Lt = libff::multi_exp_with_mixed_addition<libff::G1<ppT>,
                                                                         libff::Fr<ppT>,
-                                                                        libff::multi_exp_method_djb>(
+                                                                        libff::multi_exp_method_BDLO12>(
         pk.L_query.begin(),
         pk.L_query.end(),
         const_padded_assignment.begin() + qap_wit.num_inputs() + 1,

libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.tcc

@@ -517,7 +517,7 @@ r1cs_ppzksnark_proof<ppT> r1cs_ppzksnark_prover(const r1cs_ppzksnark_proving_key
     libff::enter_block("Compute answer to H-query", false);
     g_H = g_H + libff::multi_exp<libff::G1<ppT>,
                                  libff::Fr<ppT>,
-                                 libff::multi_exp_method_djb>(
+                                 libff::multi_exp_method_BDLO12>(
         pk.H_query.begin(), pk.H_query.begin()+qap_wit.degree()+1,
         qap_wit.coefficients_for_H.begin(), qap_wit.coefficients_for_H.begin()+qap_wit.degree()+1,
         chunks);

libsnark/zk_proof_systems/ppzksnark/uscs_ppzksnark/uscs_ppzksnark.tcc

@@ -377,7 +377,7 @@ uscs_ppzksnark_proof<ppT> uscs_ppzksnark_prover(const uscs_ppzksnark_proving_key
     libff::enter_block("Compute V_g1, the 1st component of the proof", false);
     V_g1 = V_g1 + libff::multi_exp_with_mixed_addition<libff::G1<ppT>,
                                                        libff::Fr<ppT>,
-                                                       libff::multi_exp_method_djb>(
+                                                       libff::multi_exp_method_BDLO12>(
         pk.V_g1_query.begin(), pk.V_g1_query.begin()+(ssp_wit.num_variables()-ssp_wit.num_inputs()),
         ssp_wit.coefficients_for_Vs.begin()+ssp_wit.num_inputs(), ssp_wit.coefficients_for_Vs.begin()+ssp_wit.num_variables(),
         chunks);
@@ -386,7 +386,7 @@ uscs_ppzksnark_proof<ppT> uscs_ppzksnark_prover(const uscs_ppzksnark_proving_key
     libff::enter_block("Compute alpha_V_g1, the 2nd component of the proof", false);
     alpha_V_g1 = alpha_V_g1 + libff::multi_exp_with_mixed_addition<libff::G1<ppT>,
                                                                    libff::Fr<ppT>,
-                                                                   libff::multi_exp_method_djb>(
+                                                                   libff::multi_exp_method_BDLO12>(
         pk.alpha_V_g1_query.begin(), pk.alpha_V_g1_query.begin()+(ssp_wit.num_variables()-ssp_wit.num_inputs()),
         ssp_wit.coefficients_for_Vs.begin()+ssp_wit.num_inputs(), ssp_wit.coefficients_for_Vs.begin()+ssp_wit.num_variables(),
         chunks);
@@ -395,7 +395,7 @@ uscs_ppzksnark_proof<ppT> uscs_ppzksnark_prover(const uscs_ppzksnark_proving_key
     libff::enter_block("Compute H_g1, the 3rd component of the proof", false);
     H_g1 = H_g1 + libff::multi_exp<libff::G1<ppT>,
                                    libff::Fr<ppT>,
-                                   libff::multi_exp_method_djb>(
+                                   libff::multi_exp_method_BDLO12>(
         pk.H_g1_query.begin(), pk.H_g1_query.begin()+ssp_wit.degree()+1,
         ssp_wit.coefficients_for_H.begin(), ssp_wit.coefficients_for_H.begin()+ssp_wit.degree()+1,
         chunks);
@@ -404,7 +404,7 @@ uscs_ppzksnark_proof<ppT> uscs_ppzksnark_prover(const uscs_ppzksnark_proving_key
     libff::enter_block("Compute V_g2, the 4th component of the proof", false);
     V_g2 = V_g2 + libff::multi_exp<libff::G2<ppT>,
                                    libff::Fr<ppT>,
-                                   libff::multi_exp_method_djb>(
+                                   libff::multi_exp_method_BDLO12>(
         pk.V_g2_query.begin()+1, pk.V_g2_query.begin()+ssp_wit.num_variables()+1,
         ssp_wit.coefficients_for_Vs.begin(), ssp_wit.coefficients_for_Vs.begin()+ssp_wit.num_variables(),
         chunks);