binius_core::protocols::sumcheck::prove

Function batch_prove_with_start

source
pub fn batch_prove_with_start<F, Prover, Transcript>(
    start: BatchProveStart<F, Prover>,
    provers: Vec<Prover>,
    transcript: Transcript,
) -> Result<(BatchSumcheckOutput<F>, Proof<F>), Error>
where F: TowerField, Prover: SumcheckProver<F>, Transcript: CanSample<F> + CanWrite,
Expand description

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