Trait snarkvm_curves::traits::pairing_engine::PairingEngine [−][src]
pub trait PairingEngine: Sized + 'static + Copy + Debug + Sync + Send { type Fr: PrimeField + SquareRootField + Into<<Self::Fr as PrimeField>::BigInteger>; type G1Projective: ProjectiveCurve<BaseField = Self::Fq, ScalarField = Self::Fr, Affine = Self::G1Affine> + From<Self::G1Affine>; type G1Affine: AffineCurve<BaseField = Self::Fq, ScalarField = Self::Fr, Projective = Self::G1Projective> + PairingCurve<PairWith = Self::G2Affine, PairingResult = Self::Fqk> + From<Self::G1Projective>; type G2Projective: ProjectiveCurve<BaseField = Self::Fqe, ScalarField = Self::Fr, Affine = Self::G2Affine> + From<Self::G2Affine>; type G2Affine: AffineCurve<BaseField = Self::Fqe, ScalarField = Self::Fr, Projective = Self::G2Projective> + PairingCurve<PairWith = Self::G1Affine, PairingResult = Self::Fqk> + From<Self::G2Projective>; type Fq: PrimeField + SquareRootField; type Fqe: SquareRootField; type Fqk: Field; fn miller_loop<'a, I>(i: I) -> Self::Fqk
where
I: Iterator<Item = (&'a <Self::G1Affine as PairingCurve>::Prepared, &'a <Self::G2Affine as PairingCurve>::Prepared)>; fn final_exponentiation(_: &Self::Fqk) -> Option<Self::Fqk>; fn product_of_pairings<'a, I>(i: I) -> Self::Fqk
where
I: Iterator<Item = (&'a <Self::G1Affine as PairingCurve>::Prepared, &'a <Self::G2Affine as PairingCurve>::Prepared)>, { ... } fn pairing<G1, G2>(p: G1, q: G2) -> Self::Fqk
where
G1: Into<Self::G1Affine>,
G2: Into<Self::G2Affine>, { ... } }
Associated Types
type Fr: PrimeField + SquareRootField + Into<<Self::Fr as PrimeField>::BigInteger>
type Fr: PrimeField + SquareRootField + Into<<Self::Fr as PrimeField>::BigInteger>
This is the scalar field of the G1/G2 groups.
type G1Projective: ProjectiveCurve<BaseField = Self::Fq, ScalarField = Self::Fr, Affine = Self::G1Affine> + From<Self::G1Affine>
type G1Projective: ProjectiveCurve<BaseField = Self::Fq, ScalarField = Self::Fr, Affine = Self::G1Affine> + From<Self::G1Affine>
The projective representation of an element in G1.
type G1Affine: AffineCurve<BaseField = Self::Fq, ScalarField = Self::Fr, Projective = Self::G1Projective> + PairingCurve<PairWith = Self::G2Affine, PairingResult = Self::Fqk> + From<Self::G1Projective>
type G1Affine: AffineCurve<BaseField = Self::Fq, ScalarField = Self::Fr, Projective = Self::G1Projective> + PairingCurve<PairWith = Self::G2Affine, PairingResult = Self::Fqk> + From<Self::G1Projective>
The affine representation of an element in G1.
type G2Projective: ProjectiveCurve<BaseField = Self::Fqe, ScalarField = Self::Fr, Affine = Self::G2Affine> + From<Self::G2Affine>
type G2Projective: ProjectiveCurve<BaseField = Self::Fqe, ScalarField = Self::Fr, Affine = Self::G2Affine> + From<Self::G2Affine>
The projective representation of an element in G2.
type G2Affine: AffineCurve<BaseField = Self::Fqe, ScalarField = Self::Fr, Projective = Self::G2Projective> + PairingCurve<PairWith = Self::G1Affine, PairingResult = Self::Fqk> + From<Self::G2Projective>
type G2Affine: AffineCurve<BaseField = Self::Fqe, ScalarField = Self::Fr, Projective = Self::G2Projective> + PairingCurve<PairWith = Self::G1Affine, PairingResult = Self::Fqk> + From<Self::G2Projective>
The affine representation of an element in G2.
type Fq: PrimeField + SquareRootField
type Fq: PrimeField + SquareRootField
The base field that hosts G1.
type Fqe: SquareRootField
type Fqe: SquareRootField
The extension field that hosts G2.
Required methods
fn miller_loop<'a, I>(i: I) -> Self::Fqk where
I: Iterator<Item = (&'a <Self::G1Affine as PairingCurve>::Prepared, &'a <Self::G2Affine as PairingCurve>::Prepared)>,
fn miller_loop<'a, I>(i: I) -> Self::Fqk where
I: Iterator<Item = (&'a <Self::G1Affine as PairingCurve>::Prepared, &'a <Self::G2Affine as PairingCurve>::Prepared)>,
Perform a miller loop with some number of (G1, G2) pairs.
fn final_exponentiation(_: &Self::Fqk) -> Option<Self::Fqk>
fn final_exponentiation(_: &Self::Fqk) -> Option<Self::Fqk>
Perform final exponentiation of the result of a miller loop.
Provided methods
fn product_of_pairings<'a, I>(i: I) -> Self::Fqk where
I: Iterator<Item = (&'a <Self::G1Affine as PairingCurve>::Prepared, &'a <Self::G2Affine as PairingCurve>::Prepared)>,
fn product_of_pairings<'a, I>(i: I) -> Self::Fqk where
I: Iterator<Item = (&'a <Self::G1Affine as PairingCurve>::Prepared, &'a <Self::G2Affine as PairingCurve>::Prepared)>,
Computes a product of pairings.
Implementors
impl<P: Bls12Parameters> PairingEngine for Bls12<P> where
G1Affine<P>: PairingCurve<BaseField = <P::G1Parameters as ModelParameters>::BaseField, ScalarField = <P::G1Parameters as ModelParameters>::ScalarField, Projective = G1Projective<P>, PairWith = G2Affine<P>, Prepared = G1Prepared<P>, PairingResult = Fp12<P::Fp12Params>>,
G2Affine<P>: PairingCurve<BaseField = <P::G2Parameters as ModelParameters>::BaseField, ScalarField = <P::G1Parameters as ModelParameters>::ScalarField, Projective = G2Projective<P>, PairWith = G1Affine<P>, Prepared = G2Prepared<P>, PairingResult = Fp12<P::Fp12Params>>,
impl<P: BW6Parameters> PairingEngine for BW6<P> where
G1Affine<P>: PairingCurve<BaseField = <P::G1Parameters as ModelParameters>::BaseField, ScalarField = <P::G1Parameters as ModelParameters>::ScalarField, Projective = G1Projective<P>, PairWith = G2Affine<P>, Prepared = G1Prepared<P>, PairingResult = Fp6<P::Fp6Params>>,
G2Affine<P>: PairingCurve<BaseField = <P::G2Parameters as ModelParameters>::BaseField, ScalarField = <P::G1Parameters as ModelParameters>::ScalarField, Projective = G2Projective<P>, PairWith = G1Affine<P>, Prepared = G2Prepared<P>, PairingResult = Fp6<P::Fp6Params>>,