Traits

Represents results of a Miller loop, one of the most expensive portions of the pairing function.
An engine that can compute sums of pairings in an efficient way.
Affine representation of an elliptic curve point that can be used to perform pairings.