pub struct Fp(pub u32);Tuple Fields§
§0: u32Trait Implementations§
Source§impl<'a> AddAssign<&'a Fp> for Fp
impl<'a> AddAssign<&'a Fp> for Fp
Source§fn add_assign(&mut self, other: &Self)
fn add_assign(&mut self, other: &Self)
+= operation. Read moreSource§impl<'a> AddAssign<&'a mut Fp> for Fp
impl<'a> AddAssign<&'a mut Fp> for Fp
Source§fn add_assign(&mut self, other: &mut Self)
fn add_assign(&mut self, other: &mut Self)
+= operation. Read moreSource§impl AddAssign for Fp
impl AddAssign for Fp
Source§fn add_assign(&mut self, other: Self)
fn add_assign(&mut self, other: Self)
+= operation. Read moreSource§impl CanonicalDeserialize for Fp
impl CanonicalDeserialize for Fp
Source§fn deserialize_with_mode<R: Read>(
reader: R,
_compress: Compress,
_validate: Validate,
) -> Result<Self, SerializationError>
fn deserialize_with_mode<R: Read>( reader: R, _compress: Compress, _validate: Validate, ) -> Result<Self, SerializationError>
fn deserialize_compressed<R>(reader: R) -> Result<Self, SerializationError>where
R: Read,
fn deserialize_compressed_unchecked<R>(
reader: R,
) -> Result<Self, SerializationError>where
R: Read,
fn deserialize_uncompressed<R>(reader: R) -> Result<Self, SerializationError>where
R: Read,
fn deserialize_uncompressed_unchecked<R>(
reader: R,
) -> Result<Self, SerializationError>where
R: Read,
Source§impl CanonicalDeserializeWithFlags for Fp
impl CanonicalDeserializeWithFlags for Fp
Source§fn deserialize_with_flags<R: Read, F: Flags>(
reader: R,
) -> Result<(Self, F), SerializationError>
fn deserialize_with_flags<R: Read, F: Flags>( reader: R, ) -> Result<(Self, F), SerializationError>
Self and Flags from reader.
Returns empty flags by default.Source§impl CanonicalSerialize for Fp
impl CanonicalSerialize for Fp
Source§fn serialize_with_mode<W: Write>(
&self,
writer: W,
_compress: Compress,
) -> Result<(), SerializationError>
fn serialize_with_mode<W: Write>( &self, writer: W, _compress: Compress, ) -> Result<(), SerializationError>
fn serialized_size(&self, _compress: Compress) -> usize
fn serialize_compressed<W>(&self, writer: W) -> Result<(), SerializationError>where
W: Write,
fn compressed_size(&self) -> usize
fn serialize_uncompressed<W>(&self, writer: W) -> Result<(), SerializationError>where
W: Write,
fn uncompressed_size(&self) -> usize
Source§impl CanonicalSerializeWithFlags for Fp
impl CanonicalSerializeWithFlags for Fp
Source§fn serialize_with_flags<W: Write, F: Flags>(
&self,
writer: W,
flags: F,
) -> Result<(), SerializationError>
fn serialize_with_flags<W: Write, F: Flags>( &self, writer: W, flags: F, ) -> Result<(), SerializationError>
self and flags into writer.Source§fn serialized_size_with_flags<F: Flags>(&self) -> usize
fn serialized_size_with_flags<F: Flags>(&self) -> usize
self and flags into writer.Source§impl Display for Fp
Outputs a string containing the value of self,
represented as a decimal without leading zeroes.
impl Display for Fp
Outputs a string containing the value of self,
represented as a decimal without leading zeroes.
Source§impl Distribution<Fp> for Standard
impl Distribution<Fp> for Standard
Source§impl<'a> DivAssign<&'a Fp> for Fp
Computes self *= other.inverse() if other.inverse() is Some, and
panics otherwise.
impl<'a> DivAssign<&'a Fp> for Fp
Computes self *= other.inverse() if other.inverse() is Some, and
panics otherwise.
Source§fn div_assign(&mut self, other: &Self)
fn div_assign(&mut self, other: &Self)
/= operation. Read moreSource§impl<'a> DivAssign<&'a mut Fp> for Fp
impl<'a> DivAssign<&'a mut Fp> for Fp
Source§fn div_assign(&mut self, other: &'a mut Self)
fn div_assign(&mut self, other: &'a mut Self)
/= operation. Read moreSource§impl DivAssign for Fp
impl DivAssign for Fp
Source§fn div_assign(&mut self, other: Self)
fn div_assign(&mut self, other: Self)
/= operation. Read moreSource§impl FftField for Fp
impl FftField for Fp
Source§const TWO_ADICITY: u32 = 1u32
const TWO_ADICITY: u32 = 1u32
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.Source§const TWO_ADIC_ROOT_OF_UNITY: Self
const TWO_ADIC_ROOT_OF_UNITY: Self
Source§const SMALL_SUBGROUP_BASE: Option<u32> = None
const SMALL_SUBGROUP_BASE: Option<u32> = None
b such that there exists a multiplicative subgroup
of size b^k for some integer k.Source§const SMALL_SUBGROUP_BASE_ADICITY: Option<u32> = None
const SMALL_SUBGROUP_BASE_ADICITY: Option<u32> = None
k such that there exists a multiplicative subgroup
of size Self::SMALL_SUBGROUP_BASE^k.Source§const LARGE_SUBGROUP_ROOT_OF_UNITY: Option<Self> = None
const LARGE_SUBGROUP_ROOT_OF_UNITY: Option<Self> = None
Source§fn get_root_of_unity(n: u64) -> Option<Self>
fn get_root_of_unity(n: u64) -> Option<Self>
FftConfig::LARGE_SUBGROUP_ROOT_OF_UNITY
(for n = 2^i * FftConfig::SMALL_SUBGROUP_BASE^j for some i, j).Source§impl Field for Fp
impl Field for Fp
Source§fn frobenius_map_in_place(&mut self, _: usize)
fn frobenius_map_in_place(&mut self, _: usize)
The Frobenius map has no effect in a prime field.
Source§const SQRT_PRECOMP: Option<SqrtPrecomputation<Self>>
const SQRT_PRECOMP: Option<SqrtPrecomputation<Self>>
type BasePrimeField = Fp
type BasePrimeFieldIter = Once<<Fp as Field>::BasePrimeField>
Source§fn extension_degree() -> u64
fn extension_degree() -> u64
Self::BasePrimeField.Source§fn from_base_prime_field(elem: Self::BasePrimeField) -> Self
fn from_base_prime_field(elem: Self::BasePrimeField) -> Self
fn to_base_prime_field_elements(&self) -> Self::BasePrimeFieldIter
Source§fn from_base_prime_field_elems(elems: &[Self::BasePrimeField]) -> Option<Self>
fn from_base_prime_field_elems(elems: &[Self::BasePrimeField]) -> Option<Self>
Source§fn double_in_place(&mut self) -> &mut Self
fn double_in_place(&mut self) -> &mut Self
self in place.Source§fn neg_in_place(&mut self) -> &mut Self
fn neg_in_place(&mut self) -> &mut Self
self in place.Source§fn characteristic() -> &'static [u64]
fn characteristic() -> &'static [u64]
Source§fn sum_of_products<const T: usize>(a: &[Self; T], b: &[Self; T]) -> Self
fn sum_of_products<const T: usize>(a: &[Self; T], b: &[Self; T]) -> Self
sum([a_i * b_i]).Source§fn from_random_bytes_with_flags<F: Flags>(_bytes: &[u8]) -> Option<(Self, F)>
fn from_random_bytes_with_flags<F: Flags>(_bytes: &[u8]) -> Option<(Self, F)>
F specification. Returns None if the deserialization
fails. Read moreSource§fn square_in_place(&mut self) -> &mut Self
fn square_in_place(&mut self) -> &mut Self
self in place.Source§fn inverse(&self) -> Option<Self>
fn inverse(&self) -> Option<Self>
self if self is nonzero.Source§fn inverse_in_place(&mut self) -> Option<&mut Self>
fn inverse_in_place(&mut self) -> Option<&mut Self>
self.inverse().is_none(), this just returns None. Otherwise, it sets
self to self.inverse().unwrap().Source§fn legendre(&self) -> LegendreSymbol
fn legendre(&self) -> LegendreSymbol
LegendreSymbol, which indicates whether this field element
is 1 : a quadratic residue
0 : equal to 0
-1 : a quadratic non-residueSource§fn from_random_bytes(bytes: &[u8]) -> Option<Self>
fn from_random_bytes(bytes: &[u8]) -> Option<Self>
None if the
deserialization fails. Read moreSource§fn sqrt_in_place(&mut self) -> Option<&mut Self>
fn sqrt_in_place(&mut self) -> Option<&mut Self>
self to be the square root of self, if it exists.Source§fn frobenius_map(&self, power: usize) -> Self
fn frobenius_map(&self, power: usize) -> Self
self^s, where s = Self::BasePrimeField::MODULUS^power.
This is also called the Frobenius automorphism.Source§fn pow<S>(&self, exp: S) -> Self
fn pow<S>(&self, exp: S) -> Self
self^exp, where exp is an integer represented with u64 limbs,
least significant limb first.Source§fn pow_with_table<S>(powers_of_2: &[Self], exp: S) -> Option<Self>
fn pow_with_table<S>(powers_of_2: &[Self], exp: S) -> Option<Self>
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. Read moreSource§impl<'a> MulAssign<&'a Fp> for Fp
impl<'a> MulAssign<&'a Fp> for Fp
Source§fn mul_assign(&mut self, other: &'a Self)
fn mul_assign(&mut self, other: &'a Self)
*= operation. Read moreSource§impl<'a> MulAssign<&'a mut Fp> for Fp
impl<'a> MulAssign<&'a mut Fp> for Fp
Source§fn mul_assign(&mut self, other: &'a mut Self)
fn mul_assign(&mut self, other: &'a mut Self)
*= operation. Read moreSource§impl MulAssign for Fp
impl MulAssign for Fp
Source§fn mul_assign(&mut self, other: Self)
fn mul_assign(&mut self, other: Self)
*= operation. Read moreSource§impl Ord for Fp
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.
impl Ord for Fp
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.
Source§impl PartialOrd for Fp
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.
impl PartialOrd for Fp
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.
Source§impl PrimeField for Fp
impl PrimeField for Fp
Source§const MODULUS_MINUS_ONE_DIV_TWO: Self::BigInt
const MODULUS_MINUS_ONE_DIV_TWO: Self::BigInt
(p - 1)/ 2.Source§const MODULUS_BIT_SIZE: u32 = 31u32
const MODULUS_BIT_SIZE: u32 = 31u32
Source§const TRACE: Self::BigInt
const TRACE: Self::BigInt
t such that by
2^s * t = p - 1, and t is coprime to 2.Source§const TRACE_MINUS_ONE_DIV_TWO: Self::BigInt
const TRACE_MINUS_ONE_DIV_TWO: Self::BigInt
(t - 1)/ 2.Source§fn from_bigint(r: BigInt<1>) -> Option<Self>
fn from_bigint(r: BigInt<1>) -> Option<Self>
Source§fn into_bigint(self) -> BigInt<1>
fn into_bigint(self) -> BigInt<1>
Source§fn from_be_bytes_mod_order(bytes: &[u8]) -> Self
fn from_be_bytes_mod_order(bytes: &[u8]) -> Self
bytes is larger than the modulus p, this method
performs the appropriate reduction.Source§fn from_le_bytes_mod_order(bytes: &[u8]) -> Self
fn from_le_bytes_mod_order(bytes: &[u8]) -> Self
bytes is larger than the modulus p, this method
performs the appropriate reduction.Source§impl<'a> SubAssign<&'a Fp> for Fp
impl<'a> SubAssign<&'a Fp> for Fp
Source§fn sub_assign(&mut self, other: &Self)
fn sub_assign(&mut self, other: &Self)
-= operation. Read moreSource§impl<'a> SubAssign<&'a mut Fp> for Fp
impl<'a> SubAssign<&'a mut Fp> for Fp
Source§fn sub_assign(&mut self, other: &mut Self)
fn sub_assign(&mut self, other: &mut Self)
-= operation. Read moreSource§impl SubAssign for Fp
impl SubAssign for Fp
Source§fn sub_assign(&mut self, other: Self)
fn sub_assign(&mut self, other: Self)
-= operation. Read more