Ensure downsize trims when required.

input-output-hk · Apr 29, 2024 · b7e49d5 · b7e49d5
1 parent 2a0b0bd
commit b7e49d5
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/halo2_proofs/src/poly/kzg/commitment.rs b/halo2_proofs/src/poly/kzg/commitment.rs
@@ -476,8 +476,12 @@ where
 
     fn downsize(&mut self, k: u32) {
         assert!(k <= self.k);
+        let n = 1 << k;
+        if n < self.trimed_size {
+            *self = self.clone().trim(n as usize);
+        }
         self.k = k;
-        self.n = 1 << k;
+        self.n = n as u64;
     }
 
     fn empty_msm(&'params self) -> MSMKZG<E> {