Function batch_weighted_value

pub fn batch_weighted_value<F: Field>(
    batch_coeff: F,
    values: impl Iterator<Item = F>,
) -> F

Multiply a sequence of field elements by the consecutive powers of batch_coeff