| 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_P384R1 Source #
Constructors
| Curve_P384R1 |
data Curve_P521R1 Source #
Constructors
| Curve_P521R1 |
class EllipticCurve curve where Source #
Minimal complete definition
curveGenerateScalar, curveGenerateKeyPair, curveSizeBits, encodePoint, decodePoint
Associated Types
type Point curve :: * Source #
Point on an Elliptic Curve
type Scalar curve :: * Source #
Scalar in the Elliptic Curve domain
Methods
curveGenerateScalar :: MonadRandom randomly => proxy curve -> randomly (Scalar curve) Source #
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) Source #
Generate a new random keypair
curveSizeBits :: proxy curve -> Int Source #
Get the curve size in bits
encodePoint :: ByteArray bs => proxy curve -> Point curve -> bs Source #
Encode a elliptic curve point into binary form
decodePoint :: ByteArray bs => proxy curve -> bs -> CryptoFailable (Point curve) Source #
Try to decode the binary form of an elliptic curve point
class EllipticCurve curve => EllipticCurveDH curve where Source #
Minimal complete definition
Methods
ecdhRaw :: proxy curve -> Scalar curve -> Point curve -> SharedSecret Source #
Generate a Diffie hellman secret value.
This is generally just the .x coordinate of the resulting point, that is not hashed.
use pointSmul to keep the result in Point format.
WARNING: Curve implementations may return a special value or an
exception when the public point lies in a subgroup of small order.
This function is adequate when the scalar is in expected range and
contributory behaviour is not needed. Otherwise use ecdh.
ecdh :: proxy curve -> Scalar curve -> Point curve -> CryptoFailable SharedSecret Source #
Generate a Diffie hellman secret value and verify that the result is not the point at infinity.
This additional test avoids risks existing with function ecdhRaw.
Implementations always return a CryptoError instead of a special
value or an exception.
class EllipticCurve curve => EllipticCurveArith curve where Source #
An elliptic curve key pair composed of the private part (a scalar), and the associated point.
Constructors
| KeyPair | |
Fields
| |