Module winter_math::fields::f128

An implementation of a 128-bit STARK-friendly prime field with modulus $2^{128} - 45 \cdot 2^{40} + 1$.

Operations in this field are implemented using Barret reduction and are stored in their canonical form using u128 as the backing type. However, this field was not chosen with any significant thought given to performance, and the implementations of most operations are sub-optimal as well.

Structs

• BaseElement
  Represents a base field element.