Module winter_math::fields::f128
source · Expand description
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
- Represents a base field element.