Struct gridiron::fp_480::Monty

pub struct Monty { /* fields omitted */ }

This is the Montgomery form of the $classname. This is typically used for its fast implementation of Multiplication as the conversion to Montgomery form + multiplication is as fast as normal multiplication + reduction.

If you are doing more than 1 multiplication, it's clearly a win.

Methods

impl Monty

pub fn to_norm(self) -> Fp480

Bring the montgomery form back into the $classname.

pub const fn new(limbs: [u32; 16]) -> Monty

Constructor. Note that this is unsafe if the limbs happen to be greater than your PRIME. In that case you should use conversion to byte arrays or manually do the math on the limbs yourself.

Trait Implementations

impl ConstantSwap for Monty

fn swap_if(&mut self, other: &mut Monty, swap: ConstantBool<u32>)

Swaps this with other if the value was true

impl From<u8> for Monty

fn from(src: u8) -> Self

Performs the conversion.

impl From<u32> for Monty

fn from(src: u32) -> Self

Performs the conversion.

impl From<u64> for Monty

fn from(src: u64) -> Self

Performs the conversion.

impl From<[u8; 64]> for Monty

fn from(src: [u8; 64]) -> Self

Performs the conversion.

impl Default for Monty

fn default() -> Self

Returns the "default value" for a type.

impl Copy for Monty

impl PartialOrd<Monty> for Monty

fn partial_cmp(&self, other: &Monty) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

#[must_use]

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

This method tests less than (for self and other) and is used by the < operator.

#[must_use]

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

#[must_use]

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

This method tests greater than (for self and other) and is used by the > operator.

#[must_use]

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Eq for Monty

impl Ord for Monty

fn cmp(&self, other: &Monty) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

impl PartialEq<Monty> for Monty

fn eq(&self, other: &Monty) -> bool

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

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

This method tests for !=.

impl Clone for Monty

fn clone(&self) -> Monty

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Monty

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

Formats the value using the given formatter.

impl Add<Monty> for Monty

type Output = Monty

The resulting type after applying the + operator.

fn add(self, rhs: Monty) -> Monty

Performs the + operation.

impl Sub<Monty> for Monty

type Output = Monty

The resulting type after applying the - operator.

fn sub(self, rhs: Monty) -> Monty

Performs the - operation.

impl Mul<Monty> for Monty

type Output = Monty

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<u32> for Monty

Note that this reveals the u32, but nothing else. It's expected that the u32 is not secret. If it is, you can use Mul<$classname>

type Output = Monty

The resulting type after applying the * operator.

fn mul(self, rhs: u32) -> Monty

Performs the * operation.

impl Mul<Fp480> for Monty

type Output = Fp480

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Monty> for Fp480

type Output = Fp480

The resulting type after applying the * operator.

fn mul(self, rhs: Monty) -> Fp480

Performs the * operation.

impl Div<Monty> for Monty

type Output = Monty

The resulting type after applying the / operator.

fn div(self, rhs: Monty) -> Monty

Performs the / operation.

impl Neg for Monty

type Output = Monty

The resulting type after applying the - operator.

fn neg(self) -> Monty

Performs the unary - operation.

impl AddAssign<Monty> for Monty

fn add_assign(&mut self, other: Monty)

Performs the += operation.

impl SubAssign<Monty> for Monty

fn sub_assign(&mut self, other: Monty)

Performs the -= operation.

impl Zero for Monty

fn zero() -> Self

Returns the additive identity element of Self, 0.

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

impl One for Monty

fn one() -> Self

Returns the multiplicative identity element of Self, 1.

fn is_one(&self) -> bool

Returns true if self is equal to the multiplicative identity.

impl Inv for Monty

type Output = Monty

The result after applying the operator.

fn inv(self) -> Monty

Returns the multiplicative inverse of self.

impl Pow<u32> for Monty

Note that this reveals the exponent, but nothing else. If you need constant time for the exponent, use Pow<$classname>.

type Output = Monty

The result after applying the operator.

fn pow(self, rhs: u32) -> Monty

Returns self to the power rhs.