Module pluto_eris

Pluto\Eris half-pairing ccyle

Implementation of the Pluto / Eris half-pairing cycle of prime order elliptic curves.

Supporting evidence: https://github.com/daira/pluto-eris Field constant derivation: https://github.com/davidnevadoc/ec-constants/tree/main/pluto_eris Pairing constants derivation: https://github.com/John-Gong-Math/pluto_eris/blob/main/pluto_pairing.ipynb

Structs

• Eris
• ErisAffine
• ErisCompressed
• ErisUncompressed
• Fp
  This represents an element of $\mathbb{F}_p$ where
• FpRepr
  Canonical little-endian representation of a Fp element.
• Fq
  This represents an element of $\mathbb{F}_q$ where
• FqRepr
  Canonical little-endian representation of a Fq element.
• G1
• G2
• G1Affine
• G1Compressed
• G1Uncompressed
• G2Affine
• G2Compressed
• G2Prepared
  Points of G2 in Jacobian coordinates. These are points lie in the twisted curve E’(Fp2).
• G2Uncompressed
• Gt
• Pluto
  Pluto pairing-friendly curve. See: https://github.com/daira/pluto-eris