pub fn u8mul_bytesliced( builder: &mut ConstraintSystemBuilder<'_>, lookup_batch: &mut LookupBatch, name: impl ToString + Clone, mult_a: OracleId, mult_b: OracleId, n_multiplications: usize, ) -> Result<[OracleId; 2], Error>