Struct bls12_381::Gt

pub struct Gt(_);

This is an element of $\mathbb{G}_T$, the target group of the pairing function. As with $\mathbb{G}_1$ and $\mathbb{G}_2$ this group has order $q$.

Typically, $\mathbb{G}_T$ is written multiplicatively but we will write it additively to keep code and abstractions consistent.

Methods

impl Gt

pub fn identity() -> Gt

Returns the group identity, which is $1$.

pub fn double(&self) -> Gt

Doubles this group element.

Trait Implementations

impl<'a, 'b> Add<&'b Gt> for &'a Gt

type Output = Gt

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'b> Add<&'b Gt> for Gt

type Output = Gt

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = Gt

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Gt> for Gt

type Output = Gt

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'b> AddAssign<&'b Gt> for Gt

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

Performs the += operation.

impl AddAssign<Gt> for Gt

fn add_assign(&mut self, rhs: Gt)

Performs the += operation.

impl Clone for Gt

fn clone(&self) -> Gt

Returns a copy of the value.

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

Performs copy-assignment from source.

impl ConditionallySelectable for Gt

fn conditional_select(a: &Self, b: &Self, choice: Choice) -> Self

Select a or b according to choice.

fn conditional_assign(&mut self, other: &Self, choice: Choice)

Conditionally assign other to self, according to choice.

fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)

Conditionally swap self and other if choice == 1; otherwise, reassign both unto themselves.

impl ConstantTimeEq for Gt

fn ct_eq(&self, other: &Self) -> Choice

Determine if two items are equal.

impl Copy for Gt

impl Debug for Gt

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

Formats the value using the given formatter.

impl Eq for Gt

impl<'a, 'b> Mul<&'b Scalar> for &'a Gt

type Output = Gt

The resulting type after applying the * operator.

fn mul(self, other: &'b Scalar) -> Self::Output

Performs the * operation.

impl<'b> Mul<&'b Scalar> for Gt

type Output = Gt

The resulting type after applying the * operator.

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

Performs the * operation.

impl<'a> Mul<Scalar> for &'a Gt

type Output = Gt

The resulting type after applying the * operator.

fn mul(self, rhs: Scalar) -> Gt

Performs the * operation.

impl Mul<Scalar> for Gt

type Output = Gt

The resulting type after applying the * operator.

fn mul(self, rhs: Scalar) -> Gt

Performs the * operation.

impl<'b> MulAssign<&'b Scalar> for Gt

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

Performs the *= operation.

impl MulAssign<Scalar> for Gt

fn mul_assign(&mut self, rhs: Scalar)

Performs the *= operation.

impl<'a> Neg for &'a Gt

type Output = Gt

The resulting type after applying the - operator.

fn neg(self) -> Gt

Performs the unary - operation.

impl Neg for Gt

type Output = Gt

The resulting type after applying the - operator.

fn neg(self) -> Gt

Performs the unary - operation.

impl PartialEq<Gt> for Gt

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

This method tests for self and other values to be equal, and is used by ==.

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<'a, 'b> Sub<&'b Gt> for &'a Gt

type Output = Gt

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'b> Sub<&'b Gt> for Gt

type Output = Gt

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = Gt

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Gt> for Gt

type Output = Gt

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'b> SubAssign<&'b Gt> for Gt

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

Performs the -= operation.

impl SubAssign<Gt> for Gt

fn sub_assign(&mut self, rhs: Gt)

Performs the -= operation.