halo2curves::bls12381

Type Alias Fq6

Source
pub type Fq6 = CubicExtField<Fq2>;

Aliased Type§

struct Fq6 { /* private fields */ }

Trait Implementations§

Source§

impl<'a, 'b> Add<&'b CubicExtField<QuadExtField<Fq>>> for &'a Fq6

Source§

type Output = CubicExtField<QuadExtField<Fq>>

The resulting type after applying the + operator.
Source§

fn add(self, rhs: &'b Fq6) -> Fq6

Performs the + operation. Read more
Source§

impl<'b> Add<&'b CubicExtField<QuadExtField<Fq>>> for Fq6

Source§

type Output = CubicExtField<QuadExtField<Fq>>

The resulting type after applying the + operator.
Source§

fn add(self, rhs: &'b Fq6) -> Fq6

Performs the + operation. Read more
Source§

impl<'a> Add<CubicExtField<QuadExtField<Fq>>> for &'a Fq6

Source§

type Output = CubicExtField<QuadExtField<Fq>>

The resulting type after applying the + operator.
Source§

fn add(self, rhs: Fq6) -> Fq6

Performs the + operation. Read more
Source§

impl Add for Fq6

Source§

type Output = CubicExtField<QuadExtField<Fq>>

The resulting type after applying the + operator.
Source§

fn add(self, rhs: Fq6) -> Fq6

Performs the + operation. Read more
Source§

impl<'b> AddAssign<&'b CubicExtField<QuadExtField<Fq>>> for Fq6

Source§

fn add_assign(&mut self, rhs: &'b Fq6)

Performs the += operation. Read more
Source§

impl AddAssign for Fq6

Source§

fn add_assign(&mut self, rhs: Fq6)

Performs the += operation. Read more
Source§

impl CubicExtFieldArith for Fq6

Source§

impl CubicSparseMul for Fq6

Source§

type Base = QuadExtField<Fq>

Source§

fn mul_by_1( lhs: &CubicExtField<Self::Base>, c1: &Self::Base, ) -> CubicExtField<Self::Base>

Source§

fn mul_by_01( lhs: &CubicExtField<Self::Base>, c0: &Self::Base, c1: &Self::Base, ) -> CubicExtField<Self::Base>

Source§

impl ExtField for Fq6

Source§

const NON_RESIDUE: Self = _

Source§

fn frobenius_map(&mut self, power: usize)

Source§

fn mul_by_nonresidue(self: &Fq6) -> Fq6

Source§

impl<'a, 'b> Mul<&'b CubicExtField<QuadExtField<Fq>>> for &'a Fq6

Source§

type Output = CubicExtField<QuadExtField<Fq>>

The resulting type after applying the * operator.
Source§

fn mul(self, rhs: &'b Fq6) -> Fq6

Performs the * operation. Read more
Source§

impl<'b> Mul<&'b CubicExtField<QuadExtField<Fq>>> for Fq6

Source§

type Output = CubicExtField<QuadExtField<Fq>>

The resulting type after applying the * operator.
Source§

fn mul(self, rhs: &'b Fq6) -> Fq6

Performs the * operation. Read more
Source§

impl<'a> Mul<CubicExtField<QuadExtField<Fq>>> for &'a Fq6

Source§

type Output = CubicExtField<QuadExtField<Fq>>

The resulting type after applying the * operator.
Source§

fn mul(self, rhs: Fq6) -> Fq6

Performs the * operation. Read more
Source§

impl Mul for Fq6

Source§

type Output = CubicExtField<QuadExtField<Fq>>

The resulting type after applying the * operator.
Source§

fn mul(self, rhs: Fq6) -> Fq6

Performs the * operation. Read more
Source§

impl<'b> MulAssign<&'b CubicExtField<QuadExtField<Fq>>> for Fq6

Source§

fn mul_assign(&mut self, rhs: &'b Fq6)

Performs the *= operation. Read more
Source§

impl MulAssign for Fq6

Source§

fn mul_assign(&mut self, rhs: Fq6)

Performs the *= operation. Read more
Source§

impl<'a> Neg for &'a Fq6

Source§

type Output = CubicExtField<QuadExtField<Fq>>

The resulting type after applying the - operator.
Source§

fn neg(self) -> Fq6

Performs the unary - operation. Read more
Source§

impl Neg for Fq6

Source§

type Output = CubicExtField<QuadExtField<Fq>>

The resulting type after applying the - operator.
Source§

fn neg(self) -> Fq6

Performs the unary - operation. Read more
Source§

impl<T: Borrow<Fq6>> Product<T> for Fq6

Source§

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

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

impl<'a, 'b> Sub<&'b CubicExtField<QuadExtField<Fq>>> for &'a Fq6

Source§

type Output = CubicExtField<QuadExtField<Fq>>

The resulting type after applying the - operator.
Source§

fn sub(self, rhs: &'b Fq6) -> Fq6

Performs the - operation. Read more
Source§

impl<'b> Sub<&'b CubicExtField<QuadExtField<Fq>>> for Fq6

Source§

type Output = CubicExtField<QuadExtField<Fq>>

The resulting type after applying the - operator.
Source§

fn sub(self, rhs: &'b Fq6) -> Fq6

Performs the - operation. Read more
Source§

impl<'a> Sub<CubicExtField<QuadExtField<Fq>>> for &'a Fq6

Source§

type Output = CubicExtField<QuadExtField<Fq>>

The resulting type after applying the - operator.
Source§

fn sub(self, rhs: Fq6) -> Fq6

Performs the - operation. Read more
Source§

impl Sub for Fq6

Source§

type Output = CubicExtField<QuadExtField<Fq>>

The resulting type after applying the - operator.
Source§

fn sub(self, rhs: Fq6) -> Fq6

Performs the - operation. Read more
Source§

impl<'b> SubAssign<&'b CubicExtField<QuadExtField<Fq>>> for Fq6

Source§

fn sub_assign(&mut self, rhs: &'b Fq6)

Performs the -= operation. Read more
Source§

impl SubAssign for Fq6

Source§

fn sub_assign(&mut self, rhs: Fq6)

Performs the -= operation. Read more
Source§

impl<T: Borrow<Fq6>> Sum<T> for Fq6

Source§

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

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