binius_core::protocols::sumcheck::prove

Function batch_prove_with_start

Source 
pub fn batch_prove_with_start<F, Prover, Challenger_>(
    start: BatchProveStart<F, Prover>,
    provers: Vec<Prover>,
    transcript: &mut ProverTranscript<Challenger_>,
) -> Result<BatchSumcheckOutput<F>, Error>
where
    F: TowerField,
    Prover: SumcheckProver<F>,
    Challenger_: Challenger,
Expand description

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