Struct snarkvm_fields::Fp12
source · pub struct Fp12<P: Fp12Parameters> {
pub c0: Fp6<P::Fp6Params>,
pub c1: Fp6<P::Fp6Params>,
}
Expand description
An element of Fp12, represented by c0 + c1 * v
Fields§
§c0: Fp6<P::Fp6Params>
§c1: Fp6<P::Fp6Params>
Implementations§
source§impl<P: Fp12Parameters> Fp12<P>
impl<P: Fp12Parameters> Fp12<P>
pub fn new(c0: Fp6<P::Fp6Params>, c1: Fp6<P::Fp6Params>) -> Self
pub fn mul_by_fp( &mut self, element: &<<P::Fp6Params as Fp6Parameters>::Fp2Params as Fp2Parameters>::Fp )
pub fn conjugate(&mut self)
pub fn mul_by_034( &mut self, c0: &Fp2<<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params>, c3: &Fp2<<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params>, c4: &Fp2<<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params> )
pub fn mul_by_014( &mut self, c0: &Fp2<<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params>, c1: &Fp2<<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params>, c4: &Fp2<<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params> )
pub fn cyclotomic_square(&self) -> Self
pub fn cyclotomic_exp<S: AsRef<[u64]>>(&self, exp: S) -> Self
Trait Implementations§
source§impl<P: Fp12Parameters> AddAssign<&&Fp12<P>> for Fp12<P>
impl<P: Fp12Parameters> AddAssign<&&Fp12<P>> for Fp12<P>
source§fn add_assign(&mut self, other: &&Self)
fn add_assign(&mut self, other: &&Self)
Performs the
+=
operation. Read moresource§impl<'a, P: Fp12Parameters> AddAssign<&'a Fp12<P>> for Fp12<P>
impl<'a, P: Fp12Parameters> AddAssign<&'a Fp12<P>> for Fp12<P>
source§fn add_assign(&mut self, other: &Self)
fn add_assign(&mut self, other: &Self)
Performs the
+=
operation. Read moresource§impl<'a, P: Fp12Parameters> AddAssign<&'a mut Fp12<P>> for Fp12<P>
impl<'a, P: Fp12Parameters> AddAssign<&'a mut Fp12<P>> for Fp12<P>
source§fn add_assign(&mut self, other: &'a mut Self)
fn add_assign(&mut self, other: &'a mut Self)
Performs the
+=
operation. Read moresource§impl<P: Fp12Parameters> AddAssign<Fp12<P>> for Fp12<P>
impl<P: Fp12Parameters> AddAssign<Fp12<P>> for Fp12<P>
source§fn add_assign(&mut self, other: Self)
fn add_assign(&mut self, other: Self)
Performs the
+=
operation. Read moresource§impl<P: Fp12Parameters> CanonicalDeserialize for Fp12<P>
impl<P: Fp12Parameters> CanonicalDeserialize for Fp12<P>
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<P: Fp12Parameters> CanonicalDeserializeWithFlags for Fp12<P>
impl<P: Fp12Parameters> CanonicalDeserializeWithFlags for Fp12<P>
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>
Reads
Self
and Flags
from reader
.
Returns empty flags by default.source§impl<P: Fp12Parameters> CanonicalSerialize for Fp12<P>
impl<P: Fp12Parameters> CanonicalSerialize for Fp12<P>
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<P: Fp12Parameters> CanonicalSerializeWithFlags for Fp12<P>
impl<P: Fp12Parameters> CanonicalSerializeWithFlags for Fp12<P>
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>
Serializes
self
and flags
into writer
.source§fn serialized_size_with_flags<F: Flags>(&self) -> usize
fn serialized_size_with_flags<F: Flags>(&self) -> usize
Serializes
self
and flags
into writer
.source§impl<P> Clone for Fp12<P>where
P: Fp12Parameters,
impl<P> Clone for Fp12<P>where P: Fp12Parameters,
source§impl<P> Debug for Fp12<P>where
P: Fp12Parameters,
impl<P> Debug for Fp12<P>where P: Fp12Parameters,
source§impl<P> Default for Fp12<P>where
P: Fp12Parameters,
impl<P> Default for Fp12<P>where P: Fp12Parameters,
source§impl<'de, P: Fp12Parameters> Deserialize<'de> for Fp12<P>
impl<'de, P: Fp12Parameters> Deserialize<'de> for Fp12<P>
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl<P: Fp12Parameters> Display for Fp12<P>
impl<P: Fp12Parameters> Display for Fp12<P>
source§impl<P: Fp12Parameters> Distribution<Fp12<P>> for Standard
impl<P: Fp12Parameters> Distribution<Fp12<P>> for Standard
source§fn sample<R: Rng + ?Sized>(&self, rng: &mut R) -> Fp12<P>
fn sample<R: Rng + ?Sized>(&self, rng: &mut R) -> Fp12<P>
Generate a random value of
T
, using rng
as the source of randomness.source§impl<P: Fp12Parameters> DivAssign<&&Fp12<P>> for Fp12<P>
impl<P: Fp12Parameters> DivAssign<&&Fp12<P>> for Fp12<P>
source§fn div_assign(&mut self, other: &&Self)
fn div_assign(&mut self, other: &&Self)
Performs the
/=
operation. Read moresource§impl<'a, P: Fp12Parameters> DivAssign<&'a Fp12<P>> for Fp12<P>
impl<'a, P: Fp12Parameters> DivAssign<&'a Fp12<P>> for Fp12<P>
source§fn div_assign(&mut self, other: &Self)
fn div_assign(&mut self, other: &Self)
Performs the
/=
operation. Read moresource§impl<'a, P: Fp12Parameters> DivAssign<&'a mut Fp12<P>> for Fp12<P>
impl<'a, P: Fp12Parameters> DivAssign<&'a mut Fp12<P>> for Fp12<P>
source§fn div_assign(&mut self, other: &'a mut Self)
fn div_assign(&mut self, other: &'a mut Self)
Performs the
/=
operation. Read moresource§impl<P: Fp12Parameters> DivAssign<Fp12<P>> for Fp12<P>
impl<P: Fp12Parameters> DivAssign<Fp12<P>> for Fp12<P>
source§fn div_assign(&mut self, other: Self)
fn div_assign(&mut self, other: Self)
Performs the
/=
operation. Read moresource§impl<P: Fp12Parameters> Field for Fp12<P>
impl<P: Fp12Parameters> Field for Fp12<P>
type BasePrimeField = <Fp6<<P as Fp12Parameters>::Fp6Params> as Field>::BasePrimeField
source§fn from_base_prime_field(other: Self::BasePrimeField) -> Self
fn from_base_prime_field(other: Self::BasePrimeField) -> Self
Constructs an element of
Self
from an element of the base
prime field.source§fn characteristic<'a>() -> &'a [u64]
fn characteristic<'a>() -> &'a [u64]
Returns the characteristic of the field.
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)>
Returns a field element with an extra sign bit used for group parsing if
the set of bytes forms a valid field element, otherwise returns
None. This function is primarily intended for sampling
random field elements from a hash-function or RNG output.
source§fn from_random_bytes(bytes: &[u8]) -> Option<Self>
fn from_random_bytes(bytes: &[u8]) -> Option<Self>
Returns a field element if the set of bytes forms a valid field element,
otherwise returns None. This function is primarily intended for sampling
random field elements from a hash-function or RNG output.
source§fn double_in_place(&mut self)
fn double_in_place(&mut self)
Doubles
self
in place.source§fn frobenius_map(&mut self, power: usize)
fn frobenius_map(&mut self, power: usize)
Exponentiates this element by a power of the base prime modulus via
the Frobenius automorphism.
source§fn square_in_place(&mut self) -> &mut Self
fn square_in_place(&mut self) -> &mut Self
Squares
self
in place.source§fn inverse(&self) -> Option<Self>
fn inverse(&self) -> Option<Self>
Computes the multiplicative inverse of
self
if self
is nonzero.source§fn inverse_in_place(&mut self) -> Option<&mut Self>
fn inverse_in_place(&mut self) -> Option<&mut Self>
Sets
self
to self
’s inverse if it exists. Otherwise it is a no-op.fn sum_of_products<'a>( a: impl Iterator<Item = &'a Self> + Clone, b: impl Iterator<Item = &'a Self> + Clone ) -> Self
source§impl<P: Fp12Parameters> FromBytes for Fp12<P>
impl<P: Fp12Parameters> FromBytes for Fp12<P>
source§impl<P> Hash for Fp12<P>where
P: Fp12Parameters,
impl<P> Hash for Fp12<P>where P: Fp12Parameters,
source§impl<P: Fp12Parameters> MulAssign<&&Fp12<P>> for Fp12<P>
impl<P: Fp12Parameters> MulAssign<&&Fp12<P>> for Fp12<P>
source§fn mul_assign(&mut self, other: &&Self)
fn mul_assign(&mut self, other: &&Self)
Performs the
*=
operation. Read moresource§impl<'a, P: Fp12Parameters> MulAssign<&'a Fp12<P>> for Fp12<P>
impl<'a, P: Fp12Parameters> MulAssign<&'a Fp12<P>> for Fp12<P>
source§fn mul_assign(&mut self, other: &Self)
fn mul_assign(&mut self, other: &Self)
Performs the
*=
operation. Read moresource§impl<'a, P: Fp12Parameters> MulAssign<&'a mut Fp12<P>> for Fp12<P>
impl<'a, P: Fp12Parameters> MulAssign<&'a mut Fp12<P>> for Fp12<P>
source§fn mul_assign(&mut self, other: &'a mut Self)
fn mul_assign(&mut self, other: &'a mut Self)
Performs the
*=
operation. Read moresource§impl<P: Fp12Parameters> MulAssign<Fp12<P>> for Fp12<P>
impl<P: Fp12Parameters> MulAssign<Fp12<P>> for Fp12<P>
source§fn mul_assign(&mut self, other: Self)
fn mul_assign(&mut self, other: Self)
Performs the
*=
operation. Read moresource§impl<P: Fp12Parameters> Neg for Fp12<P>
impl<P: Fp12Parameters> Neg for Fp12<P>
source§impl<P: Fp12Parameters> One for Fp12<P>
impl<P: Fp12Parameters> One for Fp12<P>
source§impl<P: Fp12Parameters> Ord for Fp12<P>
impl<P: Fp12Parameters> Ord for Fp12<P>
source§impl<P> PartialEq<Fp12<P>> for Fp12<P>where
P: Fp12Parameters,
impl<P> PartialEq<Fp12<P>> for Fp12<P>where P: Fp12Parameters,
source§impl<P: Fp12Parameters> PartialOrd<Fp12<P>> for Fp12<P>
impl<P: Fp12Parameters> PartialOrd<Fp12<P>> for Fp12<P>
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<P: Fp12Parameters> Serialize for Fp12<P>
impl<P: Fp12Parameters> Serialize for Fp12<P>
source§impl<P: Fp12Parameters> SubAssign<&&Fp12<P>> for Fp12<P>
impl<P: Fp12Parameters> SubAssign<&&Fp12<P>> for Fp12<P>
source§fn sub_assign(&mut self, other: &&Self)
fn sub_assign(&mut self, other: &&Self)
Performs the
-=
operation. Read moresource§impl<'a, P: Fp12Parameters> SubAssign<&'a Fp12<P>> for Fp12<P>
impl<'a, P: Fp12Parameters> SubAssign<&'a Fp12<P>> for Fp12<P>
source§fn sub_assign(&mut self, other: &Self)
fn sub_assign(&mut self, other: &Self)
Performs the
-=
operation. Read moresource§impl<'a, P: Fp12Parameters> SubAssign<&'a mut Fp12<P>> for Fp12<P>
impl<'a, P: Fp12Parameters> SubAssign<&'a mut Fp12<P>> for Fp12<P>
source§fn sub_assign(&mut self, other: &'a mut Self)
fn sub_assign(&mut self, other: &'a mut Self)
Performs the
-=
operation. Read moresource§impl<P: Fp12Parameters> SubAssign<Fp12<P>> for Fp12<P>
impl<P: Fp12Parameters> SubAssign<Fp12<P>> for Fp12<P>
source§fn sub_assign(&mut self, other: Self)
fn sub_assign(&mut self, other: Self)
Performs the
-=
operation. Read moresource§impl<P: Fp12Parameters> ToBits for Fp12<P>
impl<P: Fp12Parameters> ToBits for Fp12<P>
source§fn to_bits_le(&self) -> Vec<bool>
fn to_bits_le(&self) -> Vec<bool>
Returns
self
as a boolean array in little-endian order.source§fn to_bits_be(&self) -> Vec<bool>
fn to_bits_be(&self) -> Vec<bool>
Returns
self
as a boolean array in big-endian order.source§impl<P: Fp12Parameters> ToBytes for Fp12<P>
impl<P: Fp12Parameters> ToBytes for Fp12<P>
source§impl<P: Fp12Parameters> Valid for Fp12<P>
impl<P: Fp12Parameters> Valid for Fp12<P>
fn check(&self) -> Result<(), SerializationError>
fn batch_check<'a>( _batch: impl Iterator<Item = &'a Self> ) -> Result<(), SerializationError>where Self: 'a,
source§impl<P: Fp12Parameters> Zero for Fp12<P>
impl<P: Fp12Parameters> Zero for Fp12<P>
impl<P> Copy for Fp12<P>where P: Fp12Parameters,
impl<P> Eq for Fp12<P>where P: Fp12Parameters,
Auto Trait Implementations§
impl<P> RefUnwindSafe for Fp12<P>where <<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params as Fp2Parameters>::Fp: RefUnwindSafe,
impl<P> Send for Fp12<P>
impl<P> Sync for Fp12<P>
impl<P> Unpin for Fp12<P>where <<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params as Fp2Parameters>::Fp: Unpin,
impl<P> UnwindSafe for Fp12<P>where <<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params as Fp2Parameters>::Fp: UnwindSafe,
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
source§impl<'de, T> DeserializeExt<'de> for Twhere
T: DeserializeOwned,
impl<'de, T> DeserializeExt<'de> for Twhere T: DeserializeOwned,
fn take_from_value<D>( value: &mut Value, field: &str ) -> Result<T, <D as Deserializer<'de>>::Error>where D: Deserializer<'de>,
§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.