Expand description
Polynomial oracles in the polynomial interactive oracle protocol (PIOP) model.
See DP23 Section 4 for background on multilinear polynomial oracles.
Structs§
- Builder
- 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. The multilinears are expected to be of the same size.
- 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.
- Oracle
Id - Identifier for a multilinear oracle in a
super::MultilinearOracleSet. - Packed
- Projected
- Shifted
- Sized
Constraint Set - Constraint set is a group of constraints that operate over the same set of oracle-identified multilinears.
- Symbolic
Multilinear Oracle - Symbolic
Multilinear Oracle Set - Transparent
Poly Oracle - A transparent multilinear polynomial oracle.
- Zero
Padded
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 - Symbolic
Multilinear Poly Variant
Type Aliases§
- Type
Erased Composition - Composition trait object that can be used to create lists of compositions of differing concrete types.