Modulecardano-crypto-class-2.5.1.0

Cardano.Crypto.EllipticCurve.BLS12_381.Internal

Synopsis

value affineInG
value blsAddOrDouble
value blsCneg
value blsCompress
value blsDeserialize
value blsGenerator
value blsHash
value blsInGroup
value blsIsInf
value blsMSM
value blsMult
value blsNeg
value blsSerialize
value blsUncompress
value blsZero
value c_blst_bendian_from_scalar
value c_blst_error_aggr_type_mismatch
value c_blst_error_bad_encoding
value c_blst_error_bad_scalar
value c_blst_error_pk_is_infinity
value c_blst_error_point_not_in_group
value c_blst_error_point_not_on_curve
value c_blst_error_verify_fail
value c_blst_fp12_finalverify
value c_blst_fp12_is_equal
value c_blst_fp12_mul
value c_blst_fr_from_scalar
value c_blst_keygen
value c_blst_miller_loop
value c_blst_scalar_fr_check
value c_blst_scalar_from_be_bytes
value c_blst_scalar_from_fr
value c_blst_success
value cloneFr
value clonePoint
value cloneScalar
value compressedSizePoint
value cstrToInteger
value finalVerifyPairs
value frFromCanonicalScalar
value frFromScalar
value fromAffine
value integerAsCStrL
value integerToBS
value millerLoop
value mkBLSTError
value padBS
value ptFinalVerify
value ptMult
value scalarCanonical
value scalarFromBS
value scalarFromFr
value scalarFromInteger
value scalarPeriod
value scalarToBS
value scalarToInteger
value serializedSizePoint
value sizeAffine
value sizeFr
value sizePT
value sizePoint
value sizeScalar
value toAffine
value unsafePointFromPointPtr
value withAffine
value withFr
value withMaybeCStringLen
value withNewAffine
value withNewAffine'
value withNewAffine_
value withNewFr
value withNewFr'
value withNewFr_
value withNewPT
value withNewPT'
value withNewPT_
value withNewPoint
value withNewPoint'
value withNewPoint_
value withNewScalar
value withNewScalar'
value withNewScalar_
value withPT
value withPoint
value withPointArray
value withScalar
value withScalarArray
newtype Affine
type Affine1
type Affine1Ptr
type Affine2
type Affine2Ptr
newtype AffineArrayPtr
newtype AffineBlockPtr
newtype AffinePtr
family AffineSize
class BLS
data BLSTError
family CompressedPointSize
data Curve1
data Curve2
family DualCurve
newtype Fr
newtype PT
newtype PTPtr
newtype Point
type Point1
type Point1Ptr
type Point2
type Point2Ptr
newtype PointArrayPtr
newtype PointPtr
family PointSize
newtype Scalar
newtype ScalarPtr

Packagecardano-crypto-class-2.5.1.0
Exports115
LicenceApache-2.0

valueaffineInG :: BLS curve => Affine curve -> Bool

valueblsAddOrDouble :: BLS curve => Point curve -> Point curve -> Point curve

valueblsCneg :: BLS curve => Point curve -> Bool -> Point curve

valueblsCompress :: BLS curve => Point curve -> ByteString

valueblsDeserialize :: BLS curve => ByteString -> Either BLSTError (Point curve)

valueblsGenerator :: BLS curve => Point curve

valueblsHash

:: BLS curve
=> ByteString
-> Maybe ByteString
-> Maybe ByteString
-> Point curve

valueblsInGroup :: BLS curve => Point curve -> Bool

valueblsIsInf :: BLS curve => Point curve -> Bool

valueblsMSM :: BLS curve => [(Integer, Point curve)] -> Point curve

valueblsMult :: BLS curve => Point curve -> Integer -> Point curve

valueblsNeg :: BLS curve => Point curve -> Point curve

valueblsSerialize :: BLS curve => Point curve -> ByteString

valueblsUncompress :: BLS curve => ByteString -> Either BLSTError (Point curve)

valueblsZero :: BLS curve => Point curve

valuec_blst_bendian_from_scalar :: Ptr CChar -> ScalarPtr -> IO ()

valuec_blst_error_aggr_type_mismatch :: CInt

valuec_blst_error_bad_encoding :: CInt

valuec_blst_error_bad_scalar :: CInt

valuec_blst_error_pk_is_infinity :: CInt

valuec_blst_error_point_not_in_group :: CInt

valuec_blst_error_point_not_on_curve :: CInt

valuec_blst_error_verify_fail :: CInt

valuec_blst_fp12_finalverify :: PTPtr -> PTPtr -> IO CBool

valuec_blst_fp12_is_equal :: PTPtr -> PTPtr -> IO CBool

valuec_blst_fp12_mul :: PTPtr -> PTPtr -> PTPtr -> IO ()

valuec_blst_fr_from_scalar :: FrPtr -> ScalarPtr -> IO ()

valuec_blst_keygen

:: ScalarPtr
-> Ptr CChar
-> CSize
-> Ptr CChar
-> CSize
-> IO ()

valuec_blst_miller_loop :: PTPtr -> Affine2Ptr -> Affine1Ptr -> IO ()

valuec_blst_scalar_fr_check :: ScalarPtr -> IO CBool

valuec_blst_scalar_from_be_bytes :: ScalarPtr -> Ptr CChar -> CSize -> IO CBool

valuec_blst_scalar_from_fr :: ScalarPtr -> FrPtr -> IO ()

valuec_blst_success :: CInt

valuecloneFr :: Fr -> IO Fr

valueclonePoint :: BLS curve => Point curve -> IO (Point curve)

valuecloneScalar :: Scalar -> IO Scalar

valuecompressedSizePoint :: BLS curve => Proxy curve -> Int

valuecstrToInteger :: Ptr CChar -> Int -> IO Integer

valuefinalVerifyPairs

:: BLS curve
=> PairingSide curve
-> PairingSide curve
-> Bool

valuefrFromCanonicalScalar :: Scalar -> IO (Maybe Fr)

valuefrFromScalar :: Scalar -> IO Fr

valuefromAffine :: BLS curve => Affine curve -> Point curve

valueintegerAsCStrL :: Int -> Integer -> (Ptr CChar -> Int -> IO a) -> IO a

valueintegerToBS :: Integer -> ByteString

valuemillerLoop :: Point1 -> Point2 -> PT

valuemkBLSTError :: CInt -> BLSTError

valuepadBS :: Int -> ByteString -> ByteString

valueptFinalVerify :: PT -> PT -> Bool

valueptMult :: PT -> PT -> PT

valuescalarCanonical :: Scalar -> Bool

valuescalarFromBS :: ByteString -> Either BLSTError Scalar

valuescalarFromFr :: Fr -> IO Scalar

valuescalarFromInteger :: Integer -> IO Scalar

valuescalarPeriod :: Integer

valuescalarToBS :: Scalar -> ByteString

valuescalarToInteger :: Scalar -> IO Integer

valueserializedSizePoint :: BLS curve => Proxy curve -> Int

valuesizeAffine :: BLS curve => Proxy curve -> Int

valuesizeFr :: Int

valuesizePT :: Int

valuesizePoint :: BLS curve => Proxy curve -> Int

valuesizeScalar :: Int

valuetoAffine :: BLS curve => Point curve -> Affine curve

valueunsafePointFromPointPtr :: BLS curve => PointPtr curve -> Point curve

valuewithAffine :: Affine curve -> (AffinePtr curve -> IO a) -> IO a

valuewithFr :: Fr -> (FrPtr -> IO a) -> IO a

valuewithMaybeCStringLen :: Maybe ByteString -> (CStringLen -> IO a) -> IO a

valuewithNewAffine

:: BLS curve
=> AffinePtr curve -> IO a
-> IO (a, Affine curve)

valuewithNewAffine'

:: BLS curve
=> AffinePtr curve -> IO a
-> IO (Affine curve)

valuewithNewAffine_ :: BLS curve => (AffinePtr curve -> IO a) -> IO a

valuewithNewFr :: (FrPtr -> IO a) -> IO (a, Fr)

valuewithNewFr' :: (FrPtr -> IO a) -> IO Fr

valuewithNewFr_ :: (FrPtr -> IO a) -> IO a

valuewithNewPT :: (PTPtr -> IO a) -> IO (a, PT)

valuewithNewPT' :: (PTPtr -> IO a) -> IO PT

valuewithNewPT_ :: (PTPtr -> IO a) -> IO a

valuewithNewPoint :: BLS curve => (PointPtr curve -> IO a) -> IO (a, Point curve)

valuewithNewPoint' :: BLS curve => (PointPtr curve -> IO a) -> IO (Point curve)

valuewithNewPoint_ :: BLS curve => (PointPtr curve -> IO a) -> IO a

valuewithNewScalar :: (ScalarPtr -> IO a) -> IO (a, Scalar)

valuewithNewScalar' :: (ScalarPtr -> IO a) -> IO Scalar

valuewithNewScalar_ :: (ScalarPtr -> IO a) -> IO a

valuewithPT :: PT -> (PTPtr -> IO a) -> IO a

valuewithPoint :: Point curve -> (PointPtr curve -> IO a) -> IO a

valuewithPointArray

:: [Point curve]
-> Int -> PointArrayPtr curve -> IO a
-> IO a

valuewithScalar :: Scalar -> (ScalarPtr -> IO a) -> IO a

valuewithScalarArray :: [Scalar] -> (Int -> ScalarArrayPtr -> IO a) -> IO a

newtypenewtype Affine curve

Instances1Eq

BLS curve => Eq (Affine curve)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal

typetype Affine1 = Affine Curve1

typetype Affine1Ptr = AffinePtr Curve1

typetype Affine2 = Affine Curve2

typetype Affine2Ptr = AffinePtr Curve2

newtypenewtype AffineArrayPtr curve

Constructors

AffineArrayPtr (Ptr Void)

newtypenewtype AffineBlockPtr curve

Constructors

AffineBlockPtr (Ptr Void)

newtypenewtype AffinePtr curve

Constructors

AffinePtr (Ptr Word8)

Instances1Eq

BLS curve => Eq (AffinePtr curve)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal

familytype family AffineSize curve :: Natural where

Equations

AffineSize Curve1 = 96
AffineSize Curve2 = 192

class

class (KnownNat (PointSize curve), KnownNat (AffineSize curve), KnownNat (CompressedPointSize curve), KnownNat (SerializedPointSize curve)) => BLS curve where

Methods

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_scratch_sizeof :: Proxy curve -> CSize -> CSize
c_blst_to_affines :: AffineBlockPtr curve -> PointArrayPtr curve -> CSize -> IO ()
c_blst_mult_pippenger :: PointPtr curve -> AffineArrayPtr curve -> CSize -> ScalarArrayPtr -> CSize -> ScratchPtr -> 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_sk_to_pk :: PointPtr curve -> ScalarPtr -> IO ()
c_blst_sign :: PointPtr (DualCurve curve) -> PointPtr (DualCurve curve) -> ScalarPtr -> IO ()
c_blst_core_verify :: AffinePtr curve -> AffinePtr (DualCurve curve) -> Bool -> Ptr CChar -> CSize -> Ptr CChar -> CSize -> Ptr CChar -> CSize -> IO CInt

Instances2BLS

BLS Curve1Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal
BLS Curve2Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal

datadata 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

Instances5Bounded, Enum, Eq, Ord, Show

Bounded BLSTErrorDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal
Enum BLSTErrorDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal
Eq BLSTErrorDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal
Ord BLSTErrorDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal
Show BLSTErrorDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal

familytype family CompressedPointSize curve :: Nat where

datadata Curve1

Instances1BLS

BLS Curve1Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal

datadata Curve2

Instances1BLS

BLS Curve2Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal

familytype family DualCurve curve where

Equations

DualCurve Curve1 = Curve2
DualCurve Curve2 = Curve1

newtypenewtype Fr

Constructors

Fr (PinnedSizedBytes 32)

Instances1Eq

Eq FrDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal

newtypenewtype PT

Instances1Eq

Eq PTDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal

newtypenewtype PTPtr

newtypenewtype Point curve

Constructors

Point (PinnedSizedBytes (PointSize curve))

Instances4Eq, Show, NFData, NoThunks

BLS curve => Eq (Point curve)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal
Show (Point curve)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal
NFData (Point curve)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal
NoThunks (Point curve)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal

typetype Point1 = Point Curve1

typetype Point1Ptr = PointPtr Curve1

typetype Point2 = Point Curve2

typetype Point2Ptr = PointPtr Curve2

newtypenewtype PointArrayPtr curve

Constructors

PointArrayPtr (Ptr Void)

newtypenewtype PointPtr curve

Constructors

PointPtr (Ptr Word8)

familytype family PointSize curve :: Natural where

Equations

PointSize Curve1 = 144
PointSize Curve2 = 288

newtypenewtype Scalar

Constructors

Scalar (PinnedSizedBytes 32)

Instances4Eq, Show, NFData, NoThunks

Eq ScalarDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal
Show ScalarDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal
NFData ScalarDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal
NoThunks ScalarDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.EllipticCurve.BLS12_381.Internal

newtypenewtype ScalarPtr

Constructors

ScalarPtr (Ptr Word8)