From cd512df3bdf2c8de4bc1559d84505f72ccd7b202 Mon Sep 17 00:00:00 2001
From: Vesselin Velichkov <vesselin@lancre>
Date: Thu, 8 Sep 2022 14:45:00 +0100
Subject: [PATCH] plonk: set transcript hasher constants alpha, beta, ... to
 type const. see PR #61

---
 libsnark/zk_proof_systems/plonk/verifier.hpp | 24 ++++++++++----------
 libsnark/zk_proof_systems/plonk/verifier.tcc | 12 +++++-----
 2 files changed, 18 insertions(+), 18 deletions(-)

diff --git a/libsnark/zk_proof_systems/plonk/verifier.hpp b/libsnark/zk_proof_systems/plonk/verifier.hpp
index cae73f192..c1645627b 100644
--- 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
index 1b23eeca2..134311749 100644
--- 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)
 {
 }