From 37730c3b9fc987c31165c0c7205a5f1bf161a847 Mon Sep 17 00:00:00 2001 From: xevisalle Date: Tue, 30 Jul 2024 15:29:23 +0200 Subject: [PATCH] Rename blinders --- src/compiler/prover.rs | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/src/compiler/prover.rs b/src/compiler/prover.rs index 42e665f9..ee41ea30 100644 --- a/src/compiler/prover.rs +++ b/src/compiler/prover.rs @@ -359,23 +359,23 @@ impl Prover { let mut t_fourth_vec = t_poly[3 * domain_size..].to_vec(); // select 3 blinding factors for the quotient splitted polynomials - let b_10 = BlsScalar::random(&mut *rng); - let b_11 = BlsScalar::random(&mut *rng); let b_12 = BlsScalar::random(&mut *rng); + let b_13 = BlsScalar::random(&mut *rng); + let b_14 = BlsScalar::random(&mut *rng); - // t_low'(X) + b_10*X^n - t_low_vec.push(b_10); + // t_low'(X) + b_12*X^n + t_low_vec.push(b_12); - // t_mid'(X) - b_10 + b_11*X^n - t_mid_vec[0] -= b_10; - t_mid_vec.push(b_11); + // t_mid'(X) - b_12 + b_13*X^n + t_mid_vec[0] -= b_12; + t_mid_vec.push(b_13); - // t_high'(X) - b_11 + b_12*X^n - t_high_vec[0] -= b_11; - t_high_vec.push(b_12); + // t_high'(X) - b_12 + b_13*X^n + t_high_vec[0] -= b_12; + t_high_vec.push(b_13); - // t_fourth'(X) - b_12 - t_fourth_vec[0] -= b_12; + // t_fourth'(X) - b_14 + t_fourth_vec[0] -= b_14; let t_low_poly = Polynomial::from_coefficients_vec(t_low_vec); let t_mid_poly = Polynomial::from_coefficients_vec(t_mid_vec);