binius_core::protocols::sumcheck::verify

Function batch_verify_with_start

Source 
pub fn batch_verify_with_start<F, Composition, Challenger_>(
    evaluation_order: EvaluationOrder,
    start: BatchVerifyStart<F>,
    claims: &[SumcheckClaim<F, Composition>],
    transcript: &mut VerifierTranscript<Challenger_>,
) -> Result<BatchSumcheckOutput<F>, Error>
where
    F: TowerField,
    Composition: CompositionPoly<F>,
    Challenger_: Challenger,
Expand description

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