Struct Bls12

pub struct Bls12;

Trait Implementations

impl Clone for Bls12

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

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

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

fn pairing_product<G1, G2>(p1: G1, q1: G2, p2: G1, q2: G2) -> Self::Fqk

where G1: Into<Self::G1Affine>, G2: Into<Self::G2Affine>,

performs a pairing product operation with a single “final exponentiation”

fn pairing_multi_product( p: &[Self::G1Affine], q: &[Self::G2Affine], ) -> Self::Fqk

performs a multi-pairing product operation with a single “final exponentiation”

impl ScalarEngine for Bls12

type Fr = Fr

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