fix call to extend

VitaliiH · VitaliiH · commit f85d1164ec19 · 2025-02-27T15:15:05.000+01:00
diff --git a/crates/prover/src/core/backend/icicle/circle.rs b/crates/prover/src/core/backend/icicle/circle.rs
@@ -105,7 +105,7 @@ impl PolyOps for IcicleBackend {
 
     fn extend(poly: &CirclePoly<Self>, log_size: u32) -> CirclePoly<Self> {
         assert!(log_size >= poly.log_size());
-        let count_zeros_to_extend = 1 << (log_size-1) - poly.coeffs.len() as u32;
+        let count_zeros_to_extend = poly.coeffs.len();
         let coeffs = DeviceVec::cuda_malloc_extend_with_zeros(&poly.coeffs.data, count_zeros_to_extend).unwrap();
         CirclePoly::new(DeviceColumn {data: coeffs})
     }

Original file line number	Diff line number	Diff line change
`@@ -105,7 +105,7 @@ impl PolyOps for IcicleBackend {`
`105`	`105`
`106`	`106`	`fn extend(poly: &CirclePoly<Self>, log_size: u32) -> CirclePoly<Self> {`
`107`	`107`	`assert!(log_size >= poly.log_size());`
`108`		`- let count_zeros_to_extend = 1 << (log_size-1) - poly.coeffs.len() as u32;`
	`108`	`+ let count_zeros_to_extend = poly.coeffs.len();`
`109`	`109`	`let coeffs = DeviceVec::cuda_malloc_extend_with_zeros(&poly.coeffs.data, count_zeros_to_extend).unwrap();`
`110`	`110`	`CirclePoly::new(DeviceColumn {data: coeffs})`
`111`	`111`	`}`