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.