Struct salty::FieldElement

[+] Show declaration

pub struct FieldElement(pub [u32; 8]);

Methods

impl FieldElement[−]

pub fn reduce_completely(value: &mut FieldElement)

Trait Implementations

impl FieldImplementation for FieldElement[+]

[+] Show hidden undocumented items

type Limbs = [u32; 8]

Internal representation as limbs

const ZERO: Self

const ONE: Self

const D: Self

const D2: Self

const BASEPOINT_X: Self

const BASEPOINT_Y: Self

const I: Self

fn to_bytes(&self) -> [u8; 32][−]

to canonical representation as little-endian bytes

fn from_bytes_unchecked(bytes: &[u8; 32]) -> FieldElement[−]

construct from canonical representation as little-endian bytes

fn inverse(&self) -> FieldElement

fn squared(&self) -> FieldElement[−]

default implementation, actual implementation may override this with a faster version

fn pow2523(&self) -> FieldElement

fn from_bytes(bytes: &[u8; 32]) -> Result<Self>[−]

construct from canonical representation as little-endian bytes, with validity check

fn parity(&self) -> u8[−]

parity of field element, viewed as integer modulo 2**255 - 19

impl PartialEq<FieldElement> for FieldElement[+]

[+] Show hidden undocumented items

fn eq(&self, other: &Self) -> bool[−]

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

[+] Expand attributes

#[must_use] fn ne(&self, other: &Rhs) -> bool[−]

This method tests for !=.

impl<'a, 'b> Add<&'b FieldElement> for &'a FieldElement[+]

type Output = FieldElement

The resulting type after applying the + operator.

fn add(self, other: &'b FieldElement) -> FieldElement[−]

Addition of field elements

impl<'a, 'b> Sub<&'b FieldElement> for &'a FieldElement[+]

[+] Show hidden undocumented items

type Output = FieldElement

The resulting type after applying the - operator.

fn sub(self, other: &'b FieldElement) -> FieldElement[−]

Performs the - operation.

impl<'a, 'b> Mul<&'b FieldElement> for &'a FieldElement[+]

[+] Show hidden undocumented items

type Output = FieldElement

The resulting type after applying the * operator.

fn mul(self, other: &'b FieldElement) -> FieldElement[−]

Performs the * operation.

impl<'a> Neg for &'a FieldElement[+]

[+] Show hidden undocumented items

type Output = FieldElement

The resulting type after applying the - operator.

fn neg(self) -> FieldElement[−]

Performs the unary - operation.

impl<'b> AddAssign<&'b FieldElement> for FieldElement[+]

[+] Show hidden undocumented items

fn add_assign(&mut self, other: &'b FieldElement)[−]

Performs the += operation.

impl<'b> SubAssign<&'b FieldElement> for FieldElement[+]

[+] Show hidden undocumented items

fn sub_assign(&mut self, other: &'b FieldElement)[−]

Performs the -= operation.

impl<'b> MulAssign<&'b FieldElement> for FieldElement[+]

[+] Show hidden undocumented items

fn mul_assign(&mut self, other: &'b FieldElement)[−]

Performs the *= operation.

impl Debug for FieldElement[+]

[+] Show hidden undocumented items

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

Formats the value using the given formatter.

impl Copy for FieldElement

impl Clone for FieldElement[+]

[+] Show hidden undocumented items

fn clone(&self) -> FieldElement[−]

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)[−]

Performs copy-assignment from source.

impl Default for FieldElement[+]

[+] Show hidden undocumented items

fn default() -> FieldElement[−]

Returns the "default value" for a type.

impl ConstantTimeEq for FieldElement[+]

[+] Show hidden undocumented items

fn ct_eq(&self, other: &Self) -> Choice[−]

Determine if two items are equal.

impl ConditionallySelectable for FieldElement[+]

[+] Show hidden undocumented items

fn conditional_select(a: &Self, b: &Self, choice: Choice) -> Self[−]

Select a or b according to choice.

fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)[−]

Conditionally swap self and other if choice == 1; otherwise, reassign both unto themselves.

fn conditional_assign(&mut self, other: &Self, choice: Choice)[−]

Conditionally assign other to self, according to choice.