Struct ark_cp6_782::CP6_782
source · pub struct CP6_782;
Trait Implementations§
source§impl Pairing for CP6_782
impl Pairing for CP6_782
§type ScalarField = Fp<MontBackend<FqConfig, 6>, 6>
type ScalarField = Fp<MontBackend<FqConfig, 6>, 6>
This is the scalar field of the G1/G2 groups.
§type BaseField = Fp<MontBackend<FqConfig, 13>, 13>
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>
type G1 = Projective<Config>
An element in G1.
type G1Affine = Affine<Config>
§type G1Prepared = G1Prepared
type G1Prepared = G1Prepared
A G1 element that has been preprocessed for use in a pairing.
§type G2 = Projective<Config>
type G2 = Projective<Config>
An element of G2.
§type G2Prepared = G2Prepared
type G2Prepared = G2Prepared
A G2 element that has been preprocessed for use in a pairing.
§type TargetField = QuadExtField<Fp6ConfigWrapper<Fq6Config>>
type TargetField = QuadExtField<Fp6ConfigWrapper<Fq6Config>>
The extension field that hosts the target group of the pairing.
source§fn multi_miller_loop(
a: impl IntoIterator<Item = impl Into<Self::G1Prepared>>,
b: impl IntoIterator<Item = impl Into<Self::G2Prepared>>
) -> MillerLoopOutput<Self>
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.
source§fn final_exponentiation(
r: MillerLoopOutput<Self>
) -> Option<PairingOutput<Self>>
fn final_exponentiation(
r: MillerLoopOutput<Self>
) -> Option<PairingOutput<Self>>
Performs final exponentiation of the result of a
Self::multi_miller_loop
.source§fn miller_loop(
a: impl Into<Self::G1Prepared>,
b: impl Into<Self::G2Prepared>
) -> MillerLoopOutput<Self>
fn miller_loop(
a: impl Into<Self::G1Prepared>,
b: impl Into<Self::G2Prepared>
) -> MillerLoopOutput<Self>
Computes the Miller loop over
a
and b
.source§fn multi_pairing(
a: impl IntoIterator<Item = impl Into<Self::G1Prepared>>,
b: impl IntoIterator<Item = impl Into<Self::G2Prepared>>
) -> PairingOutput<Self>
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.
source§fn pairing(
p: impl Into<Self::G1Prepared>,
q: impl Into<Self::G2Prepared>
) -> PairingOutput<Self>
fn pairing(
p: impl Into<Self::G1Prepared>,
q: impl Into<Self::G2Prepared>
) -> PairingOutput<Self>
Performs multiple pairing operations
source§impl PartialEq<CP6_782> for CP6_782
impl PartialEq<CP6_782> for CP6_782
impl Copy for CP6_782
impl Eq for CP6_782
impl StructuralEq for CP6_782
impl StructuralPartialEq for CP6_782
Auto Trait Implementations§
impl RefUnwindSafe for CP6_782
impl Send for CP6_782
impl Sync for CP6_782
impl Unpin for CP6_782
impl UnwindSafe for CP6_782
Blanket Implementations§
§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more