Module winter_math::fields

Finite field implementations.

This module contains concrete implementations of base STARK fields as well as extensions of these field.

Modules

• f62
  An implementation of a 62-bit STARK-friendly prime field with modulus $2^{62} - 111 \cdot 2^{39} + 1$.
• f64
  An implementation of a 64-bit STARK-friendly prime field with modulus $2^{64} - 2^{32} + 1$ using Montgomery representation. Our implementation follows https://eprint.iacr.org/2022/274.pdf and is constant-time.
• f128
  An implementation of a 128-bit STARK-friendly prime field with modulus $2^{128} - 45 \cdot 2^{40} + 1$.

Structs

• CubeExtension
  Represents an element in a cubic extension of a StarkField.
• QuadExtension
  Represents an element in a quadratic extension of a StarkField.