diff --git a/src/proof_system/prover.rs b/src/proof_system/prover.rs index 7a536a9d..54755716 100644 --- a/src/proof_system/prover.rs +++ b/src/proof_system/prover.rs @@ -149,8 +149,8 @@ impl Prover { /// Adds the blinding scalars to a given vector. Always the same elements /// of 'w_vec' are modified at the beginning of it, and appended at the end: - /// if hiding degree = 1: (b2*X(n+1) + b1*X^n - b2*X - b1) + w_vec - /// if hiding degree = 2: (b3*X^(n+2) + b2*X(n+1) + b1*X^n - b3*X^2 - b2*X + /// if hiding degree = 1: (b2*X^(n+1) + b1*X^n - b2*X - b1) + w_vec + /// if hiding degree = 2: (b3*X^(n+2) + b2*X^(n+1) + b1*X^n - b3*X^2 - b2*X /// - b1) + w_vec pub(crate) fn blind_poly( w_vec: &Vec,