binius_circuits::lasso::big_integer_ops::byte_sliced_modular_mul

Function byte_sliced_modular_mul

Source 
pub fn byte_sliced_modular_mul<LevelIn: TowerLevel, LevelOut: TowerLevel<Base = LevelIn>>(
    builder: &mut ConstraintSystemBuilder<'_>,
    name: impl ToString,
    mult_a: &LevelIn::Data<OracleId>,
    mult_b: &LevelIn::Data<OracleId>,
    modulus_input: &[u8],
    log_size: usize,
    zero_byte_oracle: OracleId,
    zero_carry_oracle: OracleId,
) -> Result<LevelIn::Data<OracleId>, Error>