Safe Haskell	Safe-Inferred
Language	Haskell2010

Morley.Tezos.Crypto.BLS12381

Contents

Playground

Description

Support for BLS12-381 elliptic curve.

Some general hints on the implementation can be found in this python re-implementation used by Tezos for testing: https://gitlab.com/metastatedev/tezos/-/commit/f10c39e0030e6b4fdd416a62de7b80b6ffdfeacf#80b4b1585c1e6fa82f2cfaf75001c490613f22c3. And it uses this library inside: https://github.com/ethereum/py_ecc/tree/master/py_ecc/optimized_bls12_381.

Synopsis

data Bls12381Fr
data Bls12381G1
data Bls12381G2
class CurveObject a where
- zero :: a
- negate :: a -> a
- add :: a -> a -> a
- generate :: MonadRandom m => m a
- fromMichelsonBytes :: ByteString -> Either DeserializationError a
- toMichelsonBytes :: a -> ByteString
class MultiplyPoint scalar point where
- multiply :: scalar -> point -> point
data DeserializationError
- = CompressedFormIsNotSupported
- | UnexpectedLength ("expected" :! Int) ("given" :! Int)
- | TooLargeLength ("limit" :! Int) ("given" :! Int)
- | ValueOutsideOfField Integer
- | PointNotOnCurve ByteString
checkPairing :: [(Bls12381G1, Bls12381G2)] -> Bool
unsafeReadFromHex :: (CurveObject a, HasCallStack) => String -> a
generateFrom :: CurveObject a => Int -> a
g1One :: Bls12381G1
g2One :: Bls12381G2

Documentation

data Bls12381Fr Source #

An element of an algebraic number field (scalar), used for multiplying Bls12381G1 and Bls12381G2.

Instances

Instances details

Bounded Bls12381Fr Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods minBound :: Bls12381Fr # maxBound :: Bls12381Fr #
Enum Bls12381Fr Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods succ :: Bls12381Fr -> Bls12381Fr # pred :: Bls12381Fr -> Bls12381Fr # toEnum :: Int -> Bls12381Fr # fromEnum :: Bls12381Fr -> Int # enumFrom :: Bls12381Fr -> [Bls12381Fr] # enumFromThen :: Bls12381Fr -> Bls12381Fr -> [Bls12381Fr] # enumFromTo :: Bls12381Fr -> Bls12381Fr -> [Bls12381Fr] # enumFromThenTo :: Bls12381Fr -> Bls12381Fr -> Bls12381Fr -> [Bls12381Fr] #
Num Bls12381Fr Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods (+) :: Bls12381Fr -> Bls12381Fr -> Bls12381Fr # (-) :: Bls12381Fr -> Bls12381Fr -> Bls12381Fr # (*) :: Bls12381Fr -> Bls12381Fr -> Bls12381Fr # negate :: Bls12381Fr -> Bls12381Fr # abs :: Bls12381Fr -> Bls12381Fr # signum :: Bls12381Fr -> Bls12381Fr # fromInteger :: Integer -> Bls12381Fr #
Fractional Bls12381Fr Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods (/) :: Bls12381Fr -> Bls12381Fr -> Bls12381Fr # recip :: Bls12381Fr -> Bls12381Fr # fromRational :: Rational -> Bls12381Fr #
Integral Bls12381Fr Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods quot :: Bls12381Fr -> Bls12381Fr -> Bls12381Fr # rem :: Bls12381Fr -> Bls12381Fr -> Bls12381Fr # div :: Bls12381Fr -> Bls12381Fr -> Bls12381Fr # mod :: Bls12381Fr -> Bls12381Fr -> Bls12381Fr # quotRem :: Bls12381Fr -> Bls12381Fr -> (Bls12381Fr, Bls12381Fr) # divMod :: Bls12381Fr -> Bls12381Fr -> (Bls12381Fr, Bls12381Fr) # toInteger :: Bls12381Fr -> Integer #
Real Bls12381Fr Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods toRational :: Bls12381Fr -> Rational #
Show Bls12381Fr Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods showsPrec :: Int -> Bls12381Fr -> ShowS # show :: Bls12381Fr -> String # showList :: [Bls12381Fr] -> ShowS #
NFData Bls12381Fr Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods rnf :: Bls12381Fr -> () #
Eq Bls12381Fr Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods (==) :: Bls12381Fr -> Bls12381Fr -> Bool # (/=) :: Bls12381Fr -> Bls12381Fr -> Bool #
Ord Bls12381Fr Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods compare :: Bls12381Fr -> Bls12381Fr -> Ordering # (<) :: Bls12381Fr -> Bls12381Fr -> Bool # (<=) :: Bls12381Fr -> Bls12381Fr -> Bool # (>) :: Bls12381Fr -> Bls12381Fr -> Bool # (>=) :: Bls12381Fr -> Bls12381Fr -> Bool # max :: Bls12381Fr -> Bls12381Fr -> Bls12381Fr # min :: Bls12381Fr -> Bls12381Fr -> Bls12381Fr #
HasRPCRepr Bls12381Fr Source #
Instance details Defined in Morley.AsRPC Associated Types type AsRPC Bls12381Fr Source #
IsoValue Bls12381Fr Source #
Instance details Defined in Morley.Michelson.Typed.Haskell.Value Associated Types type ToT Bls12381Fr :: T Source # Methods toVal :: Bls12381Fr -> Value (ToT Bls12381Fr) Source # fromVal :: Value (ToT Bls12381Fr) -> Bls12381Fr Source #
CurveObject Bls12381Fr Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods zero :: Bls12381Fr Source # negate :: Bls12381Fr -> Bls12381Fr Source # add :: Bls12381Fr -> Bls12381Fr -> Bls12381Fr Source # generate :: MonadRandom m => m Bls12381Fr Source # fromMichelsonBytes :: ByteString -> Either DeserializationError Bls12381Fr Source # toMichelsonBytes :: Bls12381Fr -> ByteString Source #
MultiplyPoint Bls12381Fr Bls12381G1 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods multiply :: Bls12381Fr -> Bls12381G1 -> Bls12381G1 Source #
MultiplyPoint Bls12381Fr Bls12381G2 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods multiply :: Bls12381Fr -> Bls12381G2 -> Bls12381G2 Source #
type AsRPC Bls12381Fr Source #
Instance details Defined in Morley.AsRPC type AsRPC Bls12381Fr = Bls12381Fr
type ToT Bls12381Fr Source #
Instance details Defined in Morley.Michelson.Typed.Haskell.Value type ToT Bls12381Fr = 'TBls12381Fr

data Bls12381G1 Source #

G1 point on the curve.

Instances

Instances details

Show Bls12381G1 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods showsPrec :: Int -> Bls12381G1 -> ShowS # show :: Bls12381G1 -> String # showList :: [Bls12381G1] -> ShowS #
NFData Bls12381G1 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods rnf :: Bls12381G1 -> () #
Eq Bls12381G1 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods (==) :: Bls12381G1 -> Bls12381G1 -> Bool # (/=) :: Bls12381G1 -> Bls12381G1 -> Bool #
HasRPCRepr Bls12381G1 Source #
Instance details Defined in Morley.AsRPC Associated Types type AsRPC Bls12381G1 Source #
IsoValue Bls12381G1 Source #
Instance details Defined in Morley.Michelson.Typed.Haskell.Value Associated Types type ToT Bls12381G1 :: T Source # Methods toVal :: Bls12381G1 -> Value (ToT Bls12381G1) Source # fromVal :: Value (ToT Bls12381G1) -> Bls12381G1 Source #
CurveObject Bls12381G1 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods zero :: Bls12381G1 Source # negate :: Bls12381G1 -> Bls12381G1 Source # add :: Bls12381G1 -> Bls12381G1 -> Bls12381G1 Source # generate :: MonadRandom m => m Bls12381G1 Source # fromMichelsonBytes :: ByteString -> Either DeserializationError Bls12381G1 Source # toMichelsonBytes :: Bls12381G1 -> ByteString Source #
MultiplyPoint Bls12381Fr Bls12381G1 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods multiply :: Bls12381Fr -> Bls12381G1 -> Bls12381G1 Source #
MultiplyPoint Integer Bls12381G1 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods multiply :: Integer -> Bls12381G1 -> Bls12381G1 Source #
type AsRPC Bls12381G1 Source #
Instance details Defined in Morley.AsRPC type AsRPC Bls12381G1 = Bls12381G1
type ToT Bls12381G1 Source #
Instance details Defined in Morley.Michelson.Typed.Haskell.Value type ToT Bls12381G1 = 'TBls12381G1

data Bls12381G2 Source #

G2 point on the curve.

Instances

Instances details

Show Bls12381G2 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods showsPrec :: Int -> Bls12381G2 -> ShowS # show :: Bls12381G2 -> String # showList :: [Bls12381G2] -> ShowS #
NFData Bls12381G2 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods rnf :: Bls12381G2 -> () #
Eq Bls12381G2 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods (==) :: Bls12381G2 -> Bls12381G2 -> Bool # (/=) :: Bls12381G2 -> Bls12381G2 -> Bool #
HasRPCRepr Bls12381G2 Source #
Instance details Defined in Morley.AsRPC Associated Types type AsRPC Bls12381G2 Source #
IsoValue Bls12381G2 Source #
Instance details Defined in Morley.Michelson.Typed.Haskell.Value Associated Types type ToT Bls12381G2 :: T Source # Methods toVal :: Bls12381G2 -> Value (ToT Bls12381G2) Source # fromVal :: Value (ToT Bls12381G2) -> Bls12381G2 Source #
CurveObject Bls12381G2 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods zero :: Bls12381G2 Source # negate :: Bls12381G2 -> Bls12381G2 Source # add :: Bls12381G2 -> Bls12381G2 -> Bls12381G2 Source # generate :: MonadRandom m => m Bls12381G2 Source # fromMichelsonBytes :: ByteString -> Either DeserializationError Bls12381G2 Source # toMichelsonBytes :: Bls12381G2 -> ByteString Source #
MultiplyPoint Bls12381Fr Bls12381G2 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods multiply :: Bls12381Fr -> Bls12381G2 -> Bls12381G2 Source #
MultiplyPoint Integer Bls12381G2 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods multiply :: Integer -> Bls12381G2 -> Bls12381G2 Source #
type AsRPC Bls12381G2 Source #
Instance details Defined in Morley.AsRPC type AsRPC Bls12381G2 = Bls12381G2
type ToT Bls12381G2 Source #
Instance details Defined in Morley.Michelson.Typed.Haskell.Value type ToT Bls12381G2 = 'TBls12381G2

class CurveObject a where Source #

Methods common for all BLS12-381 primitives.

Methods

zero :: a Source #

Representation of 0, aka additive identity.

negate :: a -> a Source #

Negate a value.

add :: a -> a -> a Source #

Add up two values.

generate :: MonadRandom m => m a Source #

Generate a random value.

fromMichelsonBytes :: ByteString -> Either DeserializationError a Source #

Read a value from Michelson's bytes form.

Michelson tends to represent all BLS12-381 types in bytes form, some special types also allow other forms.

toMichelsonBytes :: a -> ByteString Source #

Produce Michelson's bytes representation.

Instances

Instances details

CurveObject Bls12381Fr Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods zero :: Bls12381Fr Source # negate :: Bls12381Fr -> Bls12381Fr Source # add :: Bls12381Fr -> Bls12381Fr -> Bls12381Fr Source # generate :: MonadRandom m => m Bls12381Fr Source # fromMichelsonBytes :: ByteString -> Either DeserializationError Bls12381Fr Source # toMichelsonBytes :: Bls12381Fr -> ByteString Source #
CurveObject Bls12381G1 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods zero :: Bls12381G1 Source # negate :: Bls12381G1 -> Bls12381G1 Source # add :: Bls12381G1 -> Bls12381G1 -> Bls12381G1 Source # generate :: MonadRandom m => m Bls12381G1 Source # fromMichelsonBytes :: ByteString -> Either DeserializationError Bls12381G1 Source # toMichelsonBytes :: Bls12381G1 -> ByteString Source #
CurveObject Bls12381G2 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods zero :: Bls12381G2 Source # negate :: Bls12381G2 -> Bls12381G2 Source # add :: Bls12381G2 -> Bls12381G2 -> Bls12381G2 Source # generate :: MonadRandom m => m Bls12381G2 Source # fromMichelsonBytes :: ByteString -> Either DeserializationError Bls12381G2 Source # toMichelsonBytes :: Bls12381G2 -> ByteString Source #

class MultiplyPoint scalar point where Source #

Multiplication operations on BLS12-381 objects.

Methods

multiply :: scalar -> point -> point Source #

Multiply point value by scalar value.

Instances

Instances details

MultiplyPoint Bls12381Fr Bls12381G1 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods multiply :: Bls12381Fr -> Bls12381G1 -> Bls12381G1 Source #
MultiplyPoint Bls12381Fr Bls12381G2 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods multiply :: Bls12381Fr -> Bls12381G2 -> Bls12381G2 Source #
MultiplyPoint Integer Bls12381G1 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods multiply :: Integer -> Bls12381G1 -> Bls12381G1 Source #
MultiplyPoint Integer Bls12381G2 Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods multiply :: Integer -> Bls12381G2 -> Bls12381G2 Source #

data DeserializationError Source #

All kinds of errors that can occur when reading a Michelson value.

Constructors

CompressedFormIsNotSupported
UnexpectedLength ("expected" :! Int) ("given" :! Int)
TooLargeLength ("limit" :! Int) ("given" :! Int)
ValueOutsideOfField Integer
PointNotOnCurve ByteString

Instances

Instances details

Generic DeserializationError Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Associated Types type Rep DeserializationError :: Type -> Type # Methods from :: DeserializationError -> Rep DeserializationError x # to :: Rep DeserializationError x -> DeserializationError #
Show DeserializationError Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods showsPrec :: Int -> DeserializationError -> ShowS # show :: DeserializationError -> String # showList :: [DeserializationError] -> ShowS #
NFData DeserializationError Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods rnf :: DeserializationError -> () #
Buildable DeserializationError Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods build :: DeserializationError -> Builder #
Eq DeserializationError Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods (==) :: DeserializationError -> DeserializationError -> Bool # (/=) :: DeserializationError -> DeserializationError -> Bool #
RenderDoc DeserializationError Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 Methods renderDoc :: RenderContext -> DeserializationError -> Doc Source # isRenderable :: DeserializationError -> Bool Source #
type Rep DeserializationError Source #
Instance details Defined in Morley.Tezos.Crypto.BLS12381 type Rep DeserializationError = D1 ('MetaData "DeserializationError" "Morley.Tezos.Crypto.BLS12381" "morley-1.19.0-inplace" 'False) ((C1 ('MetaCons "CompressedFormIsNotSupported" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnexpectedLength" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ("expected" :! Int)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ("given" :! Int)))) :+: (C1 ('MetaCons "TooLargeLength" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ("limit" :! Int)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ("given" :! Int))) :+: (C1 ('MetaCons "ValueOutsideOfField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Integer)) :+: C1 ('MetaCons "PointNotOnCurve" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)))))

checkPairing :: [(Bls12381G1, Bls12381G2)] -> Bool Source #

Checks that product of pairings of points in the list is equal to 1 in Fq12 field.

Playground

unsafeReadFromHex :: (CurveObject a, HasCallStack) => String -> a Source #

Reads an object from hex string.

To be used only in playground and tests.

generateFrom :: CurveObject a => Int -> a Source #

Generate a random value from given seed.

g1One :: Bls12381G1 Source #

1 represented in G1 - as the libraries used by Tezos see it.

Taken from here: https://github.com/ethereum/py_ecc/blob/3f644b4c07c8270b8fbe989eb799766aca66face/py_ecc/optimized_bls12_381/optimized_curve.py#L34.

g2One :: Bls12381G2 Source #

1 represented in G2.