pub static MASK_RH_MULTIPLICAND: &[u8]
The RH multiplicand for the mask circuit, first flattened as a 1d i32 array, then serialized as bytes.