pub type Fp3<P> = CubicExtField<Fp3ConfigWrapper<P>>;
Aliased Type§
struct Fp3<P> {
pub c0: <Fp3ConfigWrapper<P> as CubicExtConfig>::BaseField,
pub c1: <Fp3ConfigWrapper<P> as CubicExtConfig>::BaseField,
pub c2: <Fp3ConfigWrapper<P> as CubicExtConfig>::BaseField,
}
Fields§
§c0: <Fp3ConfigWrapper<P> as CubicExtConfig>::BaseField
§c1: <Fp3ConfigWrapper<P> as CubicExtConfig>::BaseField
§c2: <Fp3ConfigWrapper<P> as CubicExtConfig>::BaseField
Implementations§
Source§impl<P: Fp3Config> Fp3<P>
impl<P: Fp3Config> Fp3<P>
Sourcepub fn mul_assign_by_fp(&mut self, value: &P::Fp)
pub fn mul_assign_by_fp(&mut self, value: &P::Fp)
In-place multiply all coefficients c0
, c1
, and c2
of self
by an element from Fp
.
§Examples
use ark_mnt6_753::{Fq as Fp, Fq3 as Fp3};
let c0: Fp = Fp::rand(&mut test_rng());
let c1: Fp = Fp::rand(&mut test_rng());
let c2: Fp = Fp::rand(&mut test_rng());
let mut ext_element: Fp3 = Fp3::new(c0, c1, c2);
let base_field_element: Fp = Fp::rand(&mut test_rng());
ext_element.mul_assign_by_fp(&base_field_element);
assert_eq!(ext_element.c0, c0 * base_field_element);
assert_eq!(ext_element.c1, c1 * base_field_element);
assert_eq!(ext_element.c2, c2 * base_field_element);
Source§impl<P: CubicExtConfig> CubicExtField<P>
impl<P: CubicExtConfig> CubicExtField<P>
Sourcepub const fn new(c0: P::BaseField, c1: P::BaseField, c2: P::BaseField) -> Self
pub const fn new(c0: P::BaseField, c1: P::BaseField, c2: P::BaseField) -> Self
Create a new field element from coefficients c0
, c1
and c2
so that the result is of the form c0 + c1 * X + c2 * X^2
.
§Examples
use ark_ff::models::cubic_extension::CubicExtField;
let c0: Fp2 = Fp2::rand(&mut test_rng());
let c1: Fp2 = Fp2::rand(&mut test_rng());
let c2: Fp2 = Fp2::rand(&mut test_rng());
// `Fp6` a degree-3 extension over `Fp2`.
let c: CubicExtField<Config> = Fp6::new(c0, c1, c2);
pub fn mul_assign_by_base_field(&mut self, value: &P::BaseField)
Trait Implementations§
Source§impl<P: Fp3Config> CyclotomicMultSubgroup for Fp3<P>
impl<P: Fp3Config> CyclotomicMultSubgroup for Fp3<P>
Source§const INVERSE_IS_FAST: bool = false
const INVERSE_IS_FAST: bool = false
Is the inverse fast to compute? For example, in quadratic extensions, the inverse
can be computed at the cost of negating one coordinate, which is much faster than
standard inversion.
By default this is
false
, but should be set to true
for quadratic extensions.Source§fn cyclotomic_square(&self) -> Self
fn cyclotomic_square(&self) -> Self
Compute a square in the cyclotomic subgroup. By default this is computed using
Field::square
, but for
degree 12 extensions, this can be computed faster than normal squaring. Read moreSource§fn cyclotomic_square_in_place(&mut self) -> &mut Self
fn cyclotomic_square_in_place(&mut self) -> &mut Self
Square
self
in place. By default this is computed using
Field::square_in_place
, but for degree 12 extensions,
this can be computed faster than normal squaring. Read moreSource§fn cyclotomic_inverse(&self) -> Option<Self>
fn cyclotomic_inverse(&self) -> Option<Self>
Compute the inverse of
self
. See Self::INVERSE_IS_FAST
for details.
Returns None
if self.is_zero()
, and Some
otherwise. Read moreSource§fn cyclotomic_inverse_in_place(&mut self) -> Option<&mut Self>
fn cyclotomic_inverse_in_place(&mut self) -> Option<&mut Self>
Compute the inverse of
self
. See Self::INVERSE_IS_FAST
for details.
Returns None
if self.is_zero()
, and Some
otherwise. Read moreSource§fn cyclotomic_exp(&self, e: impl AsRef<[u64]>) -> Self
fn cyclotomic_exp(&self, e: impl AsRef<[u64]>) -> Self
Source§impl<'a, P: CubicExtConfig> Add<&'a CubicExtField<P>> for CubicExtField<P>
impl<'a, P: CubicExtConfig> Add<&'a CubicExtField<P>> for CubicExtField<P>
Source§impl<'a, P: CubicExtConfig> Add<&'a mut CubicExtField<P>> for CubicExtField<P>
impl<'a, P: CubicExtConfig> Add<&'a mut CubicExtField<P>> for CubicExtField<P>
Source§impl<P: CubicExtConfig> Add for CubicExtField<P>
impl<P: CubicExtConfig> Add for CubicExtField<P>
Source§impl<'a, P: CubicExtConfig> AddAssign<&'a CubicExtField<P>> for CubicExtField<P>
impl<'a, P: CubicExtConfig> AddAssign<&'a CubicExtField<P>> for CubicExtField<P>
Source§fn add_assign(&mut self, other: &Self)
fn add_assign(&mut self, other: &Self)
Performs the
+=
operation. Read moreSource§impl<'a, P: CubicExtConfig> AddAssign<&'a mut CubicExtField<P>> for CubicExtField<P>
impl<'a, P: CubicExtConfig> AddAssign<&'a mut CubicExtField<P>> for CubicExtField<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: CubicExtConfig> AddAssign for CubicExtField<P>
impl<P: CubicExtConfig> AddAssign for CubicExtField<P>
Source§fn add_assign(&mut self, other: Self)
fn add_assign(&mut self, other: Self)
Performs the
+=
operation. Read moreSource§impl<P: CubicExtConfig> CanonicalDeserialize for CubicExtField<P>
impl<P: CubicExtConfig> CanonicalDeserialize for CubicExtField<P>
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>
The general deserialize method that takes in customization flags.
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: CubicExtConfig> CanonicalDeserializeWithFlags for CubicExtField<P>
impl<P: CubicExtConfig> CanonicalDeserializeWithFlags for CubicExtField<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: CubicExtConfig> CanonicalSerialize for CubicExtField<P>
impl<P: CubicExtConfig> CanonicalSerialize for CubicExtField<P>
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>
The general serialize method that takes in customization flags.
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: CubicExtConfig> CanonicalSerializeWithFlags for CubicExtField<P>
impl<P: CubicExtConfig> CanonicalSerializeWithFlags for CubicExtField<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 CubicExtField<P>where
P: CubicExtConfig,
impl<P> Clone for CubicExtField<P>where
P: CubicExtConfig,
Source§impl<P> Debug for CubicExtField<P>where
P: CubicExtConfig,
impl<P> Debug for CubicExtField<P>where
P: CubicExtConfig,
Source§impl<P> Default for CubicExtField<P>where
P: CubicExtConfig,
impl<P> Default for CubicExtField<P>where
P: CubicExtConfig,
Source§impl<P: CubicExtConfig> Display for CubicExtField<P>
impl<P: CubicExtConfig> Display for CubicExtField<P>
Source§impl<'a, P: CubicExtConfig> Div<&'a CubicExtField<P>> for CubicExtField<P>
impl<'a, P: CubicExtConfig> Div<&'a CubicExtField<P>> for CubicExtField<P>
Source§impl<'a, P: CubicExtConfig> Div<&'a mut CubicExtField<P>> for CubicExtField<P>
impl<'a, P: CubicExtConfig> Div<&'a mut CubicExtField<P>> for CubicExtField<P>
Source§impl<P: CubicExtConfig> Div for CubicExtField<P>
impl<P: CubicExtConfig> Div for CubicExtField<P>
Source§impl<'a, P: CubicExtConfig> DivAssign<&'a CubicExtField<P>> for CubicExtField<P>
impl<'a, P: CubicExtConfig> DivAssign<&'a CubicExtField<P>> for CubicExtField<P>
Source§fn div_assign(&mut self, other: &Self)
fn div_assign(&mut self, other: &Self)
Performs the
/=
operation. Read moreSource§impl<'a, P: CubicExtConfig> DivAssign<&'a mut CubicExtField<P>> for CubicExtField<P>
impl<'a, P: CubicExtConfig> DivAssign<&'a mut CubicExtField<P>> for CubicExtField<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: CubicExtConfig> DivAssign for CubicExtField<P>
impl<P: CubicExtConfig> DivAssign for CubicExtField<P>
Source§fn div_assign(&mut self, other: Self)
fn div_assign(&mut self, other: Self)
Performs the
/=
operation. Read moreSource§impl<P: CubicExtConfig> Field for CubicExtField<P>
impl<P: CubicExtConfig> Field for CubicExtField<P>
Source§fn legendre(&self) -> LegendreSymbol
fn legendre(&self) -> LegendreSymbol
Returns the Legendre symbol.
Source§const SQRT_PRECOMP: Option<SqrtPrecomputation<Self>> = P::SQRT_PRECOMP
const SQRT_PRECOMP: Option<SqrtPrecomputation<Self>> = P::SQRT_PRECOMP
Determines the algorithm for computing square roots.
type BasePrimeField = <P as CubicExtConfig>::BasePrimeField
type BasePrimeFieldIter = Chain<<<P as CubicExtConfig>::BaseField as Field>::BasePrimeFieldIter, Chain<<<P as CubicExtConfig>::BaseField as Field>::BasePrimeFieldIter, <<P as CubicExtConfig>::BaseField as Field>::BasePrimeFieldIter>>
Source§fn extension_degree() -> u64
fn extension_degree() -> u64
Returns the extension degree of this field with respect
to
Self::BasePrimeField
.Source§fn from_base_prime_field(elem: Self::BasePrimeField) -> Self
fn from_base_prime_field(elem: Self::BasePrimeField) -> Self
Constructs a field element from a single base prime field elements. Read more
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>
Convert a slice of base prime field elements into a field element.
If the slice length != Self::extension_degree(), must return None.
Source§fn double_in_place(&mut self) -> &mut Self
fn double_in_place(&mut self) -> &mut Self
Doubles
self
in place.Source§fn neg_in_place(&mut self) -> &mut Self
fn neg_in_place(&mut self) -> &mut Self
Negates
self
in place.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)>
Attempt to deserialize a field element, splitting the bitflags metadata
according to
F
specification. Returns None
if the deserialization
fails. Read moreSource§fn from_random_bytes(bytes: &[u8]) -> Option<Self>
fn from_random_bytes(bytes: &[u8]) -> Option<Self>
Attempt to deserialize a field element. Returns
None
if the
deserialization fails. Read moreSource§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>
If
self.inverse().is_none()
, this just returns None
. Otherwise, it sets
self
to self.inverse().unwrap()
.Source§fn frobenius_map_in_place(&mut self, power: usize)
fn frobenius_map_in_place(&mut self, power: usize)
Sets
self
to self^s
, where s = Self::BasePrimeField::MODULUS^power
.
This is also called the Frobenius automorphism.Source§fn characteristic() -> &'static [u64]
fn characteristic() -> &'static [u64]
Returns the characteristic of the field,
in little-endian representation.
Source§fn sqrt_in_place(&mut self) -> Option<&mut Self>
fn sqrt_in_place(&mut self) -> Option<&mut Self>
Sets
self
to be the square root of self
, if it exists.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
Returns
sum([a_i * b_i])
.Source§fn frobenius_map(&self, power: usize) -> Self
fn frobenius_map(&self, power: usize) -> Self
Returns
self^s
, where s = Self::BasePrimeField::MODULUS^power
.
This is also called the Frobenius automorphism.Source§fn pow<S: AsRef<[u64]>>(&self, exp: S) -> Self
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.Source§fn pow_with_table<S: AsRef<[u64]>>(powers_of_2: &[Self], exp: S) -> Option<Self>
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. Read moreSource§impl<P: CubicExtConfig> From<bool> for CubicExtField<P>
impl<P: CubicExtConfig> From<bool> for CubicExtField<P>
Source§impl<P: CubicExtConfig> From<i128> for CubicExtField<P>
impl<P: CubicExtConfig> From<i128> for CubicExtField<P>
Source§impl<P: CubicExtConfig> From<i16> for CubicExtField<P>
impl<P: CubicExtConfig> From<i16> for CubicExtField<P>
Source§impl<P: CubicExtConfig> From<i32> for CubicExtField<P>
impl<P: CubicExtConfig> From<i32> for CubicExtField<P>
Source§impl<P: CubicExtConfig> From<i64> for CubicExtField<P>
impl<P: CubicExtConfig> From<i64> for CubicExtField<P>
Source§impl<P: CubicExtConfig> From<i8> for CubicExtField<P>
impl<P: CubicExtConfig> From<i8> for CubicExtField<P>
Source§impl<P: CubicExtConfig> From<u128> for CubicExtField<P>
impl<P: CubicExtConfig> From<u128> for CubicExtField<P>
Source§impl<P: CubicExtConfig> From<u16> for CubicExtField<P>
impl<P: CubicExtConfig> From<u16> for CubicExtField<P>
Source§impl<P: CubicExtConfig> From<u32> for CubicExtField<P>
impl<P: CubicExtConfig> From<u32> for CubicExtField<P>
Source§impl<P: CubicExtConfig> From<u64> for CubicExtField<P>
impl<P: CubicExtConfig> From<u64> for CubicExtField<P>
Source§impl<P: CubicExtConfig> From<u8> for CubicExtField<P>
impl<P: CubicExtConfig> From<u8> for CubicExtField<P>
Source§impl<P> Hash for CubicExtField<P>where
P: CubicExtConfig,
impl<P> Hash for CubicExtField<P>where
P: CubicExtConfig,
Source§impl<'a, P: CubicExtConfig> Mul<&'a CubicExtField<P>> for CubicExtField<P>
impl<'a, P: CubicExtConfig> Mul<&'a CubicExtField<P>> for CubicExtField<P>
Source§impl<'a, P: CubicExtConfig> Mul<&'a mut CubicExtField<P>> for CubicExtField<P>
impl<'a, P: CubicExtConfig> Mul<&'a mut CubicExtField<P>> for CubicExtField<P>
Source§impl<P: CubicExtConfig> Mul for CubicExtField<P>
impl<P: CubicExtConfig> Mul for CubicExtField<P>
Source§impl<'a, P: CubicExtConfig> MulAssign<&'a CubicExtField<P>> for CubicExtField<P>
impl<'a, P: CubicExtConfig> MulAssign<&'a CubicExtField<P>> for CubicExtField<P>
Source§fn mul_assign(&mut self, other: &Self)
fn mul_assign(&mut self, other: &Self)
Performs the
*=
operation. Read moreSource§impl<'a, P: CubicExtConfig> MulAssign<&'a mut CubicExtField<P>> for CubicExtField<P>
impl<'a, P: CubicExtConfig> MulAssign<&'a mut CubicExtField<P>> for CubicExtField<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: CubicExtConfig> MulAssign for CubicExtField<P>
impl<P: CubicExtConfig> MulAssign for CubicExtField<P>
Source§fn mul_assign(&mut self, other: Self)
fn mul_assign(&mut self, other: Self)
Performs the
*=
operation. Read moreSource§impl<P: CubicExtConfig> Neg for CubicExtField<P>
impl<P: CubicExtConfig> Neg for CubicExtField<P>
Source§impl<P: CubicExtConfig> One for CubicExtField<P>
impl<P: CubicExtConfig> One for CubicExtField<P>
Source§impl<P: CubicExtConfig> Ord for CubicExtField<P>
CubicExtField
elements are ordered lexicographically.
impl<P: CubicExtConfig> Ord for CubicExtField<P>
CubicExtField
elements are ordered lexicographically.
Source§impl<P> PartialEq for CubicExtField<P>where
P: CubicExtConfig,
impl<P> PartialEq for CubicExtField<P>where
P: CubicExtConfig,
Source§impl<P: CubicExtConfig> PartialOrd for CubicExtField<P>
impl<P: CubicExtConfig> PartialOrd for CubicExtField<P>
Source§impl<'a, P: CubicExtConfig> Product<&'a CubicExtField<P>> for CubicExtField<P>
impl<'a, P: CubicExtConfig> Product<&'a CubicExtField<P>> for CubicExtField<P>
Source§impl<P: CubicExtConfig> Product for CubicExtField<P>
impl<P: CubicExtConfig> Product for CubicExtField<P>
Source§impl<'a, P: CubicExtConfig> Sub<&'a CubicExtField<P>> for CubicExtField<P>
impl<'a, P: CubicExtConfig> Sub<&'a CubicExtField<P>> for CubicExtField<P>
Source§impl<'a, P: CubicExtConfig> Sub<&'a mut CubicExtField<P>> for CubicExtField<P>
impl<'a, P: CubicExtConfig> Sub<&'a mut CubicExtField<P>> for CubicExtField<P>
Source§impl<P: CubicExtConfig> Sub for CubicExtField<P>
impl<P: CubicExtConfig> Sub for CubicExtField<P>
Source§impl<'a, P: CubicExtConfig> SubAssign<&'a CubicExtField<P>> for CubicExtField<P>
impl<'a, P: CubicExtConfig> SubAssign<&'a CubicExtField<P>> for CubicExtField<P>
Source§fn sub_assign(&mut self, other: &Self)
fn sub_assign(&mut self, other: &Self)
Performs the
-=
operation. Read moreSource§impl<'a, P: CubicExtConfig> SubAssign<&'a mut CubicExtField<P>> for CubicExtField<P>
impl<'a, P: CubicExtConfig> SubAssign<&'a mut CubicExtField<P>> for CubicExtField<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: CubicExtConfig> SubAssign for CubicExtField<P>
impl<P: CubicExtConfig> SubAssign for CubicExtField<P>
Source§fn sub_assign(&mut self, other: Self)
fn sub_assign(&mut self, other: Self)
Performs the
-=
operation. Read more