Struct MontgomeryElement 

pub struct MontgomeryElement {
    standard: FieldElement,
}

A field element that tracks both standard and Montgomery forms.

Internally stores the standard value. Arithmetic is performed in standard form for correctness. The Montgomery representation (aR mod p) is available for hardware comparison.

Fields

standard: FieldElement

The standard (non-Montgomery) value.

Implementations

impl MontgomeryElement

pub fn from_field(a: FieldElement) -> Self

Wraps a standard field element for Montgomery-domain operations.

pub fn to_field(self) -> FieldElement

Returns the standard (non-Montgomery) field element.

pub fn to_mont_repr(self) -> FieldElement

Returns the Montgomery representation aR mod p.

This is what the hardware stores internally.

pub fn from_mont_repr(mont_repr: FieldElement) -> Self

Constructs from a Montgomery representation aR mod p.

Recovers the standard value a by halving 128 times (each halving computes x * 2^{-1} mod p).

pub fn sqr(self) -> Self

Montgomery squaring.

pub fn curve(&self) -> Curve

Returns the curve.

pub fn zero(curve: Curve) -> Self

The zero element.

pub fn one(curve: Curve) -> Self

The multiplicative identity.

pub fn pow(self, exp: &[u64; 4], num_bits: usize) -> Self

Modular exponentiation.

pub fn fifth_root(self) -> Self

Computes the fifth root.

pub fn from_raw_mont_limbs(limbs: [u64; 4], curve: Curve) -> Result<Self, Error>

Constructs from raw limbs in Montgomery representation.

The limbs are interpreted as aR mod p and converted to the standard value internally.

Errors

Returns Error::OutOfRange if the limbs are not less than the modulus.

Trait Implementations

impl Clone for MontgomeryElement

fn clone(&self) -> MontgomeryElement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MontgomeryElement

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

Formats the value using the given formatter.

impl Hash for MontgomeryElement

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Mul for MontgomeryElement

fn mul(self, rhs: Self) -> Self

Montgomery multiplication: produces a * b in the Montgomery domain.

type Output = MontgomeryElement

The resulting type after applying the * operator.

impl PartialEq for MontgomeryElement

fn eq(&self, other: &MontgomeryElement) -> 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 Copy for MontgomeryElement

impl Eq for MontgomeryElement

impl StructuralPartialEq for MontgomeryElement