From 238ad43d98bbb4703b945d7f523aa24e57489421 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Garillot?= Date: Sat, 10 Feb 2024 11:18:11 -0500 Subject: [PATCH] fix: remove misleading comment --- src/spartan/mod.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/spartan/mod.rs b/src/spartan/mod.rs index d3231fca8..3df202b1c 100644 --- a/src/spartan/mod.rs +++ b/src/spartan/mod.rs @@ -85,8 +85,7 @@ impl PolyEvalWitness { } /// Given a set of polynomials \[Pᵢ\] and a scalar `s`, this method computes the weighted sum - /// of the polynomials, where each polynomial Pᵢ is scaled by sⁱ. The method handles polynomials - /// of different sizes by padding smaller ones with zeroes up to the size of the largest polynomial. + /// of the polynomials, where each polynomial Pᵢ is scaled by sⁱ. /// /// # Panics /// @@ -94,6 +93,7 @@ impl PolyEvalWitness { fn batch(p_vec: &[&Vec], s: &E::Scalar) -> Self { p_vec .iter() + .skip(1) .for_each(|p| assert_eq!(p.len(), p_vec[0].len())); let powers_of_s = powers::(s, p_vec.len()); @@ -186,7 +186,7 @@ impl PolyEvalInstance { } } -/// Bounds "row" variables of (A, B, C) matrices viewed as 2d multilinear polynomials +/// Binds "row" variables of (A, B, C) matrices viewed as 2d multilinear polynomials fn compute_eval_table_sparse( S: &R1CSShape, rx: &[E::Scalar],