NewVerifier initializes a new sumcheck verifier for the parametric emulated field FR.

WithBaseChallenges allows to bind to additional baseChallenges (in addition to the current sumcheck protocol transcript) when computing the challenges.

WithClaimPrefix prepends the given string to the challenge names when computing the challenges inside the sumcheck verifier.

Proof contains the prover messages in the sumcheck protocol.

Verifier allows to check sumcheck proofs.

LazyClaims allows to verify the sumcheck proof by allowing different final evaluations.

EvaluationProof is proof for allowing the sumcheck verifier to perform the final evaluation needed to complete the check.

Option allows to alter the sumcheck verifier behaviour.

VerifyOption allows to alter the behaviour of the single sumcheck proof verification.