plonk: set transcript hasher constants alpha, beta, ... to type const…

…. see PR #61
clearmatics · Oct 13, 2022 · cd512df · cd512df
1 parent 6e1dbdc
commit cd512df
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 18 deletions.
diff --git a/libsnark/zk_proof_systems/plonk/verifier.hpp b/libsnark/zk_proof_systems/plonk/verifier.hpp
@@ -73,19 +73,19 @@ template<typename ppT> struct verifier_preprocessed_input_t {
 
 /// Verifier step 4 output
 template<typename ppT> struct step_four_out_t {
-    libff::Fr<ppT> beta;
-    libff::Fr<ppT> gamma;
-    libff::Fr<ppT> alpha;
-    libff::Fr<ppT> zeta;
-    libff::Fr<ppT> nu;
-    libff::Fr<ppT> u;
+    const libff::Fr<ppT> beta;
+    const libff::Fr<ppT> gamma;
+    const libff::Fr<ppT> alpha;
+    const libff::Fr<ppT> zeta;
+    const libff::Fr<ppT> nu;
+    const libff::Fr<ppT> u;
     step_four_out_t(
-        libff::Fr<ppT> &beta,
-        libff::Fr<ppT> &gamma,
-        libff::Fr<ppT> &alpha,
-        libff::Fr<ppT> &zeta,
-        libff::Fr<ppT> &nu,
-        libff::Fr<ppT> &u);
+        const libff::Fr<ppT> &beta,
+        const libff::Fr<ppT> &gamma,
+        const libff::Fr<ppT> &alpha,
+        const libff::Fr<ppT> &zeta,
+        const libff::Fr<ppT> &nu,
+        const libff::Fr<ppT> &u);
 };
 
 /// Verifier step 5 output

diff --git a/libsnark/zk_proof_systems/plonk/verifier.tcc b/libsnark/zk_proof_systems/plonk/verifier.tcc
@@ -59,12 +59,12 @@ template<typename ppT> void plonk_verifier<ppT>::step_three(const srs<ppT> &srs)
 
 template<typename ppT>
 step_four_out_t<ppT>::step_four_out_t(
-    libff::Fr<ppT> &beta,
-    libff::Fr<ppT> &gamma,
-    libff::Fr<ppT> &alpha,
-    libff::Fr<ppT> &zeta,
-    libff::Fr<ppT> &nu,
-    libff::Fr<ppT> &u)
+    const libff::Fr<ppT> &beta,
+    const libff::Fr<ppT> &gamma,
+    const libff::Fr<ppT> &alpha,
+    const libff::Fr<ppT> &zeta,
+    const libff::Fr<ppT> &nu,
+    const libff::Fr<ppT> &u)
     : beta(beta), gamma(gamma), alpha(alpha), zeta(zeta), nu(nu), u(u)
 {
 }