modmath

Function constrained_mod_exp

Source 
pub fn constrained_mod_exp<T>(base: T, exponent: &T, modulus: &T) -> T
where
    for<'a> T: PartialOrd + One + Zero + WrappingAdd + WrappingSub + ShrAssign<usize> + Shr<usize, Output = T> + RemAssign<&'a T> + DivAssign<&'a T> + Rem<&'a T, Output = T>,
    for<'a> &'a T: Rem<&'a T, Output = T> + BitAnd<Output = T>,
Expand description

ยงModular Exponentiation (Constrained)

Version that works with references, requires WrappingAdd and WrappingSub traits to be implemented.