Rename blinders

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);