pub fn u8mul<U, F>(
builder: &mut ConstraintSystemBuilder<'_, U, F>,
lookup_batch: &mut LookupBatch,
name: impl ToString + Clone,
mult_a: OracleId,
mult_b: OracleId,
n_multiplications: usize,
) -> Result<OracleId, Error>where
U: Pod + UnderlierType + PackScalar<BinaryField8b> + PackScalar<BinaryField16b> + PackScalar<BinaryField32b> + PackScalar<F>,
PackedType<U, BinaryField8b>: PackedFieldIndexable,
PackedType<U, BinaryField16b>: PackedFieldIndexable,
PackedType<U, BinaryField32b>: PackedFieldIndexable,
F: TowerField + BinaryField + ExtensionField<BinaryField8b> + ExtensionField<BinaryField16b> + ExtensionField<BinaryField32b>,