Module polynomial

Structs

ArithCircuitPoly

Describes polynomial evaluations using a directed acyclic graph of expressions.

CompositionScalarAdapter

An adapter that constructs a CompositionPoly for a field from a CompositionPoly for a packing of that field.

IdentityCompositionPoly

Identity composition function $g(X) = X$.

MultilinearComposite

A polynomial defined as the composition of several multilinear polynomials.

Enums

Error

Traits

MultivariatePoly

A multivariate polynomial over a binary tower field.

Functions

composition_hash

Fingerprinting for composition polynomials done by evaluation at a deterministic random point. Outputs f(r_0,…,r_n-1) where f is a composite and the r_i are the components of the random point.