Struct ConstMontyFormInverter

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

Bernstein-Yang inverter which inverts ConstMontyForm types.

Implementations

impl<MOD: ConstMontyParams<SAT_LIMBS>, const SAT_LIMBS: usize, const UNSAT_LIMBS: usize> ConstMontyFormInverter<MOD, SAT_LIMBS>

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

pub const fn new() -> Self

Create a new ConstMontyFormInverter for the given ConstMontyParams.

pub const fn inv( &self, value: &ConstMontyForm<MOD, SAT_LIMBS>, ) -> ConstCtOption<ConstMontyForm<MOD, SAT_LIMBS>>

Returns either the adjusted modular multiplicative inverse for the argument or None depending on invertibility of the argument, i.e. its coprimality with the modulus.

pub const fn inv_vartime( &self, value: &ConstMontyForm<MOD, SAT_LIMBS>, ) -> ConstCtOption<ConstMontyForm<MOD, SAT_LIMBS>>

Returns either the adjusted modular multiplicative inverse for the argument or None depending on invertibility of the argument, i.e. its coprimality with the modulus.

This version is variable-time with respect to the value of self, but constant-time with respect to MOD.

Trait Implementations

impl<MOD: ConstMontyParams<SAT_LIMBS>, const SAT_LIMBS: usize, const UNSAT_LIMBS: usize> Debug for ConstMontyFormInverter<MOD, 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<MOD: ConstMontyParams<SAT_LIMBS>, const SAT_LIMBS: usize, const UNSAT_LIMBS: usize> Inverter for ConstMontyFormInverter<MOD, SAT_LIMBS>

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

type Output = ConstMontyForm<MOD, SAT_LIMBS>

Output of an inversion.

fn invert( &self, value: &ConstMontyForm<MOD, SAT_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).

fn invert_vartime( &self, value: &ConstMontyForm<MOD, SAT_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).