Struct PEngine 

pub struct PEngine;

Trait Implementations

impl Clone for Bls12

fn clone(&self) -> Bls12

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Bls12

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Engine for Bls12

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) -> <Bls12 as Engine>::Fqk

where I: IntoIterator<Item = &'a (&'a <<Bls12 as Engine>::G1Affine as PairingCurveAffine>::Prepared, &'a <<Bls12 as Engine>::G2Affine as PairingCurveAffine>::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).

impl ScalarEngine for Bls12

type Fr = Fr

This is the scalar field of the engine’s groups.