Struct ark_ec::models::mnt6::MNT6

pub struct MNT6<P: MNT6Parameters>(_);

Implementations

impl<P: MNT6Parameters> MNT6<P>

pub fn ate_miller_loop(
    p: &G1Prepared<P>,
    q: &G2Prepared<P>
) -> Fp6<P::Fp6Params>

pub fn final_exponentiation(value: &Fp6<P::Fp6Params>) -> GT<P::Fp6Params>

Trait Implementations

impl<P: MNT6Parameters> Clone for MNT6<P>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<P: MNT6Parameters> Copy for MNT6<P>

impl<P: MNT6Parameters> Debug for MNT6<P>

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

Formats the value using the given formatter.

impl<P: MNT6Parameters> Eq for MNT6<P>

impl<P: MNT6Parameters> Hash for MNT6<P>

fn hash<__HP>(&self, __state: &mut __HP) where
    __HP: Hasher, 

Feeds this value into the given Hasher.

pub fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<P: MNT6Parameters> PairingEngine for MNT6<P>

type Fr = <P::G1Parameters as ModelParameters>::ScalarField

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

type G1Projective = G1Projective<P>

The projective representation of an element in G1.

type G1Affine = G1Affine<P>

The affine representation of an element in G1.

type G1Prepared = G1Prepared<P>

A G1 element that has been preprocessed for use in a pairing.

type G2Projective = G2Projective<P>

The projective representation of an element in G2.

type G2Affine = G2Affine<P>

The affine representation of an element in G2.

type G2Prepared = G2Prepared<P>

A G2 element that has been preprocessed for use in a pairing.

type Fq = P::Fp

The base field that hosts G1.

type Fqe = Fp3<P::Fp3Params>

The extension field that hosts G2.

type Fqk = Fp6<P::Fp6Params>

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 (Self::G1Prepared, Self::G2Prepared)>, 

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

fn final_exponentiation(r: &Self::Fqk) -> Option<Self::Fqk>

Perform final exponentiation of the result of a miller loop.

#[must_use]fn product_of_pairings<'a, I>(i: I) -> Self::Fqk where
    I: IntoIterator<Item = &'a (Self::G1Prepared, Self::G2Prepared)>, 

Computes a product of pairings.

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

Performs multiple pairing operations

impl<P: MNT6Parameters> PartialEq<MNT6<P>> for MNT6<P>

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.