Function batch_prove_zerocheck_univariate_round

pub fn batch_prove_zerocheck_univariate_round<F, Prover, Transcript>(
    provers: Vec<Prover>,
    skip_rounds: usize,
    transcript: Transcript,
) -> Result<BatchZerocheckUnivariateProveOutput<F, Prover::RegularZerocheckProver>, Error>
where
    F: TowerField,
    Prover: UnivariateZerocheckProver<F>,
    Transcript: CanSample<F> + CanWrite,

Prove a batched univariate zerocheck round.

Batching principle is entirely analogous to the multilinear case: all the provers are right aligned and should all “start” in the first skip_rounds rounds; this method fails otherwise. Reduction to remaining multilinear rounds results in provers for n_vars - skip_rounds rounds.

The provers in the provers parameter must in the same order as the corresponding claims provided to crate::protocols::sumcheck::batch_verify_zerocheck_univariate_round during proof verification.