mojo_crypto universal_hashes polyval field_element mul32 mul32 Mojo module 🡭 mul32Structs Product32: Unreduced 256-bit carryless product stored as eight 32-bit limbs (lo … hi).