Pairing.Serialize

Documentation

class ToCompressedForm a where

Methods

serializeCompressed :: a -> Maybe ByteString

The serialisation may fail if y cannot be obtained from x

Instances

ToCompressedForm G2

Defined in Pairing.Group

Methods

serializeCompressed :: G2 -> Maybe ByteString

ToCompressedForm G1

Defined in Pairing.Group

Methods

serializeCompressed :: G1 -> Maybe ByteString

class ToUncompressedForm a where

Methods

serializeUncompressed :: a -> Maybe ByteString

Instances

ToUncompressedForm GT

Defined in Pairing.Group

Methods

serializeUncompressed :: GT -> Maybe ByteString

ToUncompressedForm G2

Defined in Pairing.Group

Methods

serializeUncompressed :: G2 -> Maybe ByteString

ToUncompressedForm G1

Defined in Pairing.Group

Methods

serializeUncompressed :: G1 -> Maybe ByteString

header :: Word8 -> Put

Point serialisation using https://tools.ietf.org/id/draft-jivsov-ecc-compact-05.html It is unclear if 02 is smallest y or not so the following is used in the first 2 bytes 01 - Point at infinity 02 - Compressed repr i.e. x only but use smallest y on decode 03 - Compressed repr i.e. x only but use largest y on decode 04 -- Uncompressed repr i.e. x & y

elementToUncompressedForm :: ByteRepr a => a -> Maybe LByteString

toUncompressedForm :: ByteRepr a => Point a -> Maybe LByteString

toCompressedForm :: (ByteRepr a, FromX a, Eq a) => Point a -> Maybe LByteString

pointFromByteString :: (Show a, Validate (Point a), ByteRepr a, FromX a) => a -> LByteString -> Either Text (Point a)

processCompressed :: forall a. (ByteRepr a, FromX a) => a -> Word8 -> Get (Maybe (Point a))

buildPoint :: ByteRepr a => a -> ByteString -> ByteString -> Maybe (Point a)

getCompressionType :: Get Word8

elementReadUncompressed :: (Validate a, Show a, ByteRepr a) => a -> LByteString -> Either Text a

parseBS :: (Validate a, Show a) => Get (Maybe a) -> LByteString -> Either Text a