Trait pairing_ce::Engine [−][src]
An “engine” is a collection of types (fields, elliptic curve groups, etc.)
with well-defined relationships. In particular, the G1/G2 curve groups are
of prime order r
, and are equipped with a bilinear pairing function.
Associated Types
type G1: CurveProjective<Engine = Self, Base = Self::Fq, Scalar = Self::Fr, Affine = Self::G1Affine> + From<Self::G1Affine>
[src]
The projective representation of an element in G1.
type G1Affine: CurveAffine<Engine = Self, Base = Self::Fq, Scalar = Self::Fr, Projective = Self::G1, Pair = Self::G2Affine, PairingResult = Self::Fqk> + From<Self::G1> + RawEncodable
[src]
The affine representation of an element in G1.
type G2: CurveProjective<Engine = Self, Base = Self::Fqe, Scalar = Self::Fr, Affine = Self::G2Affine> + From<Self::G2Affine>
[src]
The projective representation of an element in G2.
type G2Affine: CurveAffine<Engine = Self, Base = Self::Fqe, Scalar = Self::Fr, Projective = Self::G2, Pair = Self::G1Affine, PairingResult = Self::Fqk> + From<Self::G2>
[src]
The affine representation of an element in G2.
type Fq: PrimeField + SqrtField
[src]
The base field that hosts G1.
type Fqe: SqrtField
[src]
The extension field that hosts G2.
type Fqk: Field
[src]
The extension field that hosts the target group of the pairing.
Required methods
fn miller_loop<'a, I>(i: I) -> Self::Fqk where
I: IntoIterator<Item = &'a (&'a <Self::G1Affine as CurveAffine>::Prepared, &'a <Self::G2Affine as CurveAffine>::Prepared)>,
[src]
I: IntoIterator<Item = &'a (&'a <Self::G1Affine as CurveAffine>::Prepared, &'a <Self::G2Affine as CurveAffine>::Prepared)>,
Perform a miller loop with some number of (G1, G2) pairs.
fn final_exponentiation(r: &Self::Fqk) -> Option<Self::Fqk>
[src]
Perform final exponentiation of the result of a miller loop.
Provided methods
fn pairing<G1, G2>(p: G1, q: G2) -> Self::Fqk where
G1: Into<Self::G1Affine>,
G2: Into<Self::G2Affine>,
[src]
G1: Into<Self::G1Affine>,
G2: Into<Self::G2Affine>,
Performs a complete pairing operation (p, q)
.
Implementors
impl Engine for Bls12
[src]
type G1 = G1
type G1Affine = G1Affine
type G2 = G2
type G2Affine = G2Affine
type Fq = Fq
type Fqe = Fq2
type Fqk = Fq12
fn miller_loop<'a, I>(i: I) -> Self::Fqk where
I: IntoIterator<Item = &'a (&'a <Self::G1Affine as CurveAffine>::Prepared, &'a <Self::G2Affine as CurveAffine>::Prepared)>,
[src]
I: IntoIterator<Item = &'a (&'a <Self::G1Affine as CurveAffine>::Prepared, &'a <Self::G2Affine as CurveAffine>::Prepared)>,
fn final_exponentiation(r: &Fq12) -> Option<Fq12>
[src]
impl Engine for pairing_ce::bn256::Bn256
[src]
type G1 = G1
type G1Affine = G1Affine
type G2 = G2
type G2Affine = G2Affine
type Fq = Fq
type Fqe = Fq2
type Fqk = Fq12
fn miller_loop<'a, I>(i: I) -> Self::Fqk where
I: IntoIterator<Item = &'a (&'a <Self::G1Affine as CurveAffine>::Prepared, &'a <Self::G2Affine as CurveAffine>::Prepared)>,
[src]
I: IntoIterator<Item = &'a (&'a <Self::G1Affine as CurveAffine>::Prepared, &'a <Self::G2Affine as CurveAffine>::Prepared)>,
fn final_exponentiation(r: &Fq12) -> Option<Fq12>
[src]
impl Engine for pairing_ce::compact_bn256::Bn256
[src]
type G1 = G1
type G1Affine = G1Affine
type G2 = G2
type G2Affine = G2Affine
type Fq = Fq
type Fqe = Fq2
type Fqk = Fq12
fn miller_loop<'a, I>(i: I) -> Self::Fqk where
I: IntoIterator<Item = &'a (&'a <Self::G1Affine as CurveAffine>::Prepared, &'a <Self::G2Affine as CurveAffine>::Prepared)>,
[src]
I: IntoIterator<Item = &'a (&'a <Self::G1Affine as CurveAffine>::Prepared, &'a <Self::G2Affine as CurveAffine>::Prepared)>,