Struct pairing::bls12_381::Bls12

pub struct Bls12;

Trait Implementations

impl Engine for Bls12

type Fr = Fr

This is the scalar field of the G1/G2 groups.

type G1 = G1

The projective representation of an element in G1.

type G1Affine = G1Affine

The affine representation of an element in G1.

type G2 = G2

The projective representation of an element in G2.

type G2Affine = G2Affine

The affine representation of an element in G2.

type Fq = Fq

The base field that hosts G1.

type Fqe = Fq2

The extension field that hosts G2.

type Fqk = Fq12

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

fn miller_loop<'a, I>(i: I) -> Self::Fqk where
    I: IntoIterator<Item = &'a (&'a <Self::G1Affine as CurveAffine>::Prepared, &'a <Self::G2Affine as CurveAffine>::Prepared)>, 

Perform a miller loop with some number of (G1, G2) pairs.

fn final_exponentiation(r: &Fq12) -> Option<Fq12>

Perform final exponentiation of the result of a miller loop.

fn pairing<G1, G2>(p: G1, q: G2) -> Self::Fqk where
    G1: Into<Self::G1Affine>,
    G2: Into<Self::G2Affine>, 

Performs a complete pairing operation (p, q).