cryptonite-0.24: Cryptography Primitives sink

LicenseBSD-style
MaintainerVincent Hanquez <vincent@snarc.org>
Stabilityexperimental
Portabilityunknown
Safe HaskellNone
LanguageHaskell2010

Crypto.PubKey.ECC.P256

Contents

Description

P256 support

Synopsis

Documentation

data Scalar Source #

A P256 scalar

Instances

data Point Source #

A P256 point

Instances

Eq Point Source # 

Methods

(==) :: Point -> Point -> Bool #

(/=) :: Point -> Point -> Bool #

Show Point Source # 

Methods

showsPrec :: Int -> Point -> ShowS #

show :: Point -> String #

showList :: [Point] -> ShowS #

point arithmetic

pointBase :: Point Source #

Get the base point for the P256 Curve

pointAdd :: Point -> Point -> Point Source #

Add a point to another point

pointMul :: Scalar -> Point -> Point Source #

Multiply a point by a scalar

warning: variable time

pointDh :: ByteArray binary => Scalar -> Point -> binary Source #

Similar to pointMul, serializing the x coordinate as binary. When scalar is multiple of point order the result is all zero.

pointsMulVarTime :: Scalar -> Scalar -> Point -> Point Source #

multiply the point p with n2 and add a lifted to curve value @n1

n1 * G + n2 * p

warning: variable time

pointIsValid :: Point -> Bool Source #

Check if a Point is valid

toPoint :: Scalar -> Point Source #

Lift to curve a scalar

Using the curve generator as base point compute:

scalar * G

pointToIntegers :: Point -> (Integer, Integer) Source #

Convert a point to (x,y) Integers

pointFromIntegers :: (Integer, Integer) -> Point Source #

Convert from (x,y) Integers to a point

pointToBinary :: ByteArray ba => Point -> ba Source #

Convert a point to a binary representation

pointFromBinary :: ByteArrayAccess ba => ba -> CryptoFailable Point Source #

Convert from binary to a valid point

unsafePointFromBinary :: ByteArrayAccess ba => ba -> CryptoFailable Point Source #

Convert from binary to a point, possibly invalid

scalar arithmetic

scalarGenerate :: MonadRandom randomly => randomly Scalar Source #

Generate a randomly generated new scalar

scalarZero :: Scalar Source #

The scalar representing 0

scalarIsZero :: Scalar -> Bool Source #

Check if the scalar is 0

scalarAdd :: Scalar -> Scalar -> Scalar Source #

Perform addition between two scalars

a + b

scalarSub :: Scalar -> Scalar -> Scalar Source #

Perform subtraction between two scalars

a - b

scalarInv :: Scalar -> Scalar Source #

Give the inverse of the scalar

1 / a

warning: variable time

scalarCmp :: Scalar -> Scalar -> Ordering Source #

Compare 2 Scalar

scalarFromBinary :: ByteArrayAccess ba => ba -> CryptoFailable Scalar Source #

convert a scalar from binary

scalarToBinary :: ByteArray ba => Scalar -> ba Source #

convert a scalar to binary

scalarFromInteger :: Integer -> CryptoFailable Scalar Source #

Convert from an Integer to a P256 Scalar

scalarToInteger :: Scalar -> Integer Source #

Convert from a P256 Scalar to an Integer