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