Skip to main content

Module over_field

Module over_field 

Source

Structsยง

DynamicPolyFInnerProduct
Inner product for dynamic polynomials over a prime field.
DynamicPolyVecF
Unfortunately, we cannot implement of GenTranscribable for Vec<DynamicPolynomialF<F>> since they both are foreign types, so we define this wrapper as a workaround.
DynamicPolynomialF
Polynomials of dynamic degree. The implementation is tailored to work with random finite fields. To be used in UAIR and PIOP where ZIP+ degree bound is not observed anymore.