Constant MODULUS 

pub const MODULUS: u64 = 0xFFFF_FFFF_0000_0001;

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