Struct snarkvm_curves::templates::bls12::bls12::Bls12 [−][src]
pub struct Bls12<P: Bls12Parameters>(_);
Trait Implementations
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
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: 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>>,
type Fqk = Fp12<P::Fp12Params>
type Fqk = Fp12<P::Fp12Params>
The extension field that hosts the target group of the pairing.
type Fr = <P::G1Parameters as ModelParameters>::ScalarField
type Fr = <P::G1Parameters as ModelParameters>::ScalarField
This is the scalar field of the G1/G2 groups.
type G1Projective = G1Projective<P>
type G1Projective = G1Projective<P>
The projective representation of an element in G1.
type G2Projective = G2Projective<P>
type G2Projective = G2Projective<P>
The projective representation of an element in G2.
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.
Perform final exponentiation of the result of a miller loop.
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.
Auto Trait Implementations
impl<P> RefUnwindSafe for Bls12<P>
impl<P> UnwindSafe for Bls12<P>
Blanket Implementations
Mutably borrows from an owned value. Read more
pub fn vzip(self) -> V