From 640997639a716459289453fdf1ffd296f46da56e Mon Sep 17 00:00:00 2001 From: Daniel Lubarov Date: Mon, 15 Nov 2021 10:10:19 -0800 Subject: [PATCH] Rename z_gz -> z_gx (#359) Elsewhere we refer to the point we're evaluating at as `x` --- src/plonk/vanishing_poly.rs | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/plonk/vanishing_poly.rs b/src/plonk/vanishing_poly.rs index ef322c9f..58820725 100644 --- a/src/plonk/vanishing_poly.rs +++ b/src/plonk/vanishing_poly.rs @@ -42,7 +42,7 @@ pub(crate) fn eval_vanishing_poly, const D: usize>( for i in 0..common_data.config.num_challenges { let z_x = local_zs[i]; - let z_gz = next_zs[i]; + let z_gx = next_zs[i]; vanishing_z_1_terms.push(l1_x * (z_x - F::Extension::ONE)); let numerator_values = (0..common_data.config.num_routed_wires) @@ -69,7 +69,7 @@ pub(crate) fn eval_vanishing_poly, const D: usize>( &denominator_values, current_partial_products, z_x, - z_gz, + z_gx, max_degree, ); vanishing_partial_products_terms.extend(partial_product_checks); @@ -145,7 +145,7 @@ pub(crate) fn eval_vanishing_poly_base_batch, const let l1_x = z_h_on_coset.eval_l1(index, x); for i in 0..num_challenges { let z_x = local_zs[i]; - let z_gz = next_zs[i]; + let z_gx = next_zs[i]; vanishing_z_1_terms.push(l1_x * z_x.sub_one()); numerator_values.extend((0..num_routed_wires).map(|j| { @@ -168,7 +168,7 @@ pub(crate) fn eval_vanishing_poly_base_batch, const &denominator_values, current_partial_products, z_x, - z_gz, + z_gx, max_degree, ); vanishing_partial_products_terms.extend(partial_product_checks); @@ -320,7 +320,7 @@ pub(crate) fn eval_vanishing_poly_recursively, cons for i in 0..common_data.config.num_challenges { let z_x = local_zs[i]; - let z_gz = next_zs[i]; + let z_gx = next_zs[i]; // L_1(x) Z(x) = 0. vanishing_z_1_terms.push(builder.mul_sub_extension(l1_x, z_x, l1_x)); @@ -352,7 +352,7 @@ pub(crate) fn eval_vanishing_poly_recursively, cons &denominator_values, current_partial_products, z_x, - z_gz, + z_gx, max_degree, ); vanishing_partial_products_terms.extend(partial_product_checks);