Module binius_core::oracle

Polynomial oracles in the polynomial interactive oracle protocol (PIOP) model.

See DP23 Section 4 for background on multilinear polynomial oracles.

Structs

• CommittedBatch
  A batch of committed multilinear polynomials with a unique batch ID.
• CommittedId
  Committed polynomials are identified by a batch ID and an index in the batch
• CompositePolyOracle
• Constraint
  Constraint is a type erased composition along with a predicate on its values on the boolean hypercube
• ConstraintSet
  Constraint set is a group of constraints that operate over the same set of oracle-identified multilinears
• ConstraintSetBuilder
  A builder struct that turns individual compositions over oraclized multilinears into a set of type erased IndexComposition instances operating over a superset of oracles of all constraints.
• LinearCombination
• MultilinearOracleSet
  An ordered set of multilinear polynomial oracles.
• MultilinearOracleSetAddition
  Meta struct that lets you add optional name for the Multilinear before adding to the MultilinearOracleSet
• Packed
• Projected
• Shifted
• TransparentPolyOracle
  A transparent multilinear polynomial oracle.

Enums

• ConstraintPredicate
  Predicate can either be a sum of values of a composition on the hypercube (sumcheck) or equality to zero on the hypercube (zerocheck)
• Error
• MultilinearPolyOracle
  A multilinear polynomial oracle in the polynomial IOP model.
• ProjectionVariant
• ShiftVariant

Type Aliases

• BatchId
  Committed polynomial batches are identified by their index.
• OracleId
  Identifier for a multilinear oracle in a MultilinearOracleSet.
• TypeErasedComposition
  Composition trait object that can be used to create lists of compositions of differing concrete types.