rename sumcheck A,B,C,D -> eq,A,B,C

a16z · Jul 19, 2024 · 829aa49 · 829aa49
1 parent cc5598c
commit 829aa49
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/jolt-core/src/subprotocols/sumcheck.rs b/jolt-core/src/subprotocols/sumcheck.rs
@@ -215,27 +215,27 @@ impl<F: JoltField> SumcheckInstanceProof<F> {
                     let m_C = c_high - c_low;
 
                     // eval 2
-                    let poly_A_bound_point = poly_eq[dense_index + 1] + m_eq;
-                    let poly_B_bound_point = a_high + m_A;
-                    let poly_C_bound_point = b_high + m_B;
-                    let poly_D_bound_point = c_high + m_C;
+                    let poly_eq_bound_point = poly_eq[dense_index + 1] + m_eq;
+                    let poly_A_bound_point = a_high + m_A;
+                    let poly_B_bound_point = b_high + m_B;
+                    let poly_C_bound_point = c_high + m_C;
                     eval_point_2 += comb_func(
+                        &poly_eq_bound_point,
                         &poly_A_bound_point,
                         &poly_B_bound_point,
                         &poly_C_bound_point,
-                        &poly_D_bound_point,
                     );
 
                     // eval 3
-                    let poly_A_bound_point = poly_A_bound_point + m_eq;
-                    let poly_B_bound_point = poly_B_bound_point + m_A;
-                    let poly_C_bound_point = poly_C_bound_point + m_B;
-                    let poly_D_bound_point = poly_D_bound_point + m_C;
+                    let poly_eq_bound_point = poly_eq_bound_point + m_eq;
+                    let poly_A_bound_point = poly_A_bound_point + m_A;
+                    let poly_B_bound_point = poly_B_bound_point + m_B;
+                    let poly_C_bound_point = poly_C_bound_point + m_C;
                     eval_point_3 += comb_func(
+                        &poly_eq_bound_point,
                         &poly_A_bound_point,
                         &poly_B_bound_point,
                         &poly_C_bound_point,
-                        &poly_D_bound_point,
                     );
                 }
                 (eval_point_0, eval_point_2, eval_point_3)