pub type Fp12 = SexticExtField<Fp2>;
Aliased Type§
struct Fp12 {
pub c: [Bn254Fp2; 6],
}
Fields§
§c: [Bn254Fp2; 6]
Implementations§
Trait Implementations§
Source§impl ComplexConjugate for Fp12
impl ComplexConjugate for Fp12
Source§impl<'a> DivAssignUnsafe<&'a SexticExtField<Bn254Fp2>> for Fp12
impl<'a> DivAssignUnsafe<&'a SexticExtField<Bn254Fp2>> for Fp12
Source§fn div_assign_unsafe(&mut self, other: &'a Fp12)
fn div_assign_unsafe(&mut self, other: &'a Fp12)
Undefined behavior when denominator is not invertible.
Source§impl DivAssignUnsafe for Fp12
impl DivAssignUnsafe for Fp12
Source§fn div_assign_unsafe(&mut self, other: Self)
fn div_assign_unsafe(&mut self, other: Self)
Undefined behavior when denominator is not invertible.
Source§impl<'a> DivUnsafe<&'a SexticExtField<Bn254Fp2>> for Fp12
impl<'a> DivUnsafe<&'a SexticExtField<Bn254Fp2>> for Fp12
Source§type Output = SexticExtField<Bn254Fp2>
type Output = SexticExtField<Bn254Fp2>
Output type of
div_unsafe
.Source§fn div_unsafe(self, other: &'a Fp12) -> Self::Output
fn div_unsafe(self, other: &'a Fp12) -> Self::Output
Undefined behavior when denominator is not invertible.
Source§impl<'a> DivUnsafe for &'a Fp12
impl<'a> DivUnsafe for &'a Fp12
Source§type Output = SexticExtField<Bn254Fp2>
type Output = SexticExtField<Bn254Fp2>
Output type of
div_unsafe
.Source§fn div_unsafe(self, other: &'a Fp12) -> Self::Output
fn div_unsafe(self, other: &'a Fp12) -> Self::Output
Undefined behavior when denominator is not invertible.
Source§impl DivUnsafe for Fp12
impl DivUnsafe for Fp12
Source§type Output = SexticExtField<Bn254Fp2>
type Output = SexticExtField<Bn254Fp2>
Output type of
div_unsafe
.Source§fn div_unsafe(self, other: Self) -> Self::Output
fn div_unsafe(self, other: Self) -> Self::Output
Undefined behavior when denominator is not invertible.
Source§impl Field for Fp12
impl Field for Fp12
type SelfRef<'a> = &'a SexticExtField<Bn254Fp2>
Source§fn double_assign(&mut self)
fn double_assign(&mut self)
Doubles
self
in-place.Source§fn square_assign(&mut self)
fn square_assign(&mut self)
Square
self
in-placeSource§impl FieldExtension<Bn254Fp2> for Fp12
impl FieldExtension<Bn254Fp2> for Fp12
Source§fn frobenius_map(&self, power: usize) -> Self
fn frobenius_map(&self, power: usize) -> Self
We assume that the frobenius map power is < 12
Source§type Coeffs = [Bn254Fp2; 6]
type Coeffs = [Bn254Fp2; 6]
This should be [BaseField; D]. It is an associated type due to rust const generic limitations.
Source§fn from_coeffs(coeffs: Self::Coeffs) -> Self
fn from_coeffs(coeffs: Self::Coeffs) -> Self
Create an extension field element from its base field coefficients.
Source§fn from_bytes(bytes: &[u8]) -> Self
fn from_bytes(bytes: &[u8]) -> Self
Create an extension field element from little-endian bytes.
Source§impl FromLineDType<Bn254Fp2> for Fp12
impl FromLineDType<Bn254Fp2> for Fp12
fn from_evaluated_line_d_type(line: EvaluatedLine<Fp2>) -> Fp12
Source§impl<'a> MulAssign<&'a SexticExtField<Bn254Fp2>> for Fp12
impl<'a> MulAssign<&'a SexticExtField<Bn254Fp2>> for Fp12
Source§fn mul_assign(&mut self, other: &'a Fp12)
fn mul_assign(&mut self, other: &'a Fp12)
Performs the
*=
operation. Read moreSource§impl MulAssign for Fp12
impl MulAssign for Fp12
Source§fn mul_assign(&mut self, other: Self)
fn mul_assign(&mut self, other: Self)
Performs the
*=
operation. Read moreSource§impl<'a, F: Field> Add<&'a SexticExtField<F>> for SexticExtField<F>
impl<'a, F: Field> Add<&'a SexticExtField<F>> for SexticExtField<F>
Source§type Output = SexticExtField<F>
type Output = SexticExtField<F>
The resulting type after applying the
+
operator.Source§impl<F: Field> Add for SexticExtField<F>
impl<F: Field> Add for SexticExtField<F>
Source§impl<'a, F: Field> AddAssign<&'a SexticExtField<F>> for SexticExtField<F>
impl<'a, F: Field> AddAssign<&'a SexticExtField<F>> for SexticExtField<F>
Source§fn add_assign(&mut self, other: &'a SexticExtField<F>)
fn add_assign(&mut self, other: &'a SexticExtField<F>)
Performs the
+=
operation. Read moreSource§impl<F: Field> AddAssign for SexticExtField<F>
impl<F: Field> AddAssign for SexticExtField<F>
Source§fn add_assign(&mut self, other: Self)
fn add_assign(&mut self, other: Self)
Performs the
+=
operation. Read moreSource§impl<F: Clone> Clone for SexticExtField<F>
impl<F: Clone> Clone for SexticExtField<F>
Source§fn clone(&self) -> SexticExtField<F>
fn clone(&self) -> SexticExtField<F>
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl<F: Field> Debug for SexticExtField<F>
impl<F: Field> Debug for SexticExtField<F>
Source§impl<'de, F> Deserialize<'de> for SexticExtField<F>where
F: Deserialize<'de>,
impl<'de, F> Deserialize<'de> for SexticExtField<F>where
F: Deserialize<'de>,
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<F: PartialEq> PartialEq for SexticExtField<F>
impl<F: PartialEq> PartialEq for SexticExtField<F>
Source§impl<F> Serialize for SexticExtField<F>where
F: Serialize,
impl<F> Serialize for SexticExtField<F>where
F: Serialize,
Source§impl<'a, F: Field> Sub<&'a SexticExtField<F>> for SexticExtField<F>
impl<'a, F: Field> Sub<&'a SexticExtField<F>> for SexticExtField<F>
Source§type Output = SexticExtField<F>
type Output = SexticExtField<F>
The resulting type after applying the
-
operator.Source§impl<F: Field> Sub for SexticExtField<F>
impl<F: Field> Sub for SexticExtField<F>
Source§impl<'a, F: Field> SubAssign<&'a SexticExtField<F>> for SexticExtField<F>
impl<'a, F: Field> SubAssign<&'a SexticExtField<F>> for SexticExtField<F>
Source§fn sub_assign(&mut self, other: &'a SexticExtField<F>)
fn sub_assign(&mut self, other: &'a SexticExtField<F>)
Performs the
-=
operation. Read moreSource§impl<F: Field> SubAssign for SexticExtField<F>
impl<F: Field> SubAssign for SexticExtField<F>
Source§fn sub_assign(&mut self, other: Self)
fn sub_assign(&mut self, other: Self)
Performs the
-=
operation. Read more