Module sumcheck 

Re-exports

pub use common::RoundCoeffs;

pub use common::RoundProof;

Modules

common

Structs

BatchSumcheckOutput

The reduced output of a sumcheck verification.

SumcheckOutput

The reduced output of a sumcheck verification.

Enums

Error

VerificationError

Functions

batch_verify

Verify a batched sumcheck protocol interaction.

batch_verify_mle

Verify a batched sumcheck protocol interaction for MLE-checks.

verify

Verify a sumcheck protocol interaction.