Struct bls12_381::MillerLoopResult

pub struct MillerLoopResult(_);

Represents results of a Miller loop, one of the most expensive portions of the pairing function. MillerLoopResults cannot be compared with each other until .final_exponentiation() is called, which is also expensive.

Methods

impl MillerLoopResult

pub fn final_exponentiation(&self) -> Gt

This performs a "final exponentiation" routine to convert the result of a Miller loop into an element of Gt with help of efficient squaring operation in the so-called cyclotomic subgroup of Fq6 so that it can be compared with other elements of Gt.

Trait Implementations

impl Debug for MillerLoopResult

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

Formats the value using the given formatter.

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

type Output = MillerLoopResult

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = MillerLoopResult

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = MillerLoopResult

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<MillerLoopResult> for MillerLoopResult

type Output = MillerLoopResult

The resulting type after applying the + operator.

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

Performs the + operation.

impl Copy for MillerLoopResult

impl Clone for MillerLoopResult

fn clone(&self) -> MillerLoopResult

Returns a copy of the value.

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

Performs copy-assignment from source.

impl ConditionallySelectable for MillerLoopResult

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.