fn update_min_window_density(
params: UpdateMinWindowDensityParams<'_>,
w: &mut Witness<Fp>,
) -> (CheckedLength<Fp>, Vec<CheckedLength<Fp>>)
fn update_min_window_density(
params: UpdateMinWindowDensityParams<'_>,
w: &mut Witness<Fp>,
) -> (CheckedLength<Fp>, Vec<CheckedLength<Fp>>)