Module field 

Field arithmetic underpinning Lighter’s L2 signing scheme.

• Fp is the Goldilocks prime field GF(p) with p = 2^64 - 2^32 + 1.
• Fp5 is the quintic extension GF(p^5), defined over Fp with the irreducible polynomial z^5 - 3.

Both types expose constant-time arithmetic and canonical little-endian byte encodings, suitable for direct reuse from the Poseidon2 hash and the ecgfp5 curve layers built on top.

Structs

Fp

An element of the Goldilocks field Fp = GF(p).

Fp5

An element of Fp5 = GF(p^5).

Constants

MODULUS

Goldilocks prime modulus: p = 2^64 - 2^32 + 1.