pub type Fp12 = SexticExtField<Fp2>;
Aliased Type§
struct Fp12 {
pub c: [Bls12_381Fp2; 6],
}
Fields§
§c: [Bls12_381Fp2; 6]
Implementations§
Trait Implementations§
Source§impl ComplexConjugate for Fp12
impl ComplexConjugate for Fp12
Source§impl<'a> DivAssignUnsafe<&'a SexticExtField<Bls12_381Fp2>> for Fp12
impl<'a> DivAssignUnsafe<&'a SexticExtField<Bls12_381Fp2>> 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<Bls12_381Fp2>> for Fp12
impl<'a> DivUnsafe<&'a SexticExtField<Bls12_381Fp2>> for Fp12
Source§type Output = SexticExtField<Bls12_381Fp2>
type Output = SexticExtField<Bls12_381Fp2>
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<Bls12_381Fp2>
type Output = SexticExtField<Bls12_381Fp2>
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<Bls12_381Fp2>
type Output = SexticExtField<Bls12_381Fp2>
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<Bls12_381Fp2>
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<Bls12_381Fp2> for Fp12
impl FieldExtension<Bls12_381Fp2> 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 = [Bls12_381Fp2; 6]
type Coeffs = [Bls12_381Fp2; 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 FromLineMType<Bls12_381Fp2> for Fp12
impl FromLineMType<Bls12_381Fp2> for Fp12
fn from_evaluated_line_m_type(line: EvaluatedLine<Fp2>) -> Fp12
Source§impl<'a> Mul<&'a SexticExtField<Bls12_381Fp2>> for Fp12
impl<'a> Mul<&'a SexticExtField<Bls12_381Fp2>> for Fp12
Source§impl Mul for Fp12
impl Mul for Fp12
Source§type Output = SexticExtField<Bls12_381Fp2>
type Output = SexticExtField<Bls12_381Fp2>
The resulting type after applying the
*
operator.Source§impl<'a> MulAssign<&'a SexticExtField<Bls12_381Fp2>> for Fp12
impl<'a> MulAssign<&'a SexticExtField<Bls12_381Fp2>> for Fp12
Source§fn mul_assign(&mut self, other: &'a Fp12)
fn mul_assign(&mut self, other: &'a Fp12)
Performs the
*=
operation. Read more