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