Struct Bls12_381Fp2

#[repr(C)]
pub struct Bls12_381Fp2 {
    pub c0: Fp,
    pub c1: Fp,
}

Quadratic extension field of #intmod_type with irreducible polynomial X^2 + 1. Elements are represented as c0 + c1 * u where u^2 = -1.

Memory alignment follows alignment of #intmod_type. Memory layout is concatenation of c0 and c1.

Fields

c0: Fp

Real coordinate

c1: Fp

Imaginary coordinate

Implementations

impl Bls12_381Fp2

pub const fn new(c0: Fp, c1: Fp) -> Self

impl Bls12_381Fp2

pub const ZERO: Self = _

pub const ONE: Self = _

pub fn neg_assign(&mut self)

Trait Implementations

impl<'a> Add<&'a Bls12_381Fp2> for &Bls12_381Fp2

type Output = Bls12_381Fp2

The resulting type after applying the + operator.

fn add(self, other: &'a Bls12_381Fp2) -> Self::Output

Performs the + operation.

impl<'a> Add<&'a Bls12_381Fp2> for Bls12_381Fp2

type Output = Bls12_381Fp2

The resulting type after applying the + operator.

fn add(self, other: &'a Bls12_381Fp2) -> Self::Output

Performs the + operation.

impl Add for Bls12_381Fp2

type Output = Bls12_381Fp2

The resulting type after applying the + operator.

fn add(self, other: Self) -> Self::Output

Performs the + operation.

impl<'a> AddAssign<&'a Bls12_381Fp2> for Bls12_381Fp2

fn add_assign(&mut self, other: &'a Bls12_381Fp2)

Performs the += operation.

impl AddAssign for Bls12_381Fp2

fn add_assign(&mut self, other: Self)

Performs the += operation.

impl Clone for Bls12_381Fp2

fn clone(&self) -> Bls12_381Fp2

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl ComplexConjugate for Bls12_381Fp2

fn conjugate(self) -> Self

Conjugate an extension field element.

fn conjugate_assign(&mut self)

Replace self with its conjugate.

impl Debug for Bls12_381Fp2

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Bls12_381Fp2

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'a> DivAssignUnsafe<&'a Bls12_381Fp2> for Bls12_381Fp2

fn div_assign_unsafe(&mut self, other: &'a Bls12_381Fp2)

Undefined behavior when denominator is not invertible.

impl DivAssignUnsafe for Bls12_381Fp2

fn div_assign_unsafe(&mut self, other: Self)

Undefined behavior when denominator is not invertible.

impl<'a> DivUnsafe<&'a Bls12_381Fp2> for &Bls12_381Fp2

type Output = Bls12_381Fp2

Output type of div_unsafe.

fn div_unsafe(self, other: &'a Bls12_381Fp2) -> Self::Output

Undefined behavior when denominator is not invertible.

impl<'a> DivUnsafe<&'a Bls12_381Fp2> for Bls12_381Fp2

type Output = Bls12_381Fp2

Output type of div_unsafe.

fn div_unsafe(self, other: &'a Bls12_381Fp2) -> Self::Output

Undefined behavior when denominator is not invertible.

impl DivUnsafe for Bls12_381Fp2

type Output = Bls12_381Fp2

Output type of div_unsafe.

fn div_unsafe(self, other: Self) -> Self::Output

Undefined behavior when denominator is not invertible.

impl Evaluatable<Bls12_381Fp, Bls12_381Fp2> for UnevaluatedLine<Fp2>

fn evaluate(&self, xy_frac: &(Fp, Fp)) -> EvaluatedLine<Fp2>

impl Field for Bls12_381Fp2

const ZERO: Self = Self::ZERO

The zero element of the field, the additive identity.

const ONE: Self = Self::ONE

The one element of the field, the multiplicative identity.

type SelfRef<'a> = &'a Bls12_381Fp2 where Self: 'a

fn double_assign(&mut self)

Doubles self in-place.

fn square_assign(&mut self)

Square self in-place

fn invert(&self) -> Self

Unchecked inversion. See DivUnsafe.

impl FieldExtension<Bls12_381Fp2> for Fp12

fn frobenius_map(&self, power: usize) -> Self

We assume that the frobenius map power is < 12

const D: usize = 6usize

Extension field degree.

type Coeffs = [Bls12_381Fp2; 6]

This should be [BaseField; D]. It is an associated type due to rust const generic limitations.

fn from_coeffs(coeffs: Self::Coeffs) -> Self

Create an extension field element from its base field coefficients.

fn from_bytes(bytes: &[u8]) -> Self

Create an extension field element from little-endian bytes.

fn to_coeffs(self) -> Self::Coeffs

Convert an extension field element to its base field coefficients.

fn to_bytes(&self) -> Vec<u8>

Convert an extension field element to little-endian bytes.

fn embed(c0: Fp2) -> Self

Embed a base field element into an extension field element.

fn mul_base(&self, rhs: &Fp2) -> Self

Multiply an extension field element by an element in the base field

impl FromLineMType<Bls12_381Fp2> for Fp12

fn from_evaluated_line_m_type(line: EvaluatedLine<Fp2>) -> Fp12

impl LineMulMType<Bls12_381Fp2, SexticExtField<Bls12_381Fp2>> for Bls12_381

fn mul_023_by_023(l0: &EvaluatedLine<Fp2>, l1: &EvaluatedLine<Fp2>) -> [Fp2; 5]

Multiplies two lines in 023-form to get an element in 02345-form

fn mul_by_023(f: &Fp12, l: &EvaluatedLine<Fp2>) -> Fp12

Multiplies a line in 02345-form with a Fp12 element to get an Fp12 element

fn mul_by_02345(f: &Fp12, x: &[Fp2; 5]) -> Fp12

Multiplies a line in 02345-form with a Fp12 element to get an Fp12 element

impl<'a> Mul<&'a Bls12_381Fp2> for Bls12_381Fp2

type Output = Bls12_381Fp2

The resulting type after applying the * operator.

fn mul(self, other: &'a Bls12_381Fp2) -> Self::Output

Performs the * operation.

impl<'a> Mul for &'a Bls12_381Fp2

type Output = Bls12_381Fp2

The resulting type after applying the * operator.

fn mul(self, other: &'a Bls12_381Fp2) -> Self::Output

Performs the * operation.

impl Mul for Bls12_381Fp2

type Output = Bls12_381Fp2

The resulting type after applying the * operator.

fn mul(self, other: Self) -> Self::Output

Performs the * operation.

impl<'a> MulAssign<&'a Bls12_381Fp2> for Bls12_381Fp2

fn mul_assign(&mut self, other: &'a Bls12_381Fp2)

Performs the *= operation.

impl MulAssign for Bls12_381Fp2

fn mul_assign(&mut self, other: Self)

Performs the *= operation.

impl Neg for &Bls12_381Fp2

type Output = Bls12_381Fp2

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Neg for Bls12_381Fp2

type Output = Bls12_381Fp2

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl PartialEq for Bls12_381Fp2

fn eq(&self, other: &Bls12_381Fp2) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> Product<&'a Bls12_381Fp2> for Bls12_381Fp2

fn product<I: Iterator<Item = &'a Bls12_381Fp2>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by multiplying the items.

impl Product for Bls12_381Fp2

fn product<I: Iterator<Item = Self>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by multiplying the items.

impl Serialize for Bls12_381Fp2

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<'a> Sub<&'a Bls12_381Fp2> for &Bls12_381Fp2

type Output = Bls12_381Fp2

The resulting type after applying the - operator.

fn sub(self, other: &'a Bls12_381Fp2) -> Self::Output

Performs the - operation.

impl<'a> Sub<&'a Bls12_381Fp2> for Bls12_381Fp2

type Output = Bls12_381Fp2

The resulting type after applying the - operator.

fn sub(self, other: &'a Bls12_381Fp2) -> Self::Output

Performs the - operation.

impl Sub for Bls12_381Fp2

type Output = Bls12_381Fp2

The resulting type after applying the - operator.

fn sub(self, other: Self) -> Self::Output

Performs the - operation.

impl<'a> SubAssign<&'a Bls12_381Fp2> for Bls12_381Fp2

fn sub_assign(&mut self, other: &'a Bls12_381Fp2)

Performs the -= operation.

impl SubAssign for Bls12_381Fp2

fn sub_assign(&mut self, other: Self)

Performs the -= operation.

impl<'a> Sum<&'a Bls12_381Fp2> for Bls12_381Fp2

fn sum<I: Iterator<Item = &'a Bls12_381Fp2>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by “summing up” the items.

impl Sum for Bls12_381Fp2

fn sum<I: Iterator<Item = Self>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by “summing up” the items.

impl Eq for Bls12_381Fp2

impl StructuralPartialEq for Bls12_381Fp2