License | BSD-style |
---|---|
Maintainer | Vincent Hanquez <vincent@snarc.org> |
Stability | experimental |
Portability | unknown |
Safe Haskell | None |
Language | Haskell2010 |
Crypto.ECC
Description
Elliptic Curve Cryptography
Synopsis
- 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
- data Curve_Edwards25519 = Curve_Edwards25519
- class EllipticCurve curve where
- type Point curve :: Type
- type Scalar curve :: Type
- curveGenerateScalar :: MonadRandom randomly => proxy curve -> randomly (Scalar curve)
- curveGenerateKeyPair :: MonadRandom randomly => proxy curve -> randomly (KeyPair curve)
- curveSizeBits :: proxy curve -> Int
- encodePoint :: ByteArray bs => proxy curve -> Point curve -> bs
- decodePoint :: ByteArray bs => proxy curve -> bs -> CryptoFailable (Point curve)
- class EllipticCurve curve => EllipticCurveDH curve where
- ecdhRaw :: proxy curve -> Scalar curve -> Point curve -> SharedSecret
- ecdh :: proxy curve -> Scalar curve -> Point curve -> CryptoFailable SharedSecret
- class EllipticCurve curve => EllipticCurveArith curve where
- data KeyPair curve = KeyPair {
- keypairGetPublic :: !(Point curve)
- keypairGetPrivate :: !(Scalar curve)
- newtype SharedSecret = SharedSecret ScrubbedBytes
Documentation
data Curve_P256R1 Source #
P256 Curve
also known as P256
Constructors
Curve_P256R1 |
Instances
data Curve_P384R1 Source #
Constructors
Curve_P384R1 |
Instances
data Curve_P521R1 Source #
Constructors
Curve_P521R1 |
Instances
data Curve_X25519 Source #
Constructors
Curve_X25519 |
Instances
data Curve_X448 Source #
Constructors
Curve_X448 |
Instances
Data Curve_X448 Source # | |
Defined in Crypto.ECC Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Curve_X448 -> c Curve_X448 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Curve_X448 # toConstr :: Curve_X448 -> Constr # dataTypeOf :: Curve_X448 -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Curve_X448) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Curve_X448) # gmapT :: (forall b. Data b => b -> b) -> Curve_X448 -> Curve_X448 # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Curve_X448 -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Curve_X448 -> r # gmapQ :: (forall d. Data d => d -> u) -> Curve_X448 -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Curve_X448 -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Curve_X448 -> m Curve_X448 # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Curve_X448 -> m Curve_X448 # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Curve_X448 -> m Curve_X448 # | |
Show Curve_X448 Source # | |
Defined in Crypto.ECC Methods showsPrec :: Int -> Curve_X448 -> ShowS # show :: Curve_X448 -> String # showList :: [Curve_X448] -> ShowS # | |
EllipticCurveDH Curve_X448 Source # | |
Defined in Crypto.ECC Methods ecdhRaw :: proxy Curve_X448 -> Scalar Curve_X448 -> Point Curve_X448 -> SharedSecret Source # ecdh :: proxy Curve_X448 -> Scalar Curve_X448 -> Point Curve_X448 -> CryptoFailable SharedSecret Source # | |
EllipticCurve Curve_X448 Source # | |
Defined in Crypto.ECC Methods curveGenerateScalar :: MonadRandom randomly => proxy Curve_X448 -> randomly (Scalar Curve_X448) Source # curveGenerateKeyPair :: MonadRandom randomly => proxy Curve_X448 -> randomly (KeyPair Curve_X448) Source # curveSizeBits :: proxy Curve_X448 -> Int Source # encodePoint :: ByteArray bs => proxy Curve_X448 -> Point Curve_X448 -> bs Source # decodePoint :: ByteArray bs => proxy Curve_X448 -> bs -> CryptoFailable (Point Curve_X448) Source # | |
type Point Curve_X448 Source # | |
Defined in Crypto.ECC | |
type Scalar Curve_X448 Source # | |
Defined in Crypto.ECC |
data Curve_Edwards25519 Source #
Constructors
Curve_Edwards25519 |
Instances
class EllipticCurve curve where Source #
Associated Types
type Point curve :: Type Source #
Point on an Elliptic Curve
type Scalar curve :: Type 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
Instances
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.
Instances
class EllipticCurve curve => EllipticCurveArith curve where Source #
Methods
pointAdd :: proxy curve -> Point curve -> Point curve -> Point curve Source #
Add points on a curve
pointNegate :: proxy curve -> Point curve -> Point curve Source #
Negate a curve point
pointSmul :: proxy curve -> Scalar curve -> Point curve -> Point curve Source #
Scalar Multiplication on a curve
Instances
An elliptic curve key pair composed of the private part (a scalar), and the associated point.
Constructors
KeyPair | |
Fields
|