pub fn batch_prove_with_start<F, Prover, Transcript>(
start: BatchProveStart<F, Prover>,
provers: Vec<Prover>,
transcript: Transcript,
) -> Result<(BatchSumcheckOutput<F>, Proof<F>), Error>
Expand description
Prove a batched sumcheck protocol execution, but after some rounds have been processed.