binius_core::protocols::sumcheck::univariate_zerocheck

Function batch_verify_zerocheck_univariate_round

source 
pub fn batch_verify_zerocheck_univariate_round<F, Composition, Transcript>(
    claims: &[ZerocheckClaim<F, Composition>],
    proof: ZerocheckUnivariateProof<F>,
    skip_rounds: usize,
    transcript: Transcript,
) -> Result<BatchZerocheckUnivariateOutput<F>, Error>
where
    F: TowerField,
    Composition: CompositionPolyOS<F>,
    Transcript: CanRead + CanSample<F>,
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.