Trait pairing::MillerLoopResult[−][src]

pub trait MillerLoopResult {
    type Gt: Group;
    fn final_exponentiation(&self) -> Self::Gt;
}
Expand description

Represents results of a Miller loop, one of the most expensive portions of the pairing function.

MillerLoopResults cannot be compared with each other until MillerLoopResult::final_exponentiation is called, which is also expensive.

Associated Types

type Gt: Group[src]

The extension field that hosts the target group of the pairing.

Required methods

fn final_exponentiation(&self) -> Self::Gt[src]

This performs a “final exponentiation” routine to convert the result of a Miller loop into an element of MillerLoopResult::Gt, so that it can be compared with other elements of Gt.

Implementors