Portability | Excellent |
---|---|
Stability | Experimental |
Maintainer | Vincent Hanquez <vincent@snarc.org> |
Safe Haskell | Safe-Inferred |
- data Curve
- data Point = Point {}
- data CurveBinary = CurveBinary Integer CurveCommon
- data CurvePrime = CurvePrime Integer CurveCommon
- ecc_fx :: CurveBinary -> Integer
- ecc_p :: CurvePrime -> Integer
- data CurveCommon = CurveCommon {}
- data CurveName
- = SEC_p112r1
- | SEC_p112r2
- | SEC_p128r1
- | SEC_p128r2
- | SEC_p160k1
- | SEC_p160r1
- | SEC_p160r2
- | SEC_p192k1
- | SEC_p192r1
- | SEC_p224k1
- | SEC_p224r1
- | SEC_p256k1
- | SEC_p256r1
- | SEC_p384r1
- | SEC_p521r1
- | SEC_t113r1
- | SEC_t113r2
- | SEC_t131r1
- | SEC_t131r2
- | SEC_t163k1
- | SEC_t163r1
- | SEC_t163r2
- | SEC_t193r1
- | SEC_t193r2
- | SEC_t233k1
- | SEC_t233r1
- | SEC_t239k1
- | SEC_t283k1
- | SEC_t283r1
- | SEC_t409k1
- | SEC_t409r1
- | SEC_t571k1
- | SEC_t571r1
- getCurveByName :: CurveName -> Curve
Documentation
Define either a binary curve or a prime curve.
CurveF2M CurveBinary | 𝔽(2^m) |
CurveFP CurvePrime | 𝔽p |
Define a point on a curve
data CurveBinary Source
Define an elliptic curve in 𝔽(2^m) The first parameter is a bitfield representing the f(x) polynomial.
data CurvePrime Source
Define an elliptic curve in 𝔽p
the first parameter is a prime number
ecc_fx :: CurveBinary -> IntegerSource
Polynomial representing the characteristic of a CurveBinary.
ecc_p :: CurvePrime -> IntegerSource
Prime number representing the characteristic of a CurvePrime.
data CurveCommon Source
Define common parameters in a curve definition of the form: y^2 = x^3 + ax + b
recommended curves definition
Define names for known recommended curves
getCurveByName :: CurveName -> CurveSource
get the curve definition associated with a recommended known curve name.