# Module binius_core::oracle

source · ## Expand description

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

See DP23 Section 4 for background on multilinear polynomial oracles.

## Structs§

- A batch of committed multilinear polynomials with a unique batch ID.
- Committed polynomials are identified by a batch ID and an index in the batch
- Constraint is a type erased composition along with a predicate on its values on the boolean hypercube
- Constraint set is a group of constraints that operate over the same set of oracle-identified multilinears
- 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. - An ordered set of multilinear polynomial oracles.
- A transparent multilinear polynomial oracle.

## Enums§

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

## Type Aliases§

- Committed polynomial batches are identified by their index.
- Identifier for a multilinear oracle in a
`MultilinearOracleSet`

. - Composition trait object that can be used to create lists of compositions of differing concrete types.