dense_mlpoly.rs: Fix bound functions

They left the Z vector enlarged and that was not working well with evaluate()
nexus-xyz · Sep 20, 2024 · 283b76c · 283b76c
1 parent 7162d8d
commit 283b76c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/spartan/src/dense_mlpoly.rs b/spartan/src/dense_mlpoly.rs
@@ -221,6 +221,7 @@ impl<F: PrimeField> DensePolynomial<F> {
     for i in 0..n {
       self.Z[i] = self.Z[i] + *r * (self.Z[i + n] - self.Z[i]);
     }
+    self.Z.truncate(n);  // Resize the vector Z to the new length
     self.num_vars -= 1;
     self.len = n;
   }
@@ -230,6 +231,7 @@ impl<F: PrimeField> DensePolynomial<F> {
     for i in 0..n {
       self.Z[i] = self.Z[2 * i] + *r * (self.Z[2 * i + 1] - self.Z[2 * i]);
     }
+    self.Z.truncate(n);  // Resize the vector Z to the new length
     self.num_vars -= 1;
     self.len = n;
   }