| License | BSD-style |
|---|---|
| Maintainer | Vincent Hanquez <vincent@snarc.org> |
| Stability | experimental |
| Portability | unknown |
| Safe Haskell | None |
| Language | Haskell2010 |
Crypto.ECC
Description
Elliptic Curve Cryptography
- data Curve_P256R1 = Curve_P256R1
- data Curve_P384R1 = Curve_P384R1
- data Curve_P521R1 = Curve_P521R1
- data Curve_X25519 = Curve_X25519
- data Curve_X448 = Curve_X448
- class EllipticCurve curve where
- class EllipticCurve curve => EllipticCurveDH curve where
- class EllipticCurve curve => EllipticCurveArith curve where
- data KeyPair curve = KeyPair {
- keypairGetPublic :: !(Point curve)
- keypairGetPrivate :: !(Scalar curve)
- newtype SharedSecret = SharedSecret ScrubbedBytes
Documentation
data Curve_X448 #
Constructors
| Curve_X448 |
Instances
| EllipticCurveDH Curve_X448 # | |
| EllipticCurve Curve_X448 # | |
| type Point Curve_X448 # | |
| type Scalar Curve_X448 # | |
class EllipticCurve curve where #
Minimal complete definition
curveGenerateScalar, curveGenerateKeyPair, curveSizeBits, encodePoint, decodePoint
Associated Types
Point on an Elliptic Curve
Scalar in the Elliptic Curve domain
Methods
curveGenerateScalar :: MonadRandom randomly => proxy curve -> randomly (Scalar curve) #
Generate a new random scalar on the curve. The scalar will represent a number between 1 and the order of the curve non included
curveGenerateKeyPair :: MonadRandom randomly => proxy curve -> randomly (KeyPair curve) #
Generate a new random keypair
curveSizeBits :: proxy curve -> Int #
Get the curve size in bits
encodePoint :: ByteArray bs => proxy curve -> Point curve -> bs #
Encode a elliptic curve point into binary form
decodePoint :: ByteArray bs => proxy curve -> bs -> CryptoFailable (Point curve) #
Try to decode the binary form of an elliptic curve point
class EllipticCurve curve => EllipticCurveDH curve where #
Minimal complete definition
class EllipticCurve curve => EllipticCurveArith curve where #
An elliptic curve key pair composed of the private part (a scalar), and the associated point.
Constructors
| KeyPair | |
Fields
| |