Module binius_core::protocols::sumcheck_v2

The multivariate sumcheck and zerocheck polynomial protocols.

Sumcheck supports an efficient prover algorithm when the virtual polynomial is a multilinear composite, so this module only handles that case, rather than the case of general multivariate polynomials.

This is the V2 implementation of sumcheck. The legacy implementation is in the crate::protocols::abstract_sumcheck, crate::protocols::sumcheck, and crate::protocols::zerocheck modules.

Re-exports

• pub use prove::batch_prove;
• pub use verify::batch_verify;
• pub use zerocheck::reduce_to_sumchecks;
• pub use zerocheck::verify_sumcheck_outputs;
• pub use zerocheck::ZerocheckClaim;

Modules

• prove
• verify
• zerocheck

Structs

• BatchSumcheckOutput
• CompositeSumClaim
  A claim about the sum of the values of a multilinear composite polynomial over the boolean hypercube.
• OracleClaimMeta
• Proof
  A sumcheck batch proof.
• RoundCoeffs
  A univariate polynomial in monomial basis.
• RoundProof
  A sumcheck round proof is a univariate polynomial in monomial basis with the coefficient of the highest-degree term truncated off.
• SumcheckClaim
  A group of claims about the sum of the values of multilinear composite polynomials over the boolean hypercube.

Enums

• ConcreteClaim
• Error
• VerificationError

Functions

• constraint_set_sumcheck_claim
  Create a sumcheck claim out of constraint set. Fails when the constraint set contains zerochecks. Returns claim and metadata used for evalcheck claim construction.
• constraint_set_zerocheck_claim
  Create a zerocheck claim from the constraint set. Fails when the constraint set contains regular sumchecks. Returns claim and metadata used for evalcheck claim construction.
• make_eval_claims
  Constructs evalcheck claims from metadata returned by constraint set claim constructors.