Struct ring::arithmetic::bigint::modulus::OwnedModulus

pub struct OwnedModulus<M> {
    limbs: BoxedLimbs<M>,
    n0: N0,
    len_bits: BitLength,
}

The modulus m for a ring ℤ/mℤ, along with the precomputed values needed for efficient Montgomery multiplication modulo m. The value must be odd and larger than 2. The larger-than-1 requirement is imposed, at least, by the modular inversion code.

Fields

limbs: BoxedLimbs<M>

n0: N0

len_bits: BitLength

Implementations

impl<M> OwnedModulus<M>

pub(crate) fn from_be_bytes(input: Input<'_>) -> Result<Self, KeyRejected>

pub fn verify_less_than<L>(&self, l: &Modulus<'_, L>) -> Result<(), Unspecified>

pub fn to_elem<L>( &self, l: &Modulus<'_, L>, ) -> Result<Elem<L, Unencoded>, Unspecified>

pub(crate) fn modulus(&self, cpu_features: Features) -> Modulus<'_, M>

pub fn len_bits(&self) -> BitLength

impl<M: PublicModulus> OwnedModulus<M>

pub fn be_bytes( &self, ) -> LeadingZerosStripped<impl ExactSizeIterator<Item = u8> + Clone + '_>

Trait Implementations

impl<M: PublicModulus> Clone for OwnedModulus<M>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.