Safe Haskell	None
Language	Haskell2010

Cardano.Crypto.EllipticCurve.BLS12_381.Internal

Contents

Unsafe Types
Phantom Types
Error codes
Safe types
The period of scalars
Curve abstraction
Pairing check
FP12 functions
Scalar functions
Marshalling functions
Utility
Point1/G1 operations
PT operations
Scalar / Fr operations
Pairings

Synopsis

data ScalarPtr
newtype PointPtr curve = PointPtr (Ptr Void)
data AffinePtr curve
type Point1Ptr = PointPtr Curve1
type Point2Ptr = PointPtr Curve2
type Affine1Ptr = AffinePtr Curve1
type Affine2Ptr = AffinePtr Curve2
data PTPtr
data Curve1
data Curve2
c_blst_success ∷ CInt
c_blst_error_bad_encoding ∷ CInt
c_blst_error_point_not_on_curve ∷ CInt
c_blst_error_point_not_in_group ∷ CInt
c_blst_error_aggr_type_mismatch ∷ CInt
c_blst_error_verify_fail ∷ CInt
c_blst_error_pk_is_infinity ∷ CInt
c_blst_error_bad_scalar ∷ CInt
data Affine curve
type Affine1 = Affine Curve1
type Affine2 = Affine Curve2
data BLSTError
- = BLST_SUCCESS
- | BLST_BAD_ENCODING
- | BLST_POINT_NOT_ON_CURVE
- | BLST_POINT_NOT_IN_GROUP
- | BLST_AGGR_TYPE_MISMATCH
- | BLST_VERIFY_FAIL
- | BLST_PK_IS_INFINITY
- | BLST_BAD_SCALAR
- | BLST_UNKNOWN_ERROR
newtype Point curve = Point (ForeignPtr Void)
type Point1 = Point Curve1
type Point2 = Point Curve2
data PT
newtype Scalar = Scalar (ForeignPtr Void)
newtype Fr = Fr (ForeignPtr Void)
unsafePointFromPointPtr ∷ PointPtr curve → Point curve
scalarPeriod ∷ Integer
class BLS curve where
- c_blst_on_curve ∷ PointPtr curve → IO Bool
- c_blst_add_or_double ∷ PointPtr curve → PointPtr curve → PointPtr curve → IO ()
- c_blst_mult ∷ PointPtr curve → PointPtr curve → ScalarPtr → CSize → IO ()
- c_blst_cneg ∷ PointPtr curve → Bool → IO ()
- c_blst_hash ∷ PointPtr curve → Ptr CChar → CSize → Ptr CChar → CSize → Ptr CChar → CSize → IO ()
- c_blst_compress ∷ Ptr CChar → PointPtr curve → IO ()
- c_blst_serialize ∷ Ptr CChar → PointPtr curve → IO ()
- c_blst_uncompress ∷ AffinePtr curve → Ptr CChar → IO CInt
- c_blst_deserialize ∷ AffinePtr curve → Ptr CChar → IO CInt
- c_blst_in_g ∷ PointPtr curve → IO Bool
- c_blst_to_affine ∷ AffinePtr curve → PointPtr curve → IO ()
- c_blst_from_affine ∷ PointPtr curve → AffinePtr curve → IO ()
- c_blst_affine_in_g ∷ AffinePtr curve → IO Bool
- c_blst_generator ∷ PointPtr curve
- c_blst_p_is_equal ∷ PointPtr curve → PointPtr curve → IO Bool
- c_blst_p_is_inf ∷ PointPtr curve → IO Bool
c_blst_miller_loop ∷ PTPtr → Affine2Ptr → Affine1Ptr → IO ()
c_blst_fp12_mul ∷ PTPtr → PTPtr → PTPtr → IO ()
c_blst_fp12_is_equal ∷ PTPtr → PTPtr → IO Bool
c_blst_fp12_finalverify ∷ PTPtr → PTPtr → IO Bool
c_blst_scalar_fr_check ∷ ScalarPtr → IO Bool
c_blst_scalar_from_fr ∷ ScalarPtr → FrPtr → IO ()
c_blst_fr_from_scalar ∷ FrPtr → ScalarPtr → IO ()
c_blst_scalar_from_be_bytes ∷ ScalarPtr → Ptr CChar → CSize → IO Bool
c_blst_bendian_from_scalar ∷ Ptr CChar → ScalarPtr → IO ()
sizePoint ∷ ∀ curve. BLS curve ⇒ Proxy curve → Int
withPoint ∷ ∀ a curve. Point curve → (PointPtr curve → IO a) → IO a
withNewPoint ∷ ∀ curve a. BLS curve ⇒ (PointPtr curve → IO a) → IO (a, Point curve)
withNewPoint_ ∷ BLS curve ⇒ (PointPtr curve → IO a) → IO a
withNewPoint' ∷ BLS curve ⇒ (PointPtr curve → IO a) → IO (Point curve)
clonePoint ∷ ∀ curve. BLS curve ⇒ Point curve → IO (Point curve)
compressedSizePoint ∷ ∀ curve. BLS curve ⇒ Proxy curve → Int
serializedSizePoint ∷ ∀ curve. BLS curve ⇒ Proxy curve → Int
sizeAffine ∷ ∀ curve. BLS curve ⇒ Proxy curve → Int
withAffine ∷ ∀ a curve. Affine curve → (AffinePtr curve → IO a) → IO a
withNewAffine ∷ ∀ curve a. BLS curve ⇒ (AffinePtr curve → IO a) → IO (a, Affine curve)
withNewAffine_ ∷ BLS curve ⇒ (AffinePtr curve → IO a) → IO a
withNewAffine' ∷ BLS curve ⇒ (AffinePtr curve → IO a) → IO (Affine curve)
sizePT ∷ Int
withPT ∷ PT → (PTPtr → IO a) → IO a
withNewPT ∷ (PTPtr → IO a) → IO (a, PT)
withNewPT_ ∷ (PTPtr → IO a) → IO a
withNewPT' ∷ (PTPtr → IO a) → IO PT
sizeScalar ∷ Int
withScalar ∷ Scalar → (ScalarPtr → IO a) → IO a
withNewScalar ∷ (ScalarPtr → IO a) → IO (a, Scalar)
withNewScalar_ ∷ (ScalarPtr → IO a) → IO a
withNewScalar' ∷ (ScalarPtr → IO a) → IO Scalar
cloneScalar ∷ Scalar → IO Scalar
sizeFr ∷ Int
withFr ∷ Fr → (FrPtr → IO a) → IO a
withNewFr ∷ (FrPtr → IO a) → IO (a, Fr)
withNewFr_ ∷ (FrPtr → IO a) → IO a
withNewFr' ∷ (FrPtr → IO a) → IO Fr
cloneFr ∷ Fr → IO Fr
integerAsCStrL ∷ Int → Integer → (Ptr CChar → Int → IO a) → IO a
cstrToInteger ∷ Ptr CChar → Int → IO Integer
integerToBS ∷ Integer → ByteString
padBS ∷ Int → ByteString → ByteString
blsInGroup ∷ BLS curve ⇒ Point curve → Bool
blsAddOrDouble ∷ BLS curve ⇒ Point curve → Point curve → Point curve
blsMult ∷ BLS curve ⇒ Point curve → Integer → Point curve
blsCneg ∷ BLS curve ⇒ Point curve → Bool → Point curve
blsNeg ∷ BLS curve ⇒ Point curve → Point curve
blsCompress ∷ ∀ curve. BLS curve ⇒ Point curve → ByteString
blsSerialize ∷ ∀ curve. BLS curve ⇒ Point curve → ByteString
blsUncompress ∷ ∀ curve. BLS curve ⇒ ByteString → Either BLSTError (Point curve)
blsDeserialize ∷ ∀ curve. BLS curve ⇒ ByteString → Either BLSTError (Point curve)
blsHash ∷ BLS curve ⇒ ByteString → Maybe ByteString → Maybe ByteString → Point curve
blsGenerator ∷ BLS curve ⇒ Point curve
blsIsInf ∷ BLS curve ⇒ Point curve → Bool
blsZero ∷ ∀ curve. BLS curve ⇒ Point curve
toAffine ∷ BLS curve ⇒ Point curve → Affine curve
fromAffine ∷ BLS curve ⇒ Affine curve → Point curve
affineInG ∷ BLS curve ⇒ Affine curve → Bool
ptMult ∷ PT → PT → PT
ptFinalVerify ∷ PT → PT → Bool
scalarFromFr ∷ Fr → IO Scalar
frFromScalar ∷ Scalar → IO Fr
frFromCanonicalScalar ∷ Scalar → IO (Maybe Fr)
scalarFromBS ∷ ByteString → Either BLSTError Scalar
scalarToBS ∷ Scalar → ByteString
scalarFromInteger ∷ Integer → IO Scalar
scalarToInteger ∷ Scalar → IO Integer
scalarCanonical ∷ Scalar → Bool
millerLoop ∷ Point1 → Point2 → PT

Unsafe Types

data ScalarPtr Source #

newtype PointPtr curve Source #

Constructors

PointPtr (Ptr Void)

data AffinePtr curve Source #

Instances

Instances details

BLS curve ⇒ Eq (AffinePtr curve) Source #
Instance details Defined in Cardano.Crypto.EllipticCurve.BLS12_381.Internal Methods (==) ∷ AffinePtr curve → AffinePtr curve → Bool Source # (/=) ∷ AffinePtr curve → AffinePtr curve → Bool Source #

type Point1Ptr = PointPtr Curve1 Source #

type Point2Ptr = PointPtr Curve2 Source #

type Affine1Ptr = AffinePtr Curve1 Source #

type Affine2Ptr = AffinePtr Curve2 Source #

data PTPtr Source #

Phantom Types

data Curve1 Source #

Instances

Instances details

BLS Curve1 Source #

Instance details

Defined in Cardano.Crypto.EllipticCurve.BLS12_381.Internal

Methods

c_blst_on_curve ∷ PointPtr Curve1 → IO Bool Source #

c_blst_add_or_double ∷ PointPtr Curve1 → PointPtr Curve1 → PointPtr Curve1 → IO () Source #

c_blst_mult ∷ PointPtr Curve1 → PointPtr Curve1 → ScalarPtr → CSize → IO () Source #

c_blst_cneg ∷ PointPtr Curve1 → Bool → IO () Source #

c_blst_hash ∷ PointPtr Curve1 → Ptr CChar → CSize → Ptr CChar → CSize → Ptr CChar → CSize → IO () Source #

c_blst_compress ∷ Ptr CChar → PointPtr Curve1 → IO () Source #

c_blst_serialize ∷ Ptr CChar → PointPtr Curve1 → IO () Source #

c_blst_uncompress ∷ AffinePtr Curve1 → Ptr CChar → IO CInt Source #

c_blst_deserialize ∷ AffinePtr Curve1 → Ptr CChar → IO CInt Source #

c_blst_in_g ∷ PointPtr Curve1 → IO Bool Source #

c_blst_to_affine ∷ AffinePtr Curve1 → PointPtr Curve1 → IO () Source #

c_blst_from_affine ∷ PointPtr Curve1 → AffinePtr Curve1 → IO () Source #

c_blst_affine_in_g ∷ AffinePtr Curve1 → IO Bool Source #

c_blst_generator ∷ PointPtr Curve1 Source #

c_blst_p_is_equal ∷ PointPtr Curve1 → PointPtr Curve1 → IO Bool Source #

c_blst_p_is_inf ∷ PointPtr Curve1 → IO Bool Source #

sizePoint_ ∷ Proxy Curve1 → CSize

serializedSizePoint_ ∷ Proxy Curve1 → CSize

compressedSizePoint_ ∷ Proxy Curve1 → CSize

sizeAffine_ ∷ Proxy Curve1 → CSize

data Curve2 Source #

Instances

Instances details

BLS Curve2 Source #

Instance details

Defined in Cardano.Crypto.EllipticCurve.BLS12_381.Internal

Methods

c_blst_on_curve ∷ PointPtr Curve2 → IO Bool Source #

c_blst_add_or_double ∷ PointPtr Curve2 → PointPtr Curve2 → PointPtr Curve2 → IO () Source #

c_blst_mult ∷ PointPtr Curve2 → PointPtr Curve2 → ScalarPtr → CSize → IO () Source #

c_blst_cneg ∷ PointPtr Curve2 → Bool → IO () Source #

c_blst_hash ∷ PointPtr Curve2 → Ptr CChar → CSize → Ptr CChar → CSize → Ptr CChar → CSize → IO () Source #

c_blst_compress ∷ Ptr CChar → PointPtr Curve2 → IO () Source #

c_blst_serialize ∷ Ptr CChar → PointPtr Curve2 → IO () Source #

c_blst_uncompress ∷ AffinePtr Curve2 → Ptr CChar → IO CInt Source #

c_blst_deserialize ∷ AffinePtr Curve2 → Ptr CChar → IO CInt Source #

c_blst_in_g ∷ PointPtr Curve2 → IO Bool Source #

c_blst_to_affine ∷ AffinePtr Curve2 → PointPtr Curve2 → IO () Source #

c_blst_from_affine ∷ PointPtr Curve2 → AffinePtr Curve2 → IO () Source #

c_blst_affine_in_g ∷ AffinePtr Curve2 → IO Bool Source #

c_blst_generator ∷ PointPtr Curve2 Source #

c_blst_p_is_equal ∷ PointPtr Curve2 → PointPtr Curve2 → IO Bool Source #

c_blst_p_is_inf ∷ PointPtr Curve2 → IO Bool Source #

sizePoint_ ∷ Proxy Curve2 → CSize

serializedSizePoint_ ∷ Proxy Curve2 → CSize

compressedSizePoint_ ∷ Proxy Curve2 → CSize

sizeAffine_ ∷ Proxy Curve2 → CSize

Error codes

c_blst_success ∷ CInt Source #

c_blst_error_bad_encoding ∷ CInt Source #

c_blst_error_point_not_on_curve ∷ CInt Source #

c_blst_error_point_not_in_group ∷ CInt Source #

c_blst_error_aggr_type_mismatch ∷ CInt Source #

c_blst_error_verify_fail ∷ CInt Source #

c_blst_error_pk_is_infinity ∷ CInt Source #

c_blst_error_bad_scalar ∷ CInt Source #

Safe types

data Affine curve Source #

Instances

Instances details

BLS curve ⇒ Eq (Affine curve) Source #
Instance details Defined in Cardano.Crypto.EllipticCurve.BLS12_381.Internal Methods (==) ∷ Affine curve → Affine curve → Bool Source # (/=) ∷ Affine curve → Affine curve → Bool Source #

type Affine1 = Affine Curve1 Source #

type Affine2 = Affine Curve2 Source #

data BLSTError Source #

Constructors

BLST_SUCCESS
BLST_BAD_ENCODING
BLST_POINT_NOT_ON_CURVE
BLST_POINT_NOT_IN_GROUP
BLST_AGGR_TYPE_MISMATCH
BLST_VERIFY_FAIL
BLST_PK_IS_INFINITY
BLST_BAD_SCALAR
BLST_UNKNOWN_ERROR

Instances

Instances details

Bounded BLSTError Source #
Instance details Defined in Cardano.Crypto.EllipticCurve.BLS12_381.Internal Methods minBound ∷ BLSTError Source # maxBound ∷ BLSTError Source #
Enum BLSTError Source #
Instance details Defined in Cardano.Crypto.EllipticCurve.BLS12_381.Internal Methods succ ∷ BLSTError → BLSTError Source # pred ∷ BLSTError → BLSTError Source # toEnum ∷ Int → BLSTError Source # fromEnum ∷ BLSTError → Int Source # enumFrom ∷ BLSTError → [BLSTError] Source # enumFromThen ∷ BLSTError → BLSTError → [BLSTError] Source # enumFromTo ∷ BLSTError → BLSTError → [BLSTError] Source # enumFromThenTo ∷ BLSTError → BLSTError → BLSTError → [BLSTError] Source #
Show BLSTError Source #
Instance details Defined in Cardano.Crypto.EllipticCurve.BLS12_381.Internal Methods showsPrec ∷ Int → BLSTError → ShowS Source # show ∷ BLSTError → String Source # showList ∷ [BLSTError] → ShowS Source #
Eq BLSTError Source #
Instance details Defined in Cardano.Crypto.EllipticCurve.BLS12_381.Internal Methods (==) ∷ BLSTError → BLSTError → Bool Source # (/=) ∷ BLSTError → BLSTError → Bool Source #
Ord BLSTError Source #
Instance details Defined in Cardano.Crypto.EllipticCurve.BLS12_381.Internal Methods compare ∷ BLSTError → BLSTError → Ordering Source # (<) ∷ BLSTError → BLSTError → Bool Source # (<=) ∷ BLSTError → BLSTError → Bool Source # (>) ∷ BLSTError → BLSTError → Bool Source # (>=) ∷ BLSTError → BLSTError → Bool Source # max ∷ BLSTError → BLSTError → BLSTError Source # min ∷ BLSTError → BLSTError → BLSTError Source #

newtype Point curve Source #

A point on an elliptic curve. This type guarantees that the point is part of the | prime order subgroup.

Constructors

Point (ForeignPtr Void)

Instances

Instances details

BLS curve ⇒ Eq (Point curve) Source #
Instance details Defined in Cardano.Crypto.EllipticCurve.BLS12_381.Internal Methods (==) ∷ Point curve → Point curve → Bool Source # (/=) ∷ Point curve → Point curve → Bool Source #

type Point1 = Point Curve1 Source #

type Point2 = Point Curve2 Source #

data PT Source #

Target element without the final exponantiation. By defining target elements | as such, we save up the final exponantiation when computing a pairing, and only | compute it when necessary (e.g. comparison with another point or serialisation)

Instances

Instances details

Eq PT Source #
Instance details Defined in Cardano.Crypto.EllipticCurve.BLS12_381.Internal Methods (==) ∷ PT → PT → Bool Source # (/=) ∷ PT → PT → Bool Source #

newtype Scalar Source #

Constructors

Scalar (ForeignPtr Void)

Instances

Instances details

Eq Scalar Source #
Instance details Defined in Cardano.Crypto.EllipticCurve.BLS12_381.Internal Methods (==) ∷ Scalar → Scalar → Bool Source # (/=) ∷ Scalar → Scalar → Bool Source #

newtype Fr Source #

Constructors

Fr (ForeignPtr Void)

Instances

Instances details

Eq Fr Source #
Instance details Defined in Cardano.Crypto.EllipticCurve.BLS12_381.Internal Methods (==) ∷ Fr → Fr → Bool Source # (/=) ∷ Fr → Fr → Bool Source #

unsafePointFromPointPtr ∷ PointPtr curve → Point curve Source #

The period of scalars

scalarPeriod ∷ Integer Source #

The period of scalar modulo operations.

Curve abstraction

class BLS curve where Source #

BLS curve operations. Class methods are low-level; user code will want to use higher-level wrappers such as blsAddOrDouble, blsMult, blsCneg, blsNeg, etc.

Minimal complete definition

c_blst_on_curve, c_blst_add_or_double, c_blst_mult, c_blst_cneg, c_blst_hash, c_blst_compress, c_blst_serialize, c_blst_uncompress, c_blst_deserialize, c_blst_in_g, c_blst_to_affine, c_blst_from_affine, c_blst_affine_in_g, c_blst_generator, c_blst_p_is_equal, c_blst_p_is_inf, sizePoint_, serializedSizePoint_, compressedSizePoint_, sizeAffine_

Methods

c_blst_on_curve ∷ PointPtr curve → IO Bool Source #

c_blst_add_or_double ∷ PointPtr curve → PointPtr curve → PointPtr curve → IO () Source #

c_blst_mult ∷ PointPtr curve → PointPtr curve → ScalarPtr → CSize → IO () Source #

c_blst_cneg ∷ PointPtr curve → Bool → IO () Source #

c_blst_hash ∷ PointPtr curve → Ptr CChar → CSize → Ptr CChar → CSize → Ptr CChar → CSize → IO () Source #

c_blst_compress ∷ Ptr CChar → PointPtr curve → IO () Source #

c_blst_serialize ∷ Ptr CChar → PointPtr curve → IO () Source #

c_blst_uncompress ∷ AffinePtr curve → Ptr CChar → IO CInt Source #

c_blst_deserialize ∷ AffinePtr curve → Ptr CChar → IO CInt Source #

c_blst_in_g ∷ PointPtr curve → IO Bool Source #

c_blst_to_affine ∷ AffinePtr curve → PointPtr curve → IO () Source #

c_blst_from_affine ∷ PointPtr curve → AffinePtr curve → IO () Source #

c_blst_affine_in_g ∷ AffinePtr curve → IO Bool Source #

c_blst_generator ∷ PointPtr curve Source #

c_blst_p_is_equal ∷ PointPtr curve → PointPtr curve → IO Bool Source #

c_blst_p_is_inf ∷ PointPtr curve → IO Bool Source #

Instances

Instances details

BLS Curve1 Source #
Instance details Defined in Cardano.Crypto.EllipticCurve.BLS12_381.Internal Methods c_blst_on_curve ∷ PointPtr Curve1 → IO Bool Source # c_blst_add_or_double ∷ PointPtr Curve1 → PointPtr Curve1 → PointPtr Curve1 → IO () Source # c_blst_mult ∷ PointPtr Curve1 → PointPtr Curve1 → ScalarPtr → CSize → IO () Source # c_blst_cneg ∷ PointPtr Curve1 → Bool → IO () Source # c_blst_hash ∷ PointPtr Curve1 → Ptr CChar → CSize → Ptr CChar → CSize → Ptr CChar → CSize → IO () Source # c_blst_compress ∷ Ptr CChar → PointPtr Curve1 → IO () Source # c_blst_serialize ∷ Ptr CChar → PointPtr Curve1 → IO () Source # c_blst_uncompress ∷ AffinePtr Curve1 → Ptr CChar → IO CInt Source # c_blst_deserialize ∷ AffinePtr Curve1 → Ptr CChar → IO CInt Source # c_blst_in_g ∷ PointPtr Curve1 → IO Bool Source # c_blst_to_affine ∷ AffinePtr Curve1 → PointPtr Curve1 → IO () Source # c_blst_from_affine ∷ PointPtr Curve1 → AffinePtr Curve1 → IO () Source # c_blst_affine_in_g ∷ AffinePtr Curve1 → IO Bool Source # c_blst_generator ∷ PointPtr Curve1 Source # c_blst_p_is_equal ∷ PointPtr Curve1 → PointPtr Curve1 → IO Bool Source # c_blst_p_is_inf ∷ PointPtr Curve1 → IO Bool Source # sizePoint_ ∷ Proxy Curve1 → CSize serializedSizePoint_ ∷ Proxy Curve1 → CSize compressedSizePoint_ ∷ Proxy Curve1 → CSize sizeAffine_ ∷ Proxy Curve1 → CSize
BLS Curve2 Source #
Instance details Defined in Cardano.Crypto.EllipticCurve.BLS12_381.Internal Methods c_blst_on_curve ∷ PointPtr Curve2 → IO Bool Source # c_blst_add_or_double ∷ PointPtr Curve2 → PointPtr Curve2 → PointPtr Curve2 → IO () Source # c_blst_mult ∷ PointPtr Curve2 → PointPtr Curve2 → ScalarPtr → CSize → IO () Source # c_blst_cneg ∷ PointPtr Curve2 → Bool → IO () Source # c_blst_hash ∷ PointPtr Curve2 → Ptr CChar → CSize → Ptr CChar → CSize → Ptr CChar → CSize → IO () Source # c_blst_compress ∷ Ptr CChar → PointPtr Curve2 → IO () Source # c_blst_serialize ∷ Ptr CChar → PointPtr Curve2 → IO () Source # c_blst_uncompress ∷ AffinePtr Curve2 → Ptr CChar → IO CInt Source # c_blst_deserialize ∷ AffinePtr Curve2 → Ptr CChar → IO CInt Source # c_blst_in_g ∷ PointPtr Curve2 → IO Bool Source # c_blst_to_affine ∷ AffinePtr Curve2 → PointPtr Curve2 → IO () Source # c_blst_from_affine ∷ PointPtr Curve2 → AffinePtr Curve2 → IO () Source # c_blst_affine_in_g ∷ AffinePtr Curve2 → IO Bool Source # c_blst_generator ∷ PointPtr Curve2 Source # c_blst_p_is_equal ∷ PointPtr Curve2 → PointPtr Curve2 → IO Bool Source # c_blst_p_is_inf ∷ PointPtr Curve2 → IO Bool Source # sizePoint_ ∷ Proxy Curve2 → CSize serializedSizePoint_ ∷ Proxy Curve2 → CSize compressedSizePoint_ ∷ Proxy Curve2 → CSize sizeAffine_ ∷ Proxy Curve2 → CSize

Pairing check

c_blst_miller_loop ∷ PTPtr → Affine2Ptr → Affine1Ptr → IO () Source #

FP12 functions

c_blst_fp12_mul ∷ PTPtr → PTPtr → PTPtr → IO () Source #

c_blst_fp12_is_equal ∷ PTPtr → PTPtr → IO Bool Source #

c_blst_fp12_finalverify ∷ PTPtr → PTPtr → IO Bool Source #

Scalar functions

c_blst_scalar_fr_check ∷ ScalarPtr → IO Bool Source #

c_blst_scalar_from_fr ∷ ScalarPtr → FrPtr → IO () Source #

c_blst_fr_from_scalar ∷ FrPtr → ScalarPtr → IO () Source #

c_blst_scalar_from_be_bytes ∷ ScalarPtr → Ptr CChar → CSize → IO Bool Source #

c_blst_bendian_from_scalar ∷ Ptr CChar → ScalarPtr → IO () Source #

Marshalling functions

sizePoint ∷ ∀ curve. BLS curve ⇒ Proxy curve → Int Source #

Sizes of various representations of elliptic curve points. | Size of a curve point in memory

withPoint ∷ ∀ a curve. Point curve → (PointPtr curve → IO a) → IO a Source #

withNewPoint ∷ ∀ curve a. BLS curve ⇒ (PointPtr curve → IO a) → IO (a, Point curve) Source #

withNewPoint_ ∷ BLS curve ⇒ (PointPtr curve → IO a) → IO a Source #

withNewPoint' ∷ BLS curve ⇒ (PointPtr curve → IO a) → IO (Point curve) Source #

clonePoint ∷ ∀ curve. BLS curve ⇒ Point curve → IO (Point curve) Source #

compressedSizePoint ∷ ∀ curve. BLS curve ⇒ Proxy curve → Int Source #

Size of a curved point when serialized in compressed form

serializedSizePoint ∷ ∀ curve. BLS curve ⇒ Proxy curve → Int Source #

Size of a curved point when serialized in uncompressed form

sizeAffine ∷ ∀ curve. BLS curve ⇒ Proxy curve → Int Source #

In-memory size of the affine representation of a curve point

withAffine ∷ ∀ a curve. Affine curve → (AffinePtr curve → IO a) → IO a Source #

withNewAffine ∷ ∀ curve a. BLS curve ⇒ (AffinePtr curve → IO a) → IO (a, Affine curve) Source #

withNewAffine_ ∷ BLS curve ⇒ (AffinePtr curve → IO a) → IO a Source #

withNewAffine' ∷ BLS curve ⇒ (AffinePtr curve → IO a) → IO (Affine curve) Source #

sizePT ∷ Int Source #

withPT ∷ PT → (PTPtr → IO a) → IO a Source #

withNewPT ∷ (PTPtr → IO a) → IO (a, PT) Source #

withNewPT_ ∷ (PTPtr → IO a) → IO a Source #

withNewPT' ∷ (PTPtr → IO a) → IO PT Source #

sizeScalar ∷ Int Source #

withScalar ∷ Scalar → (ScalarPtr → IO a) → IO a Source #

withNewScalar ∷ (ScalarPtr → IO a) → IO (a, Scalar) Source #

withNewScalar_ ∷ (ScalarPtr → IO a) → IO a Source #

withNewScalar' ∷ (ScalarPtr → IO a) → IO Scalar Source #

cloneScalar ∷ Scalar → IO Scalar Source #

sizeFr ∷ Int Source #

withFr ∷ Fr → (FrPtr → IO a) → IO a Source #

withNewFr ∷ (FrPtr → IO a) → IO (a, Fr) Source #

withNewFr_ ∷ (FrPtr → IO a) → IO a Source #

withNewFr' ∷ (FrPtr → IO a) → IO Fr Source #

cloneFr ∷ Fr → IO Fr Source #

Utility

integerAsCStrL ∷ Int → Integer → (Ptr CChar → Int → IO a) → IO a Source #

cstrToInteger ∷ Ptr CChar → Int → IO Integer Source #

integerToBS ∷ Integer → ByteString Source #

padBS ∷ Int → ByteString → ByteString Source #

Point1/G1 operations

blsInGroup ∷ BLS curve ⇒ Point curve → Bool Source #

Check whether a point is in the group corresponding to its elliptic curve

blsAddOrDouble ∷ BLS curve ⇒ Point curve → Point curve → Point curve Source #

Curve point addition.

blsMult ∷ BLS curve ⇒ Point curve → Integer → Point curve Source #

Scalar multiplication of a curve point. The scalar will be brought into the range of modular arithmetic by means of a modulo operation over the scalarPeriod. Negative number will also be brought to the range [0, scalarPeriod - 1] via modular reduction.

blsCneg ∷ BLS curve ⇒ Point curve → Bool → Point curve Source #

Conditional curve point negation. blsCneg x cond = if cond then neg x else x

blsNeg ∷ BLS curve ⇒ Point curve → Point curve Source #

Unconditional curve point negation

blsCompress ∷ ∀ curve. BLS curve ⇒ Point curve → ByteString Source #

blsSerialize ∷ ∀ curve. BLS curve ⇒ Point curve → ByteString Source #

blsUncompress ∷ ∀ curve. BLS curve ⇒ ByteString → Either BLSTError (Point curve) Source #

blsDeserialize ∷ ∀ curve. BLS curve ⇒ ByteString → Either BLSTError (Point curve) Source #

blsHash ∷ BLS curve ⇒ ByteString → Maybe ByteString → Maybe ByteString → Point curve Source #

blsHash msg mDST mAug generates the elliptic curve blsHash for the given message msg; mDST and mAug are the optional aug and dst arguments.

blsGenerator ∷ BLS curve ⇒ Point curve Source #

blsIsInf ∷ BLS curve ⇒ Point curve → Bool Source #

Infinity check on curve points.

blsZero ∷ ∀ curve. BLS curve ⇒ Point curve Source #

toAffine ∷ BLS curve ⇒ Point curve → Affine curve Source #

fromAffine ∷ BLS curve ⇒ Affine curve → Point curve Source #

affineInG ∷ BLS curve ⇒ Affine curve → Bool Source #