Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Crypto.BLS12_381.G2

Synopsis

newtype Element = Element {
- unElement :: Point2
}
add :: Element -> Element -> Element
neg :: Element -> Element
scalarMul :: Integer -> Element -> Element
hashToGroup :: ByteString -> ByteString -> Either BLS12_381_Error Element
compress :: Element -> ByteString
uncompress :: ByteString -> Either BLSTError Element
offchain_zero :: Element
compressed_zero :: ByteString
compressed_generator :: ByteString
memSizeBytes :: Int
compressedSizeBytes :: Int

Documentation

newtype Element Source #

See Note [Wrapping the BLS12-381 types in Plutus Core].

Constructors

Element
Fields unElement :: Point2

Instances

Instances details

Show Element Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.G2 Methods showsPrec :: Int -> Element -> ShowS Source # show :: Element -> String Source # showList :: [Element] -> ShowS Source #
NFData Element Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.G2 Methods rnf :: Element -> () Source #
Flat Element Source #	We don't support direct flat encoding of G1 elements because of the expense of on-chain uncompression. Users should convert between G1 elements and bytestrings using `compress` and `uncompress`: the bytestrings can be flat-encoded in the usual way.
Instance details Defined in PlutusCore.Crypto.BLS12_381.G2 Methods encode :: Element -> Encoding decode :: Get Element size :: Element -> NumBits -> NumBits
Eq Element Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.G2 Methods (==) :: Element -> Element -> Bool Source # (/=) :: Element -> Element -> Bool Source #
Hashable Element Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.G2 Methods hashWithSalt :: Int -> Element -> Int hash :: Element -> Int
ExMemoryUsage Element Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemoryUsage Methods memoryUsage :: Element -> CostRose Source #
Pretty Element Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.G2 Methods pretty :: Element -> Doc ann # prettyList :: [Element] -> Doc ann #
PrettyBy ConstConfig Element Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.G2 Methods prettyBy :: ConstConfig -> Element -> Doc ann # prettyListBy :: ConstConfig -> [Element] -> Doc ann #
KnownBuiltinTypeIn DefaultUni term Element => MakeKnownIn DefaultUni term Element Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Element -> BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Element => ReadKnownIn DefaultUni term Element Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Element Source #
Contains DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Element) Source #
KnownBuiltinTypeAst tyname DefaultUni Element => KnownTypeAst tyname DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Element :: Bool Source # type ToHoles DefaultUni Element :: [Hole] Source # type ToBinds DefaultUni acc Element :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
type IsBuiltin DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Element = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Element)
type ToHoles DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Element = ToHoles DefaultUni (ElaborateBuiltin DefaultUni Element)
type ToBinds DefaultUni acc Element Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Element = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Element)

add :: Element -> Element -> Element Source #

Add two G2 group elements

neg :: Element -> Element Source #

Negate a G2 group element

scalarMul :: Integer -> Element -> Element Source #

hashToGroup :: ByteString -> ByteString -> Either BLS12_381_Error Element Source #

compress :: Element -> ByteString Source #

Compress a G2 element to a bytestring. This serialises a curve point to its x coordinate only, using an extra bit to determine which of two possible y coordinates the point has. The compressed bytestring is 96 bytes long. See https://github.com/supranational/blst#serialization-format

uncompress :: ByteString -> Either BLSTError Element Source #

Uncompress a bytestring to get a G2 point. This will fail if any of the following are true: * The bytestring is not exactly 96 bytes long * The most significant three bits are used incorrectly * The bytestring encodes a field element which is not the x coordinate of a point on the E2 curve * The bytestring does represent a point on the E2 curve, but the point is not in the G2 subgroup

offchain_zero :: Element Source #

The zero element of G2. This cannot be flat-serialised and is provided only for off-chain testing.

compressed_zero :: ByteString Source #

The zero element of G2 compressed into a bytestring. This is provided for convenience in PlutusTx and is not exported as a builtin.

compressed_generator :: ByteString Source #

The standard generator of G2 compressed into a bytestring. This is provided for convenience in PlutusTx and is not exported as a builtin.

memSizeBytes :: Int Source #

Memory usage of a G2 point (288 bytes)

compressedSizeBytes :: Int Source #

Compressed size of a G2 point (96 bytes)