Type Definition zerocaf::field::FieldElement

type FieldElement = FieldElement;

[−] Expand description

A FieldElement represents an element of the field 2^252 + 27742317777372353535851937790883648493

The FieldElement type is an alias for one of the platform-specific implementations.

Methods

impl FieldElement[−]

pub fn random<T>(rand: &mut T) -> FieldElement where
    T: Rng + CryptoRng, [−]

Generate a valid FieldElement choosen uniformly using user- provided rng.

By rng we mean any Rng that implements: Rng + CryptoRng.

Trait Implementations

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_assign(&mut self, other: &Self, choice: Choice)[−]

Conditionally assign other to self, 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.

impl ConstantTimeEq for FieldElement[+]

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

Test equality between two FieldElements. Since the internal representation is not canonical, the field elements are normalized to wire format before comparison.

impl<'_> Into<Scalar> for &'_ FieldElement[+]

[+] Show hidden undocumented items

fn into(self) -> Scalar[−]

Performs the conversion.

impl PartialEq<FieldElement> for FieldElement[+]

[+] Show hidden undocumented items

fn eq(&self, other: &FieldElement) -> 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 !=.