Struct ark_cp6_782::CP6_782

pub struct CP6_782;

Trait Implementations

impl Clone for CP6_782

fn clone(&self) -> CP6_782

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CP6_782

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

Formats the value using the given formatter.

impl Pairing for CP6_782

type ScalarField = Fp<MontBackend<FqConfig, 6>, 6>

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

type BaseField = Fp<MontBackend<FqConfig, 13>, 13>

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

type G1 = Projective<Config>

An element in G1.

type G1Affine = Affine<Config>

type G1Prepared = G1Prepared

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

type G2 = Projective<Config>

An element of G2.

type G2Affine = Affine<Config>

The affine representation of an element in G2.

type G2Prepared = G2Prepared

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

type TargetField = QuadExtField<Fp6ConfigWrapper<Fq6Config>>

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

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

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

fn final_exponentiation(
    r: MillerLoopOutput<Self>
) -> Option<PairingOutput<Self>>

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 PartialEq<CP6_782> for CP6_782

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

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

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

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

impl Copy for CP6_782

impl Eq for CP6_782

impl StructuralEq for CP6_782

impl StructuralPartialEq for CP6_782