Safe Haskell	None
Language	Haskell2010

Crypto.BLST.Internal.Classy

Description

Bindings with class.

Synopsis

class (IsPoint (CurveToMsgPoint c), IsPoint (CurveToPkPoint c)) => IsCurve (c :: Curve) where
- skToPkPoint :: Scalar -> IO (Point (CurveToPkPoint c))
- signPk :: Point (CurveToMsgPoint c) -> Scalar -> IO (Point (CurveToMsgPoint c))
- coreVerifyPk :: (ByteArrayAccess ba, ByteArrayAccess ba2) => Affine (CurveToPkPoint c) -> Affine (CurveToMsgPoint c) -> EncodeMethod -> ba -> Maybe ba2 -> IO BlstError
- pairingChkNAggrPk :: ByteArrayAccess ba => PairingCtx -> Affine (CurveToPkPoint c) -> Bool -> Maybe (Affine (CurveToMsgPoint c)) -> Bool -> ba -> IO BlstError
class (KnownNat (SerializedSize p), KnownNat (CompressedSize p)) => IsPoint (p :: PointKind) where
- toAffine :: Point p -> IO (Affine p)
- fromAffine :: Affine p -> IO (Point p)
- affSerialize :: Affine p -> IO (SizedByteArray (SerializedSize p) Bytes)
- affCompress :: Affine p -> IO (SizedByteArray (CompressedSize p) Bytes)
- uncompress :: ByteArrayAccess ba => SizedByteArray (CompressedSize p) ba -> IO (Either BlstError (Affine p))
- addOrDoubleAffine :: Point p -> Affine p -> IO (Point p)
- deserialize :: ByteArrayAccess ba => SizedByteArray (SerializedSize p) ba -> IO (Either BlstError (Affine p))
class (IsCurve c, Demote meth) => ToCurve (meth :: EncodeMethod) (c :: Curve) where
- toCurve :: (ByteArrayAccess ba, ByteArrayAccess ba2) => ba -> Maybe ba2 -> IO (Point (CurveToMsgPoint c))
data Curve
- = G1
- | G2
type family CompressedSize (p :: PointKind) = (r :: Nat) | r -> p where ...
type family CurveToMsgPoint (c :: Curve) = (r :: PointKind) | r -> c where ...
type family CurveToPkPoint (c :: Curve) = (r :: PointKind) | r -> c where ...
type family SerializedSize (p :: PointKind) = (r :: Nat) | r -> p where ...

Documentation

class (IsPoint (CurveToMsgPoint c), IsPoint (CurveToPkPoint c)) => IsCurve (c :: Curve) where Source #

Class for operations on curves.

Methods

skToPkPoint :: Scalar -> IO (Point (CurveToPkPoint c)) Source #

signPk :: Point (CurveToMsgPoint c) -> Scalar -> IO (Point (CurveToMsgPoint c)) Source #

coreVerifyPk :: (ByteArrayAccess ba, ByteArrayAccess ba2) => Affine (CurveToPkPoint c) -> Affine (CurveToMsgPoint c) -> EncodeMethod -> ba -> Maybe ba2 -> IO BlstError Source #

pairingChkNAggrPk :: ByteArrayAccess ba => PairingCtx -> Affine (CurveToPkPoint c) -> Bool -> Maybe (Affine (CurveToMsgPoint c)) -> Bool -> ba -> IO BlstError Source #

Instances

Instances details

IsCurve 'G1 Source #
Instance details Defined in Crypto.BLST.Internal.Classy Methods skToPkPoint :: Scalar -> IO (Point (CurveToPkPoint 'G1)) Source # signPk :: Point (CurveToMsgPoint 'G1) -> Scalar -> IO (Point (CurveToMsgPoint 'G1)) Source # coreVerifyPk :: (ByteArrayAccess ba, ByteArrayAccess ba2) => Affine (CurveToPkPoint 'G1) -> Affine (CurveToMsgPoint 'G1) -> EncodeMethod -> ba -> Maybe ba2 -> IO BlstError Source # pairingChkNAggrPk :: ByteArrayAccess ba => PairingCtx -> Affine (CurveToPkPoint 'G1) -> Bool -> Maybe (Affine (CurveToMsgPoint 'G1)) -> Bool -> ba -> IO BlstError Source #
IsCurve 'G2 Source #
Instance details Defined in Crypto.BLST.Internal.Classy Methods skToPkPoint :: Scalar -> IO (Point (CurveToPkPoint 'G2)) Source # signPk :: Point (CurveToMsgPoint 'G2) -> Scalar -> IO (Point (CurveToMsgPoint 'G2)) Source # coreVerifyPk :: (ByteArrayAccess ba, ByteArrayAccess ba2) => Affine (CurveToPkPoint 'G2) -> Affine (CurveToMsgPoint 'G2) -> EncodeMethod -> ba -> Maybe ba2 -> IO BlstError Source # pairingChkNAggrPk :: ByteArrayAccess ba => PairingCtx -> Affine (CurveToPkPoint 'G2) -> Bool -> Maybe (Affine (CurveToMsgPoint 'G2)) -> Bool -> ba -> IO BlstError Source #

class (KnownNat (SerializedSize p), KnownNat (CompressedSize p)) => IsPoint (p :: PointKind) where Source #

Class for operations on points.

Methods

toAffine :: Point p -> IO (Affine p) Source #

fromAffine :: Affine p -> IO (Point p) Source #

affSerialize :: Affine p -> IO (SizedByteArray (SerializedSize p) Bytes) Source #

affCompress :: Affine p -> IO (SizedByteArray (CompressedSize p) Bytes) Source #

uncompress :: ByteArrayAccess ba => SizedByteArray (CompressedSize p) ba -> IO (Either BlstError (Affine p)) Source #

addOrDoubleAffine :: Point p -> Affine p -> IO (Point p) Source #

deserialize :: ByteArrayAccess ba => SizedByteArray (SerializedSize p) ba -> IO (Either BlstError (Affine p)) Source #

Instances

Instances details

IsPoint 'P1 Source #
Instance details Defined in Crypto.BLST.Internal.Classy Methods toAffine :: Point 'P1 -> IO (Affine 'P1) Source # fromAffine :: Affine 'P1 -> IO (Point 'P1) Source # affSerialize :: Affine 'P1 -> IO (SizedByteArray (SerializedSize 'P1) Bytes) Source # affCompress :: Affine 'P1 -> IO (SizedByteArray (CompressedSize 'P1) Bytes) Source # uncompress :: ByteArrayAccess ba => SizedByteArray (CompressedSize 'P1) ba -> IO (Either BlstError (Affine 'P1)) Source # addOrDoubleAffine :: Point 'P1 -> Affine 'P1 -> IO (Point 'P1) Source # deserialize :: ByteArrayAccess ba => SizedByteArray (SerializedSize 'P1) ba -> IO (Either BlstError (Affine 'P1)) Source #
IsPoint 'P2 Source #
Instance details Defined in Crypto.BLST.Internal.Classy Methods toAffine :: Point 'P2 -> IO (Affine 'P2) Source # fromAffine :: Affine 'P2 -> IO (Point 'P2) Source # affSerialize :: Affine 'P2 -> IO (SizedByteArray (SerializedSize 'P2) Bytes) Source # affCompress :: Affine 'P2 -> IO (SizedByteArray (CompressedSize 'P2) Bytes) Source # uncompress :: ByteArrayAccess ba => SizedByteArray (CompressedSize 'P2) ba -> IO (Either BlstError (Affine 'P2)) Source # addOrDoubleAffine :: Point 'P2 -> Affine 'P2 -> IO (Point 'P2) Source # deserialize :: ByteArrayAccess ba => SizedByteArray (SerializedSize 'P2) ba -> IO (Either BlstError (Affine 'P2)) Source #

class (IsCurve c, Demote meth) => ToCurve (meth :: EncodeMethod) (c :: Curve) where Source #

Class for encoding/hashing to curve.

Methods

toCurve :: (ByteArrayAccess ba, ByteArrayAccess ba2) => ba -> Maybe ba2 -> IO (Point (CurveToMsgPoint c)) Source #

Instances

Instances details

ToCurve 'Encode 'G1 Source #
Instance details Defined in Crypto.BLST.Internal.Classy Methods toCurve :: (ByteArrayAccess ba, ByteArrayAccess ba2) => ba -> Maybe ba2 -> IO (Point (CurveToMsgPoint 'G1)) Source #
ToCurve 'Encode 'G2 Source #
Instance details Defined in Crypto.BLST.Internal.Classy Methods toCurve :: (ByteArrayAccess ba, ByteArrayAccess ba2) => ba -> Maybe ba2 -> IO (Point (CurveToMsgPoint 'G2)) Source #
ToCurve 'Hash 'G1 Source #
Instance details Defined in Crypto.BLST.Internal.Classy Methods toCurve :: (ByteArrayAccess ba, ByteArrayAccess ba2) => ba -> Maybe ba2 -> IO (Point (CurveToMsgPoint 'G1)) Source #
ToCurve 'Hash 'G2 Source #
Instance details Defined in Crypto.BLST.Internal.Classy Methods toCurve :: (ByteArrayAccess ba, ByteArrayAccess ba2) => ba -> Maybe ba2 -> IO (Point (CurveToMsgPoint 'G2)) Source #

data Curve Source #

Curve data kind.

Constructors

G1
G2

Instances

Instances details

Demote 'G1 Source #
Instance details Defined in Crypto.BLST.Internal.Classy Methods demote :: Curve Source #
Demote 'G2 Source #
Instance details Defined in Crypto.BLST.Internal.Classy Methods demote :: Curve Source #

type family CompressedSize (p :: PointKind) = (r :: Nat) | r -> p where ... Source #

Size of compressed serialized point.

Equations

CompressedSize 'P1 = P1CompressSize
CompressedSize 'P2 = P2CompressSize

type family CurveToMsgPoint (c :: Curve) = (r :: PointKind) | r -> c where ... Source #

Message/signature point depending on the curve.

Equations

CurveToMsgPoint 'G1 = 'P2
CurveToMsgPoint 'G2 = 'P1

type family CurveToPkPoint (c :: Curve) = (r :: PointKind) | r -> c where ... Source #

Public key point type depending on the curve.

Equations

CurveToPkPoint 'G1 = 'P1
CurveToPkPoint 'G2 = 'P2

type family SerializedSize (p :: PointKind) = (r :: Nat) | r -> p where ... Source #

Size of serialized point.

Equations

SerializedSize 'P1 = P1SerializeSize
SerializedSize 'P2 = P2SerializeSize