Module elliptic_curve::weierstrass

Complete projective formulas for prime order elliptic curves as described in Renes-Costello-Batina 2015.

Functions

• add
  Implements the complete addition formula from Renes-Costello-Batina 2015 (Algorithm 4).
• add_mixed
  Implements the complete mixed addition formula from Renes-Costello-Batina 2015 (Algorithm 5).
• double
  Implements the exception-free point doubling formula from Renes-Costello-Batina 2015 (Algorithm 6).

Type Definitions

• AffinePoint
  Affine point whose coordinates are represented by the given field element.
• ProjectivePoint
  Projective point whose coordinates are represented by the given field element.