Struct MontyFormInverter

pub struct MontyFormInverter<const LIMBS: usize>
where
    Odd<Uint<LIMBS>>: PrecomputeInverter<Output = Uint<LIMBS>>,
{ /* private fields */ }

Bernstein-Yang inverter which inverts MontyForm types.

Trait Implementations

impl<const SAT_LIMBS: usize, const UNSAT_LIMBS: usize> Debug for MontyFormInverter<SAT_LIMBS>

where Odd<Uint<SAT_LIMBS>>: PrecomputeInverter<Inverter = SafeGcdInverter<SAT_LIMBS, UNSAT_LIMBS>, Output = Uint<SAT_LIMBS>>,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<const LIMBS: usize> Inverter for MontyFormInverter<LIMBS>

where Odd<Uint<LIMBS>>: PrecomputeInverter<Output = Uint<LIMBS>>,

type Output = MontyForm<LIMBS>

Output of an inversion.

fn invert(&self, value: &MontyForm<LIMBS>) -> CtOption<Self::Output>

Compute a modular inversion, returning None if the result is undefined (i.e. if value is zero or isn’t prime relative to the modulus).