binius_core::protocols::sumcheck::verify

Function batch_verify_with_start

source 
pub fn batch_verify_with_start<F, Composition, Transcript>(
    start: BatchVerifyStart<F>,
    claims: &[SumcheckClaim<F, Composition>],
    proof: Proof<F>,
    transcript: &mut Transcript,
) -> Result<BatchSumcheckOutput<F>, Error>
where
    F: TowerField,
    Composition: CompositionPolyOS<F>,
    Transcript: CanObserve<F> + CanSample<F> + CanRead,
Expand description

Verify a batched sumcheck protocol execution, but after some rounds have been processed.