Pairing.Jacobian

Jacobian representation of points on an elliptic curve.

In Jacobian coordinates the triple (x, y, z) represents the affine point (X Z^2, Y Z^3). Curve operations are more optimal in Jacobian coordinates when the time complexity for underlying field inversions is significantly higher than field multiplications.

Documentation

type JPoint a = (a, a, a)

Jacobian coordinates for points on an elliptic curve over a field a.

toJacobian :: Fractional a => Point a -> JPoint a

Convert affine coordinates to Jacobian coordinates

fromJacobian :: (Eq a, Fractional a) => JPoint a -> Point a

Convert Jacobian coordinates to affine coordinates