Struct Fp 

pub struct Fp<P: FpConfig<N>, const N: usize>(/* private fields */);

Represents an element of the prime field F_p, where p == P::MODULUS. This type can represent elements in any field of size at most N * 64 bits.

Implementations

impl<T: MontConfig<N>, const N: usize> Fp<MontBackend<T, N>, N>

pub const fn new(element: BigInt<N>) -> Self

Construct a new field element from its underlying BigInt data type.

pub const fn new_unchecked(element: BigInt<N>) -> Self

Construct a new field element from its underlying BigInt data type.

Unlike Self::new, this method does not perform Montgomery reduction. Thus, this method should be used only when constructing an element from an integer that has already been put in Montgomery form.

Trait Implementations

impl<'b, P: FpConfig<N>, const N: usize> Add<&'b Fp<P, N>> for &Fp<P, N>

type Output = Fp<P, N>

The resulting type after applying the + operator.

fn add(self, other: &'b Fp<P, N>) -> Fp<P, N>

Performs the + operation.

impl<P: FpConfig<N>, const N: usize> Add<&Fp<P, N>> for Fp<P, N>

type Output = Fp<P, N>

The resulting type after applying the + operator.

fn add(self, other: &Self) -> Self

Performs the + operation.

impl<'a, P: FpConfig<N>, const N: usize> Add<&'a mut Fp<P, N>> for Fp<P, N>

type Output = Fp<P, N>

The resulting type after applying the + operator.

fn add(self, other: &'a mut Self) -> Self

Performs the + operation.

impl<P: FpConfig<N>, const N: usize> Add for Fp<P, N>

type Output = Fp<P, N>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<P: FpConfig<N>, const N: usize> AddAssign<&Fp<P, N>> for Fp<P, N>

fn add_assign(&mut self, other: &Self)

Performs the += operation.

impl<'a, P: FpConfig<N>, const N: usize> AddAssign<&'a mut Fp<P, N>> for Fp<P, N>

fn add_assign(&mut self, other: &'a mut Self)

Performs the += operation.

impl<P: FpConfig<N>, const N: usize> AddAssign for Fp<P, N>

fn add_assign(&mut self, other: Self)

Performs the += operation.

impl<P: FpConfig<N>, const N: usize> AdditiveGroup for Fp<P, N>

const ZERO: Self = P::ZERO

The additive identity of the field.

type Scalar = Fp<P, N>

fn double(&self) -> Self

Doubles self.

fn double_in_place(&mut self) -> &mut Self

Doubles self in place.

fn neg_in_place(&mut self) -> &mut Self

Negates self in place.

impl<P: FpConfig<N>, const N: usize> CanonicalDeserialize for Fp<P, N>

fn deserialize_with_mode<R: Read>( reader: R, _compress: Compress, _validate: Validate, ) -> Result<Self, SerializationError>

The general deserialize method that takes in customization flags.

fn deserialize_compressed<R>(reader: R) -> Result<Self, SerializationError>

where R: Read,

Reads Self from reader using the compressed form if applicable. Performs validation if applicable.

fn deserialize_compressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>

where R: Read,

Reads Self from reader using the compressed form if applicable, without validating the deserialized value.

fn deserialize_uncompressed<R>(reader: R) -> Result<Self, SerializationError>

where R: Read,

Reads Self from reader using the uncompressed form. Performs validation if applicable.

fn deserialize_uncompressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>

where R: Read,

Reads Self from reader using the uncompressed form, without validating the deserialized value.

impl<P: FpConfig<N>, const N: usize> CanonicalDeserializeWithFlags for Fp<P, N>

fn deserialize_with_flags<R: Read, F: Flags>( reader: R, ) -> Result<(Self, F), SerializationError>

Reads Self and Flags from reader. Returns empty flags by default.

impl<P: FpConfig<N>, const N: usize> CanonicalSerialize for Fp<P, N>

fn serialize_with_mode<W: Write>( &self, writer: W, _compress: Compress, ) -> Result<(), SerializationError>

The general serialize method that takes in customization flags.

fn serialized_size(&self, _compress: Compress) -> usize

Returns the size in bytes of the serialized version of self with the given compression mode.

fn serialize_compressed<W>(&self, writer: W) -> Result<(), SerializationError>

where W: Write,

Serializes self into writer using the compressed form if applicable.

fn compressed_size(&self) -> usize

Returns the size in bytes of the compressed serialized version of self.

fn serialize_uncompressed<W>(&self, writer: W) -> Result<(), SerializationError>

where W: Write,

Serializes self into writer using the uncompressed form.

fn uncompressed_size(&self) -> usize

Returns the size in bytes of the uncompressed serialized version of self.

impl<P: FpConfig<N>, const N: usize> CanonicalSerializeWithFlags for Fp<P, N>

fn serialize_with_flags<W: Write, F: Flags>( &self, writer: W, flags: F, ) -> Result<(), SerializationError>

Serializes self and flags into writer.

fn serialized_size_with_flags<F: Flags>(&self) -> usize

Serializes self and flags into writer.

impl<P: FpConfig<N>, const N: usize> Clone for Fp<P, N>

where BigInt<N>: Copy, PhantomData<P>: Copy,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: FpConfig<N>, const N: usize> Debug for Fp<P, N>

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

Formats the value using the given formatter.

impl<P: FpConfig<N>, const N: usize> Default for Fp<P, N>

where BigInt<N>: Default, PhantomData<P>: Default,

fn default() -> Self

Returns the “default value” for a type.

impl<P: FpConfig<N>, const N: usize> Display for Fp<P, N>

Outputs a string containing the value of self, represented as a decimal without leading zeroes.

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

Formats the value using the given formatter.

impl<P: FpConfig<N>, const N: usize> Distribution<Fp<P, N>> for Standard

fn sample<R: Rng + ?Sized>(&self, rng: &mut R) -> Fp<P, N>

Generate a random value of T, using rng as the source of randomness.

fn sample_iter<R>(self, rng: R) -> DistIter<Self, R, T>

where R: Rng, Self: Sized,

Create an iterator that generates random values of T, using rng as the source of randomness.

fn map<F, S>(self, func: F) -> DistMap<Self, F, T, S>

where F: Fn(T) -> S, Self: Sized,

Create a distribution of values of ‘S’ by mapping the output of Self through the closure F

impl<P: FpConfig<N>, const N: usize> Div<&Fp<P, N>> for &Fp<P, N>

type Output = Fp<P, N>

The resulting type after applying the / operator.

fn div(self, other: &Fp<P, N>) -> Fp<P, N>

Performs the / operation.

impl<P: FpConfig<N>, const N: usize> Div<&Fp<P, N>> for Fp<P, N>

fn div(self, other: &Self) -> Self

Returns self * other.inverse() if other.inverse() is Some, and panics otherwise.

type Output = Fp<P, N>

The resulting type after applying the / operator.

impl<'a, P: FpConfig<N>, const N: usize> Div<&'a mut Fp<P, N>> for Fp<P, N>

type Output = Fp<P, N>

The resulting type after applying the / operator.

fn div(self, other: &'a mut Self) -> Self

Performs the / operation.

impl<P: FpConfig<N>, const N: usize> Div for Fp<P, N>

type Output = Fp<P, N>

The resulting type after applying the / operator.

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

Performs the / operation.

impl<P: FpConfig<N>, const N: usize> DivAssign<&Fp<P, N>> for Fp<P, N>

Computes self *= other.inverse() if other.inverse() is Some, and panics otherwise.

fn div_assign(&mut self, other: &Self)

Performs the /= operation.

impl<'a, P: FpConfig<N>, const N: usize> DivAssign<&'a mut Fp<P, N>> for Fp<P, N>

fn div_assign(&mut self, other: &'a mut Self)

Performs the /= operation.

impl<P: FpConfig<N>, const N: usize> DivAssign for Fp<P, N>

fn div_assign(&mut self, other: Self)

Performs the /= operation.

impl<P: FpConfig<N>, const N: usize> FftField for Fp<P, N>

const GENERATOR: Self = P::GENERATOR

The generator of the multiplicative group of the field

const TWO_ADICITY: u32 = P::TWO_ADICITY

Let N be the size of the multiplicative group defined by the field. Then TWO_ADICITY is the two-adicity of N, i.e. the integer s such that N = 2^s * t for some odd integer t.

const TWO_ADIC_ROOT_OF_UNITY: Self = P::TWO_ADIC_ROOT_OF_UNITY

2^s root of unity computed by GENERATOR^t

const SMALL_SUBGROUP_BASE: Option<u32> = P::SMALL_SUBGROUP_BASE

An integer b such that there exists a multiplicative subgroup of size b^k for some integer k.

const SMALL_SUBGROUP_BASE_ADICITY: Option<u32> = P::SMALL_SUBGROUP_BASE_ADICITY

The integer k such that there exists a multiplicative subgroup of size Self::SMALL_SUBGROUP_BASE^k.

const LARGE_SUBGROUP_ROOT_OF_UNITY: Option<Self> = P::LARGE_SUBGROUP_ROOT_OF_UNITY

GENERATOR^((MODULUS-1) / (2^s * SMALL_SUBGROUP_BASE^SMALL_SUBGROUP_BASE_ADICITY)) Used for mixed-radix FFT.

fn get_root_of_unity(n: u64) -> Option<Self>

Returns the root of unity of order n, if one exists. If no small multiplicative subgroup is defined, this is the 2-adic root of unity of order n (for n a power of 2). If a small multiplicative subgroup is defined, this is the root of unity of order n for the larger subgroup generated by FftConfig::LARGE_SUBGROUP_ROOT_OF_UNITY (for n = 2^i * FftConfig::SMALL_SUBGROUP_BASE^j for some i, j).

fn get_root_of_unity_big_int(n: BigUint) -> Option<Self>

Returns the root of unity of order n, if one exists. If no small multiplicative subgroup is defined, this is the 2-adic root of unity of order n (for n a power of 2). If a small multiplicative subgroup is defined, this is the root of unity of order n for the larger subgroup generated by FftConfig::LARGE_SUBGROUP_ROOT_OF_UNITY (for n = 2^i * FftConfig::SMALL_SUBGROUP_BASE^j for some i, j).

impl<P: FpConfig<N>, const N: usize> Field for Fp<P, N>

fn frobenius_map_in_place(&mut self, _: usize)

The Frobenius map has no effect in a prime field.

fn mul_by_base_prime_field(&self, elem: &Self::BasePrimeField) -> Self

Fp is already a “BasePrimeField”, so it’s just mul by self

const SQRT_PRECOMP: Option<SqrtPrecomputation<Self>> = P::SQRT_PRECOMP

Determines the algorithm for computing square roots.

const ONE: Self = P::ONE

The multiplicative identity of the field.

const NEG_ONE: Self = P::NEG_ONE

Negation of the multiplicative identity of the field.

type BasePrimeField = Fp<P, N>

fn extension_degree() -> u64

Returns the extension degree of this field with respect to Self::BasePrimeField.

fn from_base_prime_field(elem: Self::BasePrimeField) -> Self

Constructs a field element from a single base prime field elements.

fn to_base_prime_field_elements( &self, ) -> impl Iterator<Item = Self::BasePrimeField>

fn from_base_prime_field_elems( elems: impl IntoIterator<Item = Self::BasePrimeField>, ) -> Option<Self>

Convert a slice of base prime field elements into a field element. If the slice length != Self::extension_degree(), must return None.

fn characteristic() -> &'static [u64]

Returns the characteristic of the field, in little-endian representation.

fn sum_of_products<const T: usize>(a: &[Self; T], b: &[Self; T]) -> Self

Returns sum([a_i * b_i]).

fn from_random_bytes_with_flags<F: Flags>(bytes: &[u8]) -> Option<(Self, F)>

Attempt to deserialize a field element, splitting the bitflags metadata according to F specification. Returns None if the deserialization fails.

fn square(&self) -> Self

Returns self * self.

fn square_in_place(&mut self) -> &mut Self

Squares self in place.

fn inverse(&self) -> Option<Self>

Computes the multiplicative inverse of self if self is nonzero.

fn inverse_in_place(&mut self) -> Option<&mut Self>

If self.inverse().is_none(), this just returns None. Otherwise, it sets self to self.inverse().unwrap().

fn legendre(&self) -> LegendreSymbol

Returns a LegendreSymbol, which indicates whether this field element is 1 : a quadratic residue 0 : equal to 0 -1 : a quadratic non-residue

fn from_random_bytes(bytes: &[u8]) -> Option<Self>

Attempt to deserialize a field element. Returns None if the deserialization fails.

fn sqrt(&self) -> Option<Self>

Returns the square root of self, if it exists.

fn sqrt_in_place(&mut self) -> Option<&mut Self>

Sets self to be the square root of self, if it exists.

fn frobenius_map(&self, power: usize) -> Self

Returns self^s, where s = Self::BasePrimeField::MODULUS^power. This is also called the Frobenius automorphism.

fn pow<S: AsRef<[u64]>>(&self, exp: S) -> Self

Returns self^exp, where exp is an integer represented with u64 limbs, least significant limb first.

fn pow_with_table<S: AsRef<[u64]>>(powers_of_2: &[Self], exp: S) -> Option<Self>

Exponentiates a field element f by a number represented with u64 limbs, using a precomputed table containing as many powers of 2 of f as the 1 + the floor of log2 of the exponent exp, starting from the 1st power. That is, powers_of_2 should equal &[p, p^2, p^4, ..., p^(2^n)] when exp has at most n bits.

impl<P: FpConfig<N>, const N: usize> From<BigInt<N>> for Fp<P, N>

fn from(int: BigInt<N>) -> Self

Converts Self::BigInteger into Self

impl<P: FpConfig<N>, const N: usize> From<BigUint> for Fp<P, N>

fn from(val: BigUint) -> Fp<P, N>

Converts to this type from the input type.

impl<P: FpConfig<N>, const N: usize> From<Fp<P, N>> for BigInt<N>

fn from(fp: Fp<P, N>) -> Self

Converts to this type from the input type.

impl<P: FpConfig<N>, const N: usize> From<Fp<P, N>> for BigUint

fn from(other: Fp<P, N>) -> Self

Converts to this type from the input type.

impl<P: FpConfig<N>, const N: usize> From<bool> for Fp<P, N>

fn from(other: bool) -> Self

Converts to this type from the input type.

impl<P: FpConfig<N>, const N: usize> From<i128> for Fp<P, N>

fn from(other: i128) -> Self

Converts to this type from the input type.

impl<P: FpConfig<N>, const N: usize> From<i16> for Fp<P, N>

fn from(other: i16) -> Self

Converts to this type from the input type.

impl<P: FpConfig<N>, const N: usize> From<i32> for Fp<P, N>

fn from(other: i32) -> Self

Converts to this type from the input type.

impl<P: FpConfig<N>, const N: usize> From<i64> for Fp<P, N>

fn from(other: i64) -> Self

Converts to this type from the input type.

impl<P: FpConfig<N>, const N: usize> From<i8> for Fp<P, N>

fn from(other: i8) -> Self

Converts to this type from the input type.

impl<P: FpConfig<N>, const N: usize> From<u128> for Fp<P, N>

fn from(other: u128) -> Self

Converts to this type from the input type.

impl<P: FpConfig<N>, const N: usize> From<u16> for Fp<P, N>

fn from(other: u16) -> Self

Converts to this type from the input type.

impl<P: FpConfig<N>, const N: usize> From<u32> for Fp<P, N>

fn from(other: u32) -> Self

Converts to this type from the input type.

impl<P: FpConfig<N>, const N: usize> From<u64> for Fp<P, N>

fn from(other: u64) -> Self

Converts to this type from the input type.

impl<P: FpConfig<N>, const N: usize> From<u8> for Fp<P, N>

fn from(other: u8) -> Self

Converts to this type from the input type.

impl<P: FpConfig<N>, const N: usize> FromStr for Fp<P, N>

fn from_str(s: &str) -> Result<Self, Self::Err>

Interpret a string of numbers as a (congruent) prime field element. Does not accept unnecessary leading zeroes or a blank string.

type Err = ()

The associated error which can be returned from parsing.

impl<P: FpConfig<N>, const N: usize> Hash for Fp<P, N>

where BigInt<N>: Hash, PhantomData<P>: Hash,

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<P: FpConfig<N>, const N: usize> Mul<&Fp<P, N>> for &Fp<P, N>

type Output = Fp<P, N>

The resulting type after applying the * operator.

fn mul(self, other: &Fp<P, N>) -> Fp<P, N>

Performs the * operation.

impl<P: FpConfig<N>, const N: usize> Mul<&Fp<P, N>> for Fp<P, N>

type Output = Fp<P, N>

The resulting type after applying the * operator.

fn mul(self, other: &Self) -> Self

Performs the * operation.

impl<'a, P: FpConfig<N>, const N: usize> Mul<&'a mut Fp<P, N>> for Fp<P, N>

type Output = Fp<P, N>

The resulting type after applying the * operator.

fn mul(self, other: &'a mut Self) -> Self

Performs the * operation.

impl<P: FpConfig<N>, const N: usize> Mul for Fp<P, N>

type Output = Fp<P, N>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<P: FpConfig<N>, const N: usize> MulAssign<&Fp<P, N>> for Fp<P, N>

fn mul_assign(&mut self, other: &Self)

Performs the *= operation.

impl<'a, P: FpConfig<N>, const N: usize> MulAssign<&'a mut Fp<P, N>> for Fp<P, N>

fn mul_assign(&mut self, other: &'a mut Self)

Performs the *= operation.

impl<P: FpConfig<N>, const N: usize> MulAssign for Fp<P, N>

fn mul_assign(&mut self, other: Self)

Performs the *= operation.

impl<P: FpConfig<N>, const N: usize> Neg for Fp<P, N>

type Output = Fp<P, N>

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl<P: FpConfig<N>, const N: usize> One for Fp<P, N>

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<P: FpConfig<N>, const N: usize> Ord for Fp<P, N>

Note that this implementation of Ord compares field elements viewing them as integers in the range 0, 1, …, P::MODULUS - 1. However, other implementations of PrimeField might choose a different ordering, and as such, users should use this Ord for applications where any ordering suffices (like in a BTreeMap), and not in applications where a particular ordering is required.

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

This method returns an Ordering between self and other.

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

where Self: Sized,

Compares and returns the maximum of two values.

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

where Self: Sized,

Compares and returns the minimum of two values.

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

where Self: Sized,

Restrict a value to a certain interval.

impl<P: FpConfig<N>, const N: usize> PartialEq for Fp<P, N>

where BigInt<N>: PartialEq, PhantomData<P>: PartialEq,

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<P: FpConfig<N>, const N: usize> PartialOrd for Fp<P, N>

Note that this implementation of PartialOrd compares field elements viewing them as integers in the range 0, 1, …, P::MODULUS - 1. However, other implementations of PrimeField might choose a different ordering, and as such, users should use this PartialOrd for applications where any ordering suffices (like in a BTreeMap), and not in applications where a particular ordering is required.

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

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

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

Tests less than (for self and other) and is used by the < operator.

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

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

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

Tests greater than (for self and other) and is used by the > operator.

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

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

impl<P: FpConfig<N>, const N: usize> PrimeField for Fp<P, N>

const MODULUS: Self::BigInt = P::MODULUS

The modulus p.

const MODULUS_MINUS_ONE_DIV_TWO: Self::BigInt

The value (p - 1)/ 2.

const MODULUS_BIT_SIZE: u32

The size of the modulus in bits.

const TRACE: Self::BigInt

The trace of the field is defined as the smallest integer t such that by 2^s * t = p - 1, and t is coprime to 2.

const TRACE_MINUS_ONE_DIV_TWO: Self::BigInt

The value (t - 1)/ 2.

type BigInt = BigInt<N>

A BigInteger type that can represent elements of this field.

fn from_bigint(r: BigInt<N>) -> Option<Self>

Construct a prime field element from an integer in the range 0..(p - 1).

fn into_bigint(self) -> BigInt<N>

Converts an element of the prime field into an integer in the range 0..(p - 1).

fn from_be_bytes_mod_order(bytes: &[u8]) -> Self

Reads bytes in big-endian, and converts them to a field element. If the integer represented by bytes is larger than the modulus p, this method performs the appropriate reduction.

fn from_le_bytes_mod_order(bytes: &[u8]) -> Self

Reads bytes in little-endian, and converts them to a field element. If the integer represented by bytes is larger than the modulus p, this method performs the appropriate reduction.

impl<'a, P: FpConfig<N>, const N: usize> Product<&'a Fp<P, N>> for Fp<P, N>

fn product<I: Iterator<Item = &'a Self>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by multiplying the items.

impl<P: FpConfig<N>, const N: usize> Product for Fp<P, N>

fn product<I: Iterator<Item = Self>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by multiplying the items.

impl<P: FpConfig<N>, const N: usize> Sub<&Fp<P, N>> for &Fp<P, N>

type Output = Fp<P, N>

The resulting type after applying the - operator.

fn sub(self, other: &Fp<P, N>) -> Fp<P, N>

Performs the - operation.

impl<P: FpConfig<N>, const N: usize> Sub<&Fp<P, N>> for Fp<P, N>

type Output = Fp<P, N>

The resulting type after applying the - operator.

fn sub(self, other: &Self) -> Self

Performs the - operation.

impl<'a, P: FpConfig<N>, const N: usize> Sub<&'a mut Fp<P, N>> for Fp<P, N>

type Output = Fp<P, N>

The resulting type after applying the - operator.

fn sub(self, other: &'a mut Self) -> Self

Performs the - operation.

impl<P: FpConfig<N>, const N: usize> Sub for Fp<P, N>

type Output = Fp<P, N>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<P: FpConfig<N>, const N: usize> SubAssign<&Fp<P, N>> for Fp<P, N>

fn sub_assign(&mut self, other: &Self)

Performs the -= operation.

impl<'a, P: FpConfig<N>, const N: usize> SubAssign<&'a mut Fp<P, N>> for Fp<P, N>

fn sub_assign(&mut self, other: &'a mut Self)

Performs the -= operation.

impl<P: FpConfig<N>, const N: usize> SubAssign for Fp<P, N>

fn sub_assign(&mut self, other: Self)

Performs the -= operation.

impl<'a, P: FpConfig<N>, const N: usize> Sum<&'a Fp<P, N>> for Fp<P, N>

fn sum<I: Iterator<Item = &'a Self>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by “summing up” the items.

impl<P: FpConfig<N>, const N: usize> Sum for Fp<P, N>

fn sum<I: Iterator<Item = Self>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by “summing up” the items.

impl<P: FpConfig<N>, const N: usize> Valid for Fp<P, N>

const TRIVIAL_CHECK: bool = true

Whether the check method is trivial (i.e. always returns Ok(())). If this is true, the batch_check method will skip all checks and return Ok(()). This should be set to true for types where check is trivial, e.g. integers, field elements, etc. This is false by default. This is primarily an optimization to skip unnecessary checks in batch_check.

fn check(&self) -> Result<(), SerializationError>

Checks whether self is valid. If self is valid, returns Ok(()). Otherwise, returns an error describing the failure. This method is called by deserialize_with_mode if validate is Validate::Yes.

fn batch_check<'a>( _: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,

Checks whether all items in batch are valid. If all items are valid, returns Ok(()). Otherwise, returns an error describing the first failure.

impl<P: FpConfig<N>, const N: usize> Zero for Fp<P, N>

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<P: FpConfig<N>, const N: usize> Zeroize for Fp<P, N>

fn zeroize(&mut self)

Zero out this object from memory using Rust intrinsics which ensure the zeroization operation is not “optimized away” by the compiler.

impl<P: FpConfig<N>, const N: usize> Copy for Fp<P, N>

where BigInt<N>: Copy, PhantomData<P>: Copy,

impl<P: FpConfig<N>, const N: usize> Eq for Fp<P, N>

where BigInt<N>: PartialEq, PhantomData<P>: PartialEq,