Struct crypto_bigint::modular::MontyForm

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

An integer in Montgomery form represented using LIMBS limbs. The odd modulus is set at runtime.

Implementations

impl<const LIMBS: usize> MontyForm<LIMBS>

pub const fn add(&self, rhs: &Self) -> Self

Adds rhs.

impl<const SAT_LIMBS: usize, const UNSAT_LIMBS: usize> MontyForm<SAT_LIMBS>

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

pub const fn inv(&self) -> ConstCtOption<Self>

Computes self^-1 representing the multiplicative inverse of self. I.e. self * self^-1 = 1. If the number was invertible, the second element of the tuple is the truthy value, otherwise it is the falsy value (in which case the first element’s value is unspecified).

impl<const LIMBS: usize> MontyForm<LIMBS>

pub const fn mul(&self, rhs: &Self) -> Self

Multiplies by rhs.

pub const fn square(&self) -> Self

Computes the (reduced) square.

impl<const LIMBS: usize> MontyForm<LIMBS>

pub const fn neg(&self) -> Self

Negates the number.

impl<const LIMBS: usize> MontyForm<LIMBS>

pub const fn pow<const RHS_LIMBS: usize>( &self, exponent: &Uint<RHS_LIMBS> ) -> MontyForm<LIMBS>

Raises to the exponent power.

pub const fn pow_bounded_exp<const RHS_LIMBS: usize>( &self, exponent: &Uint<RHS_LIMBS>, exponent_bits: u32 ) -> Self

Raises to the exponent power, with exponent_bits representing the number of (least significant) bits to take into account for the exponent.

NOTE: exponent_bits may be leaked in the time pattern.

impl<const LIMBS: usize> MontyForm<LIMBS>

pub const fn sub(&self, rhs: &Self) -> Self

Subtracts rhs.

impl<const LIMBS: usize> MontyForm<LIMBS>

pub const fn new(integer: &Uint<LIMBS>, params: MontyParams<LIMBS>) -> Self

Instantiates a new MontyForm that represents this integer mod MOD.

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

Retrieves the integer currently encoded in this MontyForm, guaranteed to be reduced.

pub const fn zero(params: MontyParams<LIMBS>) -> Self

Instantiates a new MontyForm that represents zero.

pub const fn one(params: MontyParams<LIMBS>) -> Self

Instantiates a new MontyForm that represents 1.

pub const fn params(&self) -> &MontyParams<LIMBS>

Returns the parameter struct used to initialize this object.

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

Access the MontyForm value in Montgomery form.

pub fn as_montgomery_mut(&mut self) -> &mut Uint<LIMBS>

Mutably access the MontyForm value in Montgomery form.

pub const fn from_montgomery( integer: Uint<LIMBS>, params: MontyParams<LIMBS> ) -> Self

Create a MontyForm from a value in Montgomery form.

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

Extract the value from the MontyForm in Montgomery form.

pub const fn div_by_2(&self) -> Self

Performs division by 2, that is returns x such that x + x = self.

Trait Implementations

impl<const LIMBS: usize> Add<&MontyForm<LIMBS>> for &MontyForm<LIMBS>

type Output = MontyForm<LIMBS>

The resulting type after applying the + operator.

fn add(self, rhs: &MontyForm<LIMBS>) -> MontyForm<LIMBS>

Performs the + operation.

impl<const LIMBS: usize> Add<&MontyForm<LIMBS>> for MontyForm<LIMBS>

type Output = MontyForm<LIMBS>

The resulting type after applying the + operator.

fn add(self, rhs: &MontyForm<LIMBS>) -> MontyForm<LIMBS>

Performs the + operation.

impl<const LIMBS: usize> Add<MontyForm<LIMBS>> for &MontyForm<LIMBS>

type Output = MontyForm<LIMBS>

The resulting type after applying the + operator.

fn add(self, rhs: MontyForm<LIMBS>) -> MontyForm<LIMBS>

Performs the + operation.

impl<const LIMBS: usize> Add for MontyForm<LIMBS>

type Output = MontyForm<LIMBS>

The resulting type after applying the + operator.

fn add(self, rhs: MontyForm<LIMBS>) -> MontyForm<LIMBS>

Performs the + operation.

impl<const LIMBS: usize> AddAssign<&MontyForm<LIMBS>> for MontyForm<LIMBS>

fn add_assign(&mut self, rhs: &MontyForm<LIMBS>)

Performs the += operation.

impl<const LIMBS: usize> AddAssign for MontyForm<LIMBS>

fn add_assign(&mut self, rhs: MontyForm<LIMBS>)

Performs the += operation.

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

fn clone(&self) -> MontyForm<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 MontyForm<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 MontyForm<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 MontyForm<LIMBS>

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

Formats the value using the given formatter.

impl<const LIMBS: usize, P: ConstMontyParams<LIMBS>> From<&ConstMontyForm<P, LIMBS>> for MontyForm<LIMBS>

fn from(const_monty_form: &ConstMontyForm<P, LIMBS>) -> Self

Converts to this type from the input type.

impl<const SAT_LIMBS: usize, const UNSAT_LIMBS: usize> Invert for MontyForm<SAT_LIMBS>

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

type Output = CtOption<MontyForm<SAT_LIMBS>>

Output of the inversion.

fn invert(&self) -> Self::Output

Computes the inverse.

impl<const LIMBS: usize> Monty for MontyForm<LIMBS>

type Integer = Uint<LIMBS>

The original integer type.

type Params = MontyParams<LIMBS>

The precomputed data needed for this representation.

fn new_params_vartime(modulus: Odd<Self::Integer>) -> Self::Params

Create the precomputed data for Montgomery representation of integers modulo modulus, variable time in modulus.

fn new(value: Self::Integer, params: Self::Params) -> Self

Convert the value into the representation using precomputed data.

fn zero(params: Self::Params) -> Self

Returns zero in this representation.

fn one(params: Self::Params) -> Self

Returns one in this representation.

fn params(&self) -> &Self::Params

Returns the parameter struct used to initialize this object.

fn as_montgomery(&self) -> &Self::Integer

Access the value in Montgomery form.

fn div_by_2(&self) -> Self

Performs division by 2, that is returns x such that x + x = self.

impl<const LIMBS: usize> Mul<&MontyForm<LIMBS>> for &MontyForm<LIMBS>

type Output = MontyForm<LIMBS>

The resulting type after applying the * operator.

fn mul(self, rhs: &MontyForm<LIMBS>) -> MontyForm<LIMBS>

Performs the * operation.

impl<const LIMBS: usize> Mul<&MontyForm<LIMBS>> for MontyForm<LIMBS>

type Output = MontyForm<LIMBS>

The resulting type after applying the * operator.

fn mul(self, rhs: &MontyForm<LIMBS>) -> MontyForm<LIMBS>

Performs the * operation.

impl<const LIMBS: usize> Mul<MontyForm<LIMBS>> for &MontyForm<LIMBS>

type Output = MontyForm<LIMBS>

The resulting type after applying the * operator.

fn mul(self, rhs: MontyForm<LIMBS>) -> MontyForm<LIMBS>

Performs the * operation.

impl<const LIMBS: usize> Mul for MontyForm<LIMBS>

type Output = MontyForm<LIMBS>

The resulting type after applying the * operator.

fn mul(self, rhs: MontyForm<LIMBS>) -> MontyForm<LIMBS>

Performs the * operation.

impl<const LIMBS: usize> MulAssign<&MontyForm<LIMBS>> for MontyForm<LIMBS>

fn mul_assign(&mut self, rhs: &MontyForm<LIMBS>)

Performs the *= operation.

impl<const LIMBS: usize> MulAssign for MontyForm<LIMBS>

fn mul_assign(&mut self, rhs: MontyForm<LIMBS>)

Performs the *= operation.

impl<const LIMBS: usize, const RHS_LIMBS: usize> MultiExponentiateBoundedExp<Uint<RHS_LIMBS>, [(MontyForm<LIMBS>, Uint<RHS_LIMBS>)]> for MontyForm<LIMBS>

Available on crate feature alloc only.

fn multi_exponentiate_bounded_exp( bases_and_exponents: &[(Self, Uint<RHS_LIMBS>)], exponent_bits: u32 ) -> Self

Calculates x1 ^ k1 * ... * xn ^ kn.

impl<const N: usize, const LIMBS: usize, const RHS_LIMBS: usize> MultiExponentiateBoundedExp<Uint<RHS_LIMBS>, [(MontyForm<LIMBS>, Uint<RHS_LIMBS>); N]> for MontyForm<LIMBS>

fn multi_exponentiate_bounded_exp( bases_and_exponents: &[(Self, Uint<RHS_LIMBS>); N], exponent_bits: u32 ) -> Self

Calculates x1 ^ k1 * ... * xn ^ kn.

impl<const LIMBS: usize> Neg for &MontyForm<LIMBS>

type Output = MontyForm<LIMBS>

The resulting type after applying the - operator.

fn neg(self) -> MontyForm<LIMBS>

Performs the unary - operation.

impl<const LIMBS: usize> Neg for MontyForm<LIMBS>

type Output = MontyForm<LIMBS>

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

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

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<const LIMBS: usize, const RHS_LIMBS: usize> PowBoundedExp<Uint<RHS_LIMBS>> for MontyForm<LIMBS>

fn pow_bounded_exp( &self, exponent: &Uint<RHS_LIMBS>, exponent_bits: u32 ) -> Self

Raises to the exponent power, with exponent_bits representing the number of (least significant) bits to take into account for the exponent.

impl<const LIMBS: usize> Retrieve for MontyForm<LIMBS>

type Output = Uint<LIMBS>

The original type.

fn retrieve(&self) -> Self::Output

Convert the number back from the optimized representation.

impl<const LIMBS: usize> Square for MontyForm<LIMBS>

fn square(&self) -> Self

Computes the same as self * self, but may be more efficient.

impl<const LIMBS: usize> SquareAssign for MontyForm<LIMBS>

fn square_assign(&mut self)

Computes the same as self * self, but may be more efficient. Writes the result in self.

impl<const LIMBS: usize> Sub<&MontyForm<LIMBS>> for &MontyForm<LIMBS>

type Output = MontyForm<LIMBS>

The resulting type after applying the - operator.

fn sub(self, rhs: &MontyForm<LIMBS>) -> MontyForm<LIMBS>

Performs the - operation.

impl<const LIMBS: usize> Sub<&MontyForm<LIMBS>> for MontyForm<LIMBS>

type Output = MontyForm<LIMBS>

The resulting type after applying the - operator.

fn sub(self, rhs: &MontyForm<LIMBS>) -> MontyForm<LIMBS>

Performs the - operation.

impl<const LIMBS: usize> Sub<MontyForm<LIMBS>> for &MontyForm<LIMBS>

type Output = MontyForm<LIMBS>

The resulting type after applying the - operator.

fn sub(self, rhs: MontyForm<LIMBS>) -> MontyForm<LIMBS>

Performs the - operation.

impl<const LIMBS: usize> Sub for MontyForm<LIMBS>

type Output = MontyForm<LIMBS>

The resulting type after applying the - operator.

fn sub(self, rhs: MontyForm<LIMBS>) -> MontyForm<LIMBS>

Performs the - operation.

impl<const LIMBS: usize> SubAssign<&MontyForm<LIMBS>> for MontyForm<LIMBS>

fn sub_assign(&mut self, rhs: &MontyForm<LIMBS>)

Performs the -= operation.

impl<const LIMBS: usize> SubAssign for MontyForm<LIMBS>

fn sub_assign(&mut self, rhs: MontyForm<LIMBS>)

Performs the -= operation.

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

Available on crate feature zeroize only.

NOTE: this does not zeroize the parameters, in order to maintain some form of type consistency

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 MontyForm<LIMBS>

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

impl<const LIMBS: usize> StructuralEq for MontyForm<LIMBS>

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