Safe Haskell | None |
---|---|
Language | Haskell2010 |
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.
Synopsis
- type JPoint a = (a, a, a)
- toJacobian :: Fractional a => Point a -> JPoint a
- fromJacobian :: (Eq a, Fractional a) => JPoint a -> Point a
Documentation
type JPoint a = (a, a, a) Source #
Jacobian coordinates for points on an elliptic curve over a field
a
.
toJacobian :: Fractional a => Point a -> JPoint a Source #
Convert affine coordinates to Jacobian coordinates
fromJacobian :: (Eq a, Fractional a) => JPoint a -> Point a Source #
Convert Jacobian coordinates to affine coordinates