Struct MontyParams

pub struct MontyParams<const LIMBS: usize> { /* private fields */ }

Parameters to efficiently go to/from the Montgomery form for an odd modulus provided at runtime.

Implementations

impl<const LIMBS: usize, const WIDE_LIMBS: usize> MontyParams<LIMBS>

where Uint<LIMBS>: Concat<Output = Uint<WIDE_LIMBS>>, Uint<WIDE_LIMBS>: Split<Output = Uint<LIMBS>>,

pub fn new(modulus: Odd<Uint<LIMBS>>) -> Self

Instantiates a new set of MontyParams representing the given odd modulus.

impl<const LIMBS: usize> MontyParams<LIMBS>

pub fn new_vartime(modulus: Odd<Uint<LIMBS>>) -> Self

Instantiates a new set of MontyParams representing the given odd modulus.

pub const fn modulus(&self) -> &Odd<Uint<LIMBS>>

Returns the modulus which was used to initialize these parameters.

pub const fn from_const_params<P>() -> Self

where P: ConstMontyParams<LIMBS>,

Create MontyParams corresponding to a ConstMontyParams.

Trait Implementations

impl<const LIMBS: usize> Clone for MontyParams<LIMBS>

fn clone(&self) -> MontyParams<LIMBS>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<const LIMBS: usize> ConditionallySelectable for MontyParams<LIMBS>

fn conditional_select(a: &Self, b: &Self, choice: Choice) -> Self

Select a or b according to choice.

fn conditional_assign(&mut self, other: &Self, choice: Choice)

Conditionally assign other to self, according to choice.

fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)

Conditionally swap self and other if choice == 1; otherwise, reassign both unto themselves.

impl<const LIMBS: usize> ConstantTimeEq for MontyParams<LIMBS>

fn ct_eq(&self, other: &Self) -> Choice

Determine if two items are equal.

fn ct_ne(&self, other: &Self) -> Choice

Determine if two items are NOT equal.

impl<const LIMBS: usize> Debug for MontyParams<LIMBS>

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

Formats the value using the given formatter.

impl<const LIMBS: usize> PartialEq for MontyParams<LIMBS>

fn eq(&self, other: &MontyParams<LIMBS>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<const LIMBS: usize> PrecomputeInverter for MontyParams<LIMBS>

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

type Inverter = MontyFormInverter<LIMBS>

Inverter type for integers of this size.

type Output = MontyForm<LIMBS>

Output produced by the inverter.

fn precompute_inverter(&self) -> MontyFormInverter<LIMBS>

Obtain a precomputed inverter for &self as the modulus, using Self::one() as an adjusting parameter.

impl<const LIMBS: usize> Zeroize for MontyParams<LIMBS>

Available on crate feature zeroize only.

fn zeroize(&mut self)

Zero out this object from memory using Rust intrinsics which ensure the zeroization operation is not “optimized away” by the compiler.

impl<const LIMBS: usize> Copy for MontyParams<LIMBS>

impl<const LIMBS: usize> Eq for MontyParams<LIMBS>

impl<const LIMBS: usize> StructuralPartialEq for MontyParams<LIMBS>