Expand description
Polynomial oracles in the polynomial interactive oracle protocol (PIOP) model.
See DP23 Section 4 for background on multilinear polynomial oracles.
Structs§
- CompositeMLE
- MLE of a multivariate polynomial evaluated on multilinear oracles.
- Composite
Poly Oracle - Constraint
- Constraint is a type erased composition along with a predicate on its values on the boolean hypercube
- Constraint
Set - Constraint set is a group of constraints that operate over the same set of oracle-identified multilinears
- Constraint
SetBuilder - A builder struct that turns individual compositions over oraclized multilinears into a set of
type erased
IndexCompositioninstances operating over a superset of oracles of all constraints. - Linear
Combination - Multilinear
Oracle Set - An ordered set of multilinear polynomial oracles.
- Multilinear
Oracle SetAddition - Meta struct that lets you add optional
namefor the Multilinear before adding to theMultilinearOracleSet - Multilinear
Poly Oracle - A multilinear polynomial oracle in the polynomial IOP model.
- Packed
- Projected
- Shifted
- Transparent
Poly Oracle - A transparent multilinear polynomial oracle.
Enums§
- Constraint
Predicate - Predicate can either be a sum of values of a composition on the hypercube (sumcheck) or equality to zero on the hypercube (zerocheck)
- Error
- Multilinear
Poly Variant - Projection
Variant - Shift
Variant
Type Aliases§
- Oracle
Id - Identifier for a multilinear oracle in a
MultilinearOracleSet. - Type
Erased Composition - Composition trait object that can be used to create lists of compositions of differing concrete types.