Struct poseidon_rs::Fr
source · pub struct Fr(_);
Trait Implementations§
source§impl Field for Fr
impl Field for Fr
source§fn add_assign(&mut self, other: &Fr)
fn add_assign(&mut self, other: &Fr)
Adds another element to this element.
source§fn sub_assign(&mut self, other: &Fr)
fn sub_assign(&mut self, other: &Fr)
Subtracts another element from this element.
source§fn inverse(&self) -> Option<Self>
fn inverse(&self) -> Option<Self>
Computes the multiplicative inverse of this element, if nonzero.
source§fn frobenius_map(&mut self, _: usize)
fn frobenius_map(&mut self, _: usize)
Exponentiates this element by a power of the base prime modulus via
the Frobenius automorphism.
source§fn mul_assign(&mut self, other: &Fr)
fn mul_assign(&mut self, other: &Fr)
Multiplies another element by this element.
source§impl Ord for Fr
impl Ord for Fr
Elements are ordered lexicographically.
source§impl PartialOrd<Fr> for Fr
impl PartialOrd<Fr> for Fr
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moresource§impl PrimeField for Fr
impl PrimeField for Fr
§type Repr = FrRepr
type Repr = FrRepr
The prime field can be converted back and forth into this biginteger
representation.
source§fn from_repr(r: FrRepr) -> Result<Fr, PrimeFieldDecodingError>
fn from_repr(r: FrRepr) -> Result<Fr, PrimeFieldDecodingError>
Convert this prime field element into a biginteger representation.
source§fn from_raw_repr(r: FrRepr) -> Result<Self, PrimeFieldDecodingError>
fn from_raw_repr(r: FrRepr) -> Result<Self, PrimeFieldDecodingError>
Creates an element from raw representation in Montgommery form.
source§fn into_repr(&self) -> FrRepr
fn into_repr(&self) -> FrRepr
Convert a biginteger representation into a prime field element, if
the number is an element of the field.
source§fn into_raw_repr(&self) -> FrRepr
fn into_raw_repr(&self) -> FrRepr
Expose Montgommery represendation.
source§const CAPACITY: u32 = 253u32
const CAPACITY: u32 = 253u32
How many bits of information can be reliably stored in the field element.
source§fn multiplicative_generator() -> Self
fn multiplicative_generator() -> Self
Returns the multiplicative generator of
char()
- 1 order. This element
must also be quadratic nonresidue.source§fn root_of_unity() -> Self
fn root_of_unity() -> Self
Returns the 2^s root of unity computed by exponentiating the
multiplicative_generator()
by t.impl Copy for Fr
impl Eq for Fr
Auto Trait Implementations§
impl RefUnwindSafe for Fr
impl Send for Fr
impl Sync for Fr
impl Unpin for Fr
impl UnwindSafe for Fr
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more