Macro impl_mont_field_element

macro_rules! impl_mont_field_element {
    (
        $curve:tt,
        $fe:tt,
        $bytes:ty,
        $uint:ty,
        $modulus:expr,
        $arr:ty,
        $from_mont:ident,
        $to_mont:ident,
        $add:ident,
        $sub:ident,
        $mul:ident,
        $neg:ident,
        $square:ident
    ) => { ... };
}

Implements a field element type whose internal representation is in Montgomery form, providing a combination of trait impls and inherent impls which are const fn where possible.

Accepts a set of const fn arithmetic operation functions as arguments.

Inherent impls

• const ZERO: Self
• const ONE: Self (multiplicative identity)
• pub fn from_bytes
• pub fn from_slice
• pub fn from_uint
• fn from_uint_unchecked
• pub fn to_bytes
• pub fn to_canonical
• pub fn is_odd
• pub fn is_zero
• pub fn double

NOTE: field implementations must provide their own inherent impls of the following methods in order for the code generated by this macro to compile:

• pub fn invert
• pub fn sqrt

Trait impls

• AsRef<$arr>
• ConditionallySelectable
• ConstantTimeEq
• ConstantTimeGreater
• ConstantTimeLess
• Default
• DefaultIsZeroes
• Eq
• Field
• PartialEq

Ops

• Add
• AddAssign
• Sub
• SubAssign
• Mul
• MulAssign
• Neg