From be403a44d5e2a73bc113bb2936bce78d341142c1 Mon Sep 17 00:00:00 2001
From: zac-williamson <blorktronics@gmail.com>
Date: Wed, 21 Feb 2024 15:46:00 +0000
Subject: [PATCH] proof system tests fix

---
 .../circuit_builder/ultra_circuit_builder.cpp             | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.cpp b/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.cpp
index d0d5b605dfe..dd109fc4851 100644
--- a/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.cpp
+++ b/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.cpp
@@ -3418,10 +3418,10 @@ template <typename Arithmetization> bool UltraCircuitBuilder_<Arithmetization>::
 
         // If we are touching a gate with memory access, we need to update the value of the 4th witness
         if (memory_read_record_gates.contains(i)) {
-            w_4_value = ((w_3_value * eta + w_2_value) * eta + w_1_value) * eta;
+            w_4_value = w_3_value * eta_three + w_2_value * eta_two + w_1_value * eta;
         }
         if (memory_write_record_gates.contains(i)) {
-            w_4_value = ((w_3_value * eta + w_2_value) * eta + w_1_value) * eta + FF::one();
+            w_4_value = w_3_value * eta_three + w_2_value * eta_two + w_1_value * eta + FF::one();
         }
         // Now we can update the tag product for w_4
         update_tag_check_information((uint32_t)w_4_index, w_4_value);
@@ -3441,11 +3441,11 @@ template <typename Arithmetization> bool UltraCircuitBuilder_<Arithmetization>::
             w_4_shifted_value = FF::zero();
         }
         if (memory_read_record_gates.contains(i + 1)) {
-            w_4_shifted_value = ((w_3_shifted_value * eta + w_2_shifted_value) * eta + w_1_shifted_value) * eta;
+            w_4_shifted_value = w_3_shifted_value * eta_three + w_2_shifted_value * eta_two + w_1_shifted_value * eta;
         }
         if (memory_write_record_gates.contains(i + 1)) {
             w_4_shifted_value =
-                ((w_3_shifted_value * eta + w_2_shifted_value) * eta + w_1_shifted_value) * eta + FF::one();
+                w_3_shifted_value * eta_three + w_2_shifted_value * eta_two + w_1_shifted_value * eta + FF::one();
         }
         if (!compute_arithmetic_identity(q_arith_value,
                                          q_1_value,