Struct MNT4

pub struct MNT4<P>(/* private fields */)
where
    P: MNT4Config;

Implementations

impl<P> MNT4<P>

where P: MNT4Config,

pub fn ate_miller_loop( p: &G1Prepared<P>, q: &G2Prepared<P>, ) -> QuadExtField<Fp4ConfigWrapper<<P as MNT4Config>::Fp4Config>>

Trait Implementations

impl<P> Clone for MNT4<P>

where P: MNT4Config, PhantomData<fn() -> P>: Copy,

fn clone(&self) -> MNT4<P>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<P> Debug for MNT4<P>

where P: MNT4Config, PhantomData<fn() -> P>: Debug,

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

Formats the value using the given formatter.

impl<P> Hash for MNT4<P>

where P: MNT4Config, PhantomData<fn() -> P>: Hash,

fn hash<H>(&self, state: &mut H)

where H: Hasher,

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<P> Pairing for MNT4<P>

where P: MNT4Config,

type BaseField = <<P as MNT4Config>::G1Config as CurveConfig>::BaseField

This is the base field of the G1 group and base prime field of G2.

type ScalarField = <<P as MNT4Config>::G1Config as CurveConfig>::ScalarField

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

type G1 = Projective<<P as MNT4Config>::G1Config>

An element in G1.

type G1Affine = Affine<<P as MNT4Config>::G1Config>

type G1Prepared = G1Prepared<P>

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

type G2 = Projective<<P as MNT4Config>::G2Config>

An element of G2.

type G2Affine = Affine<<P as MNT4Config>::G2Config>

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 TargetField = QuadExtField<Fp4ConfigWrapper<<P as MNT4Config>::Fp4Config>>

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

fn multi_miller_loop( a: impl IntoIterator<Item = impl Into<<MNT4<P> as Pairing>::G1Prepared>>, b: impl IntoIterator<Item = impl Into<<MNT4<P> as Pairing>::G2Prepared>>, ) -> MillerLoopOutput<MNT4<P>>

Computes the product of Miller loops for some number of (G1, G2) pairs.

fn final_exponentiation( f: MillerLoopOutput<MNT4<P>>, ) -> Option<PairingOutput<MNT4<P>>>

Performs final exponentiation of the result of a Self::multi_miller_loop.

fn miller_loop( a: impl Into<Self::G1Prepared>, b: impl Into<Self::G2Prepared>, ) -> MillerLoopOutput<Self>

Computes the Miller loop over a and b.

fn multi_pairing( a: impl IntoIterator<Item = impl Into<Self::G1Prepared>>, b: impl IntoIterator<Item = impl Into<Self::G2Prepared>>, ) -> PairingOutput<Self>

Computes a “product” of pairings.

fn pairing( p: impl Into<Self::G1Prepared>, q: impl Into<Self::G2Prepared>, ) -> PairingOutput<Self>

Performs multiple pairing operations

impl<P> PartialEq for MNT4<P>

where P: MNT4Config, PhantomData<fn() -> P>: PartialEq,

fn eq(&self, other: &MNT4<P>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<P> Copy for MNT4<P>

where P: MNT4Config, PhantomData<fn() -> P>: Copy,

impl<P> Eq for MNT4<P>

where P: MNT4Config, PhantomData<fn() -> P>: PartialEq,