Ensure downsize trims when required.

input-output-hk · Apr 29, 2024 · 9988f8a · 9988f8a
1 parent 2a0b0bd
commit 9988f8a
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/halo2_proofs/src/poly/kzg/commitment.rs b/halo2_proofs/src/poly/kzg/commitment.rs
@@ -475,9 +475,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> {