diff --git a/barretenberg/cpp/src/barretenberg/dsl/acir_format/gate_count_constants.hpp b/barretenberg/cpp/src/barretenberg/dsl/acir_format/gate_count_constants.hpp
index d567db14dd45..26c9d557473e 100644
--- a/barretenberg/cpp/src/barretenberg/dsl/acir_format/gate_count_constants.hpp
+++ b/barretenberg/cpp/src/barretenberg/dsl/acir_format/gate_count_constants.hpp
@@ -113,7 +113,7 @@ constexpr std::tuple<size_t, size_t> HONK_RECURSION_CONSTANTS(
 // ========================================
 
 // Gate count for Chonk recursive verification (Ultra with RollupIO)
-inline constexpr size_t CHONK_RECURSION_GATES = 1685107;
+inline constexpr size_t CHONK_RECURSION_GATES = 1685112;
 
 // ========================================
 // Hypernova Recursion Constants
@@ -147,7 +147,7 @@ inline constexpr size_t HIDING_KERNEL_ULTRA_OPS = 124;
 // ========================================
 
 // Gate count for ECCVM recursive verifier (Ultra-arithmetized)
-inline constexpr size_t ECCVM_RECURSIVE_VERIFIER_GATE_COUNT = 224702;
+inline constexpr size_t ECCVM_RECURSIVE_VERIFIER_GATE_COUNT = 224707;
 
 // ========================================
 // Goblin AVM Recursive Verifier Constants
diff --git a/barretenberg/cpp/src/barretenberg/relations/ecc_vm/ecc_set_relation_impl.hpp b/barretenberg/cpp/src/barretenberg/relations/ecc_vm/ecc_set_relation_impl.hpp
index 107c9230b673..980b5230c9f4 100644
--- a/barretenberg/cpp/src/barretenberg/relations/ecc_vm/ecc_set_relation_impl.hpp
+++ b/barretenberg/cpp/src/barretenberg/relations/ecc_vm/ecc_set_relation_impl.hpp
@@ -392,7 +392,7 @@ Accumulator ECCVMSetRelationImpl<FF>::compute_grand_product_denominator(const Al
 
         auto transcript_input1 = transcript_pc + transcript_Px * beta + transcript_Py * beta_sqr + z1 * beta_cube +
                                  second_term_tag; // degree = 1
-        auto transcript_input2 = (transcript_pc - 1) + transcript_Px * cube_root_unity * beta -
+        auto transcript_input2 = (transcript_pc - lookup_first) + transcript_Px * cube_root_unity * beta -
                                  transcript_Py * beta_sqr + z2 * beta_cube + second_term_tag; // degree = 2
 
         // The following diagram expresses a fingerprint of part of the tuple. It does not include `transcript_pc` and