Struct gridiron::fp_480::Fp480

pub struct Fp480 { /* fields omitted */ }

Implementations

impl Fp480

pub fn to_monty(self) -> Monty

pub fn normalize_assign_little(&mut self)

See normalize_little_limbs.

pub fn normalize_little_limbs(limbs: [u32; 16]) -> [u32; 16]

This normalize should only be used when the input is at most 2*p-1.

pub fn normalize_little(self) -> Self

See normalize_little_limbs.

pub fn to_bytes_array(&self) -> [u8; 60]

Convert the value to a byte array which is PRIMEBYTES long. Ported from BearSSL br_i31_encode.

pub fn new(digits: [u32; 16]) -> Fp480

Create a new instance given the raw limbs form. Note that this is least significant bit first.

pub fn to_str_hex(&self) -> String

pub fn iter_bit(&self) -> FpBitIter<'_, Fp480>

Trait Implementations

impl Add<Fp480> for Fp480

type Output = Fp480

The resulting type after applying the + operator.

fn add(self, other: Fp480) -> Fp480

Performs the + operation.

impl AddAssign<Fp480> for Fp480

fn add_assign(&mut self, other: Fp480)

Performs the += operation.

impl Clone for Fp480

fn clone(&self) -> Fp480

Returns a copy of the value.

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

Performs copy-assignment from source.

impl ConstantSwap for Fp480

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

Swaps this with other if the value was true

impl Debug for Fp480

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

Formats the value using the given formatter.

impl Default for Fp480

fn default() -> Self

Returns the “default value” for a type.

impl Div<Fp480> for Fp480

type Output = Fp480

The resulting type after applying the / operator.

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

Performs the / operation.

impl From<[u8; 60]> for Fp480

Assume element zero is most sig

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

Performs the conversion.

impl From<[u8; 64]> for Fp480

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

Performs the conversion.

impl From<u32> for Fp480

fn from(src: u32) -> Self

Performs the conversion.

impl From<u64> for Fp480

fn from(src: u64) -> Self

Performs the conversion.

impl From<u8> for Fp480

fn from(src: u8) -> Self

Performs the conversion.

impl Inv for Fp480

type Output = Fp480

The result after applying the operator.

fn inv(self) -> Fp480

Returns the multiplicative inverse of self.

impl LowerHex for Fp480

Prints the hex value of the number in big endian (most significant digit on the left and least on the right) to make debugging easier.

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

Formats the value using the given formatter.

impl Mul<Fp480> for Fp480

type Output = Fp480

The resulting type after applying the * operator.

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

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 Mul<u32> for Fp480

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 = Fp480

The resulting type after applying the * operator.

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

Performs the * operation.

impl MulAssign<Fp480> for Fp480

Note that this uses a conversion to montgomery form and then multiplies by the other value to get back out. This takes less time than just doing the multiplication and doing a reduction.

fn mul_assign(&mut self, rhs: Fp480)

Performs the *= operation.

impl Neg for Fp480

type Output = Fp480

The resulting type after applying the - operator.

fn neg(self) -> Fp480

Performs the unary - operation.

impl One for Fp480

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.

fn set_one(&mut self)

Sets self to the multiplicative identity element of Self, 1.

impl Ord for Fp480

fn cmp(&self, other: &Fp480) -> 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.

fn clamp(self, min: Self, max: Self) -> Self

Restrict a value to a certain interval.

impl PartialEq<Fp480> for Fp480

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

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

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

This method tests for !=.

impl PartialOrd<Fp480> for Fp480

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

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

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

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

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

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

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

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

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 Pow<Fp480> for Fp480

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

14.94 Algorithm Montgomery exponentiation in Handbook of Applied Crypto INPUT:m=(ml−1···m0)b,R=bl,m′ =−m−1 modb,e=(et···e0)2 withet =1, and an integer x, 1 ≤ x < m. OUTPUT: xe mod m.

1. x􏰁← Mont(x,R2 mod m), A←R mod m. (R mod m and R2 mod m may be pro-ided as inputs.)
2. For i from t down to 0 do the following: 2.1 A←Mont(A,A). 2.2 If ei = 1 then A← Mont(A, x􏰁).
3. A←Mont(A,1).
4. Return(A).

type Output = Fp480

The result after applying the operator.

impl Pow<u32> for Fp480

Reveals the exponent. If you need constant time, use Pow<$classname>

type Output = Fp480

The result after applying the operator.

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

Returns self to the power rhs.

impl Sub<Fp480> for Fp480

type Output = Fp480

The resulting type after applying the - operator.

fn sub(self, other: Fp480) -> Fp480

Performs the - operation.

impl SubAssign<Fp480> for Fp480

fn sub_assign(&mut self, other: Fp480)

Performs the -= operation.

impl Zero for Fp480

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.

fn set_zero(&mut self)

Sets self to the additive identity element of Self, 0.

impl Copy for Fp480

impl Eq for Fp480

impl StructuralEq for Fp480

impl StructuralPartialEq for Fp480