Struct blsttc::PEngine

pub struct PEngine;

Trait Implementations

impl Clone for Bls12

pub fn clone(&self) -> Bls12

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Bls12

pub 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.

pub 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.

pub 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.