Crate blstrs_plus

blstrs

An implementation of the BLS12-381 pairing-friendly elliptic curve construction.

Re-exports

• pub use elliptic_curve;
• pub use ff;
• pub use group;
• pub use pairing_lib;

Structs

• Bls12
  Bls12-381 engine
• Bls12381G1
  An engine for operations generic G1 operations
• Bls12381G2
  An engine for operations generic G2 operations
• G1Affine
  This is an element of $\mathbb{G}_1$ represented in the affine coordinate space. It is ideal to keep elements in this representation to reduce memory usage and improve performance through the use of mixed curve model arithmetic.
• G1Compressed
• G1Projective
  This is an element of $\mathbb{G}_1$ represented in the projective coordinate space.
• G1Uncompressed
• G2Affine
  This is an element of $\mathbb{G}_2$ represented in the affine coordinate space. It is ideal to keep elements in this representation to reduce memory usage and improve performance through the use of mixed curve model arithmetic.
• G2Compressed
• G2Prepared
• G2Projective
  This is an element of $\mathbb{G}_2$ represented in the projective coordinate space.
• G2Uncompressed
• Gt
  This is an element of $\mathbb{G}_T$, the target group of the pairing function. As with $\mathbb{G}_1$ and $\mathbb{G}_2$ this group has order $q$.
• MillerLoopResult
  Represents results of a Miller loop, one of the most expensive portions of the pairing function. MillerLoopResults cannot be compared with each other until .final_exponentiation() is called, which is also expensive.
• PairingG1G2
  Aggregate pairings efficiently.
• PairingG2G1
  Aggregate pairings efficiently.
• Scalar
  Represents an element of the scalar field $\mathbb{F}_q$ of the BLS12-381 elliptic curve construction.

Traits

• Compress
  This traits enables reading and writing a compressed version.

Functions

• multi_miller_loop
  Computes $$\sum_{i=1}^n \textbf{ML}(a_i, b_i)$$ given a series of terms $$(a_1, b_1), (a_2, b_2), …, (a_n, b_n).$$
• pairing
  Execute a complete pairing operation (p, q).
• unique_messages
  Returns true if all provided messages are distinctly unique, false otherwise.