Function extrapolated_scalars_count

pub fn extrapolated_scalars_count(
    composition_degree: usize,
    skip_rounds: usize,
) -> usize

For zerocheck, we know that a honest prover would evaluate to zero on the skipped domain.