Crate p3_goldilocks

Source
Expand description

The prime field known as Goldilocks, defined as F_p where p = 2^64 - 2^32 + 1.

Structs§

DiffusionMatrixGoldilocks
Goldilocks
The prime field known as Goldilocks, defined as F_p where p = 2^64 - 2^32 + 1.
MdsMatrixGoldilocks
SmallConvolveGoldilocks
Instantiate convolution for “small” RHS vectors over Goldilocks.

Constants§

HL_GOLDILOCKS_8_EXTERNAL_ROUND_CONSTANTS
HL_GOLDILOCKS_8_INTERNAL_ROUND_CONSTANTS
MATRIX_DIAG_8_GOLDILOCKS_U64
MATRIX_DIAG_12_GOLDILOCKS_U64
MATRIX_DIAG_16_GOLDILOCKS_U64
MATRIX_DIAG_20_GOLDILOCKS_U64