Morley.Tezos.Crypto.Util

Utilities shared by multiple cryptographic primitives.

Documentation

data CryptoParseError

Error that can happen during parsing of cryptographic primitive types.

Constructors

CryptoParseWrongBase58Check

CryptoParseWrongTag ByteString

CryptoParseUnsupportedTag LText ByteString

CryptoParseCryptoError CryptoError

CryptoParseBLSTError BlstError

CryptoParseUnexpectedLength LText Int

CryptoParseBinaryError Text

Instances

Show CryptoParseError

Defined in Morley.Tezos.Crypto.Util

Methods

showsPrec :: Int -> CryptoParseError -> ShowS

show :: CryptoParseError -> String

showList :: [CryptoParseError] -> ShowS

NFData CryptoParseError

Defined in Morley.Tezos.Crypto.Util

Methods

rnf :: CryptoParseError -> ()

Eq CryptoParseError

Defined in Morley.Tezos.Crypto.Util

Methods

(==) :: CryptoParseError -> CryptoParseError -> Bool

(/=) :: CryptoParseError -> CryptoParseError -> Bool

Buildable CryptoParseError

Defined in Morley.Tezos.Crypto.Util

Methods

build :: CryptoParseError -> Doc

buildList :: [CryptoParseError] -> Doc

encodeBase58Check :: ByteString -> Text

Encode a bytestring in Base58Check format.

decodeBase58Check :: Text -> Maybe ByteString

Decode a bytestring from Base58Check format.

data B58CheckWithPrefixError

Constructors

B58CheckWithPrefixWrongPrefix ByteString

B58CheckWithPrefixWrongEncoding

Instances

Show B58CheckWithPrefixError

Defined in Morley.Tezos.Crypto.Util

Methods

showsPrec :: Int -> B58CheckWithPrefixError -> ShowS

show :: B58CheckWithPrefixError -> String

showList :: [B58CheckWithPrefixError] -> ShowS

decodeBase58CheckWithPrefix :: ByteString -> Text -> Either B58CheckWithPrefixError ByteString

Parse a base58check encoded value expecting some prefix. If the actual prefix matches the expected one, it's stripped of and the resulting payload is returned.

formatImpl :: ByteArrayAccess x => ByteString -> x -> Text

Template for 'format*' functions.

parseImpl :: ByteString -> (ByteString -> Either CryptoParseError res) -> Text -> Either CryptoParseError res

Template for 'parse*' functions.

firstRight :: NonEmpty (Either e a) -> Either e a

Returns first encountered Right in a list. If there are none, returns arbitrary Left. It is useful to implement parsing.

deterministic :: ByteString -> MonadPseudoRandom ChaChaDRG a -> a

Do randomized action using specified seed.

ECDSA Utils

rnfCurve :: Curve -> ()

publicKeyLengthBytes_ :: (Integral n, CheckIntSubType Int n) => Curve -> n

mkSignature_ :: ByteArray ba => Curve -> ba -> Either CryptoParseError Signature

Make a Signature from raw bytes.

mkSecretKey_ :: ByteArray ba => Curve -> ba -> KeyPair

Make a KeyPair from raw bytes representing a secret key.

secretKeyToBytes_ :: ByteArray ba => KeyPair -> ba

Convert a PublicKey to raw bytes.

signatureToBytes_ :: ByteArray ba => Curve -> Signature -> ba

Convert a PublicKey to raw bytes.

mkPublicKey_ :: ByteArrayAccess ba => Curve -> ba -> Either CryptoParseError PublicKey

Make a PublicKey from raw bytes.

Raw bytes are in the format of Compressed SEC Format. Refer to this article on how this is parsed: https://www.oreilly.com/library/view/programming-bitcoin/9781492031482/ch04.html

publicKeyToBytes_ :: forall ba. (ByteArray ba, HasCallStack) => Curve -> PublicKey -> ba

Convert a PublicKey to raw bytes.

signatureLengthBytes_ :: (Integral n, CheckIntSubType Int n) => Curve -> n