pub fn zk_rows_strict_lower_bound(num_chunks: usize) -> usize