Modulecardano-crypto-class-2.5.1.0

Cardano.Crypto.EllipticCurve.BLS12_381

Synopsis

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 millerLoop
value ptFinalVerify
value ptMult
value scalarPeriod
class BLS
data BLSTError
data Curve1
data Curve2
newtype PT
newtype Point
type Point1
type Point2

Packagecardano-crypto-class-2.5.1.0
Exports25
LicenceApache-2.0

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)

valuemillerLoop :: Point1 -> Point2 -> PT

valueptFinalVerify :: PT -> PT -> Bool

valueptMult :: PT -> PT -> PT

valuescalarPeriod :: Integer

class

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

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

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

newtypenewtype PT

Instances1Eq

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

newtypenewtype Point 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 Point2 = Point Curve2