Skip to main content

Module dynamic

zinc_poly::univariate

Module dynamic 

Source

Structs§

DynamicPolyVec
Unfortunately, we cannot implement of GenTranscribable for Vec<DynamicPolynomial<E>> since they both are foreign types, so we define this wrapper as a workaround.
DynamicPolynomial
Polynomials of dynamic degree over an arbitrary semiring (fixed like Int, or dynamic like a random finite field). To be used in UAIR and PIOP where ZIP+ degree bound is not observed anymore.
DynamicPolynomialConfig
Configuration of the polynomial semiring $S[X]$ over the (semi)ring configured by S, with DynamicPolynomial as its element.

Traits§

HasDynamicPolynomialConfig
Extension trait providing DynamicPolynomialConfig from a coefficient config, so that the same config can be used to perform operations on dynamic polynomials: cfg.poly_cfg().mul(&p, &q).