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.
- Meta struct that lets you add optional
name
for the Multilinear before adding to theMultilinearOracleSet
- 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.