Module batch 

Structs

BatchSumcheckOutput

Prover view of the execution result of a batched sumcheck.

Functions

batch_prove

Prove a batched sumcheck protocol execution, where all provers have the same number of rounds.

batch_prove_and_write_evals

Prove a batched sumcheck protocol and write evaluation claims to the channel.

batch_prove_mle

Prove a batched sumcheck for MLE-check provers sharing a common evaluation point.