Module 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.

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.