pub fn batch_verify_zerocheck_univariate_round<F, Composition, Transcript>(
claims: &[ZerocheckClaim<F, Composition>],
skip_rounds: usize,
transcript: Transcript,
) -> Result<BatchZerocheckUnivariateOutput<F>, Error>
Expand description
Verify a batched zerocheck univariate round.
Unlike batch_verify
, all round evaluations are on a univariate domain of predetermined size,
and batching happens over a single round. This method batches claimed univariatized evaluations
of the underlying composites, checks that univariatized round polynomial agrees with them on
challenge point, and outputs sumcheck claims for batch_verify
on the remaining variables.