```
pub fn batch_prove<F, Prover, Challenger>(
provers: Vec<Prover>,
challenger: Challenger,
) -> Result<(BatchSumcheckOutput<F>, Proof<F>), Error>
```

## Expand description

Prove a batched sumcheck protocol execution.

The sumcheck protocol over can be batched over multiple instances by taking random linear
combinations over the claimed sums and polynomials. See
`crate::protocols::sumcheck_v2::batch_verify`

for more details.

The provers in the `provers`

parameter must in the same order as the corresponding claims
provided to `crate::protocols::sumcheck_v2::batch_verify`

during proof verification.