Module binius_core::protocols::evalcheck

The multivariate evalcheck polynomial protocol.

Being largely intended for claims coming from sumcheck/zerocheck invocations, this module only supports multilinear composites and not general multivariate polynomials.

Modules

• subclaims
  This module contains helpers to create bivariate sumcheck instances originating from:

Structs

• BatchCommittedEvalClaims
  A mutable structure which keeps track of PCS claims for polynomial batches, potentially over several evalcheck/sumcheck calls
• CommittedEvalClaim
• EvalcheckClaim
• EvalcheckMultilinearClaim
• EvalcheckProver
  A mutable prover state.
• EvalcheckVerifier
  A mutable verifier state.
• SameQueryPcsClaim
  A batched PCS claim where all member polynomials have the same query (can be verified directly)

Enums

• Error
• EvalcheckProof
• VerificationError