Module winter_math::fields::f62

An implementation of a 62-bit STARK-friendly prime field with modulus $2^{62} - 111 \cdot 2^{39} + 1$.

All operations in this field are implemented using Montgomery arithmetic. It supports very fast modular arithmetic including branchless multiplication and addition. Base elements are stored in the Montgomery form using u64 as the backing type.

Structs

• BaseElement
  Represents base field element in the field.