License | BSD-style |
---|---|
Maintainer | Vincent Hanquez <vincent@snarc.org> |
Stability | experimental |
Portability | unknown |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
P256 support
Synopsis
- data Scalar
- data Point
- pointBase :: Point
- pointAdd :: Point -> Point -> Point
- pointNegate :: Point -> Point
- pointMul :: Scalar -> Point -> Point
- pointDh :: ByteArray binary => Scalar -> Point -> binary
- pointsMulVarTime :: Scalar -> Scalar -> Point -> Point
- pointIsValid :: Point -> Bool
- pointIsAtInfinity :: Point -> Bool
- toPoint :: Scalar -> Point
- pointX :: Point -> Maybe Scalar
- pointToIntegers :: Point -> (Integer, Integer)
- pointFromIntegers :: (Integer, Integer) -> Point
- pointToBinary :: ByteArray ba => Point -> ba
- pointFromBinary :: ByteArrayAccess ba => ba -> CryptoFailable Point
- unsafePointFromBinary :: ByteArrayAccess ba => ba -> CryptoFailable Point
- scalarGenerate :: MonadRandom randomly => randomly Scalar
- scalarZero :: Scalar
- scalarN :: Scalar
- scalarIsZero :: Scalar -> Bool
- scalarAdd :: Scalar -> Scalar -> Scalar
- scalarSub :: Scalar -> Scalar -> Scalar
- scalarMul :: Scalar -> Scalar -> Scalar
- scalarInv :: Scalar -> Scalar
- scalarInvSafe :: Scalar -> Scalar
- scalarCmp :: Scalar -> Scalar -> Ordering
- scalarFromBinary :: ByteArrayAccess ba => ba -> CryptoFailable Scalar
- scalarToBinary :: ByteArray ba => Scalar -> ba
- scalarFromInteger :: Integer -> CryptoFailable Scalar
- scalarToInteger :: Scalar -> Integer
Documentation
A P256 scalar
A P256 point
Point arithmetic
pointNegate :: Point -> Point Source #
Negate a point
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
toPoint :: Scalar -> Point Source #
Lift to curve a scalar
Using the curve generator as base point compute:
scalar * G
pointX :: Point -> Maybe Scalar Source #
Return the x coordinate as a Scalar
if the point is not at infinity
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
scalarInvSafe :: Scalar -> Scalar Source #
Give the inverse of the scalar using safe exponentiation
1 / a
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