Tezos.Crypto

Cryptographic primitives used in Tezos.

Cryptographic primitive types

newtype PublicKey

ED25519 public cryptographic key.

Constructors

PublicKey

Fields

• unPublicKey :: PublicKey

Instances

Eq PublicKey

Defined in Tezos.Crypto

Methods

(==) :: PublicKey -> PublicKey -> Bool

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

Show PublicKey

Defined in Tezos.Crypto

Methods

showsPrec :: Int -> PublicKey -> ShowS

show :: PublicKey -> String

showList :: [PublicKey] -> ShowS

Arbitrary PublicKey

Defined in Tezos.Crypto

Methods

arbitrary :: Gen PublicKey

shrink :: PublicKey -> [PublicKey]

ToJSON PublicKey

Defined in Tezos.Crypto

Methods

toJSON :: PublicKey -> Value

toEncoding :: PublicKey -> Encoding

toJSONList :: [PublicKey] -> Value

toEncodingList :: [PublicKey] -> Encoding

FromJSON PublicKey

Defined in Tezos.Crypto

Methods

parseJSON :: Value -> Parser PublicKey

parseJSONList :: Value -> Parser [PublicKey]

Buildable PublicKey

Defined in Tezos.Crypto

Methods

build :: PublicKey -> Builder

IsoValue PublicKey

Defined in Michelson.Typed.Haskell.Value

Associated Types

type ToT PublicKey :: T

Methods

toVal :: PublicKey -> Value (ToT PublicKey)

fromVal :: Value (ToT PublicKey) -> PublicKey

type ToT PublicKey

Defined in Michelson.Typed.Haskell.Value

type ToT PublicKey = TKey

data SecretKey

ED25519 secret cryptographic key.

Instances

Eq SecretKey

Defined in Tezos.Crypto

Methods

(==) :: SecretKey -> SecretKey -> Bool

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

Show SecretKey

Defined in Tezos.Crypto

Methods

showsPrec :: Int -> SecretKey -> ShowS

show :: SecretKey -> String

showList :: [SecretKey] -> ShowS

Arbitrary SecretKey

Defined in Tezos.Crypto

Methods

arbitrary :: Gen SecretKey

shrink :: SecretKey -> [SecretKey]

Buildable SecretKey

Defined in Tezos.Crypto

Methods

build :: SecretKey -> Builder

newtype Signature

ED25519 cryptographic signature.

Constructors

Signature

Fields

• unSignature :: Signature

Instances

Eq Signature

Defined in Tezos.Crypto

Methods

(==) :: Signature -> Signature -> Bool

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

Show Signature

Defined in Tezos.Crypto

Methods

showsPrec :: Int -> Signature -> ShowS

show :: Signature -> String

showList :: [Signature] -> ShowS

Arbitrary Signature

Defined in Tezos.Crypto

Methods

arbitrary :: Gen Signature

shrink :: Signature -> [Signature]

ToJSON Signature

Defined in Tezos.Crypto

Methods

toJSON :: Signature -> Value

toEncoding :: Signature -> Encoding

toJSONList :: [Signature] -> Value

toEncodingList :: [Signature] -> Encoding

FromJSON Signature

Defined in Tezos.Crypto

Methods

parseJSON :: Value -> Parser Signature

parseJSONList :: Value -> Parser [Signature]

Buildable Signature

Defined in Tezos.Crypto

Methods

build :: Signature -> Builder

IsoValue Signature

Defined in Michelson.Typed.Haskell.Value

Associated Types

type ToT Signature :: T

Methods

toVal :: Signature -> Value (ToT Signature)

fromVal :: Value (ToT Signature) -> Signature

type ToT Signature

Defined in Michelson.Typed.Haskell.Value

type ToT Signature = TSignature

newtype KeyHash

b58check of a public key.

Constructors

KeyHash

Fields

• unKeyHash :: ByteString

Instances

Eq KeyHash

Defined in Tezos.Crypto

Methods

(==) :: KeyHash -> KeyHash -> Bool

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

Ord KeyHash

Defined in Tezos.Crypto

Methods

compare :: KeyHash -> KeyHash -> Ordering

(<) :: KeyHash -> KeyHash -> Bool

(<=) :: KeyHash -> KeyHash -> Bool

(>) :: KeyHash -> KeyHash -> Bool

(>=) :: KeyHash -> KeyHash -> Bool

max :: KeyHash -> KeyHash -> KeyHash

min :: KeyHash -> KeyHash -> KeyHash

Show KeyHash

Defined in Tezos.Crypto

Methods

showsPrec :: Int -> KeyHash -> ShowS

show :: KeyHash -> String

showList :: [KeyHash] -> ShowS

Arbitrary KeyHash

Defined in Tezos.Crypto

Methods

arbitrary :: Gen KeyHash

shrink :: KeyHash -> [KeyHash]

ToJSON KeyHash

Defined in Tezos.Crypto

Methods

toJSON :: KeyHash -> Value

toEncoding :: KeyHash -> Encoding

toJSONList :: [KeyHash] -> Value

toEncodingList :: [KeyHash] -> Encoding

FromJSON KeyHash

Defined in Tezos.Crypto

Methods

parseJSON :: Value -> Parser KeyHash

parseJSONList :: Value -> Parser [KeyHash]

Buildable KeyHash

Defined in Tezos.Crypto

Methods

build :: KeyHash -> Builder

IsoValue KeyHash

Defined in Michelson.Typed.Haskell.Value

Associated Types

type ToT KeyHash :: T

Methods

toVal :: KeyHash -> Value (ToT KeyHash)

fromVal :: Value (ToT KeyHash) -> KeyHash

IsoCValue KeyHash

Defined in Michelson.Typed.Haskell.Value

Associated Types

type ToCT KeyHash :: CT

Methods

toCVal :: KeyHash -> CValue (ToCT KeyHash)

fromCVal :: CValue (ToCT KeyHash) -> KeyHash

ArithOpHs Compare KeyHash KeyHash

Defined in Lorentz.Arith

Associated Types

type ArithResHs Compare KeyHash KeyHash :: Type

type ToT KeyHash

Defined in Michelson.Typed.Haskell.Value

type ToT KeyHash = Tc (ToCT KeyHash)

type ToCT KeyHash

Defined in Michelson.Typed.Haskell.Value

type ToCT KeyHash = CKeyHash

type ArithResHs Compare KeyHash KeyHash

Defined in Lorentz.Arith

type ArithResHs Compare KeyHash KeyHash = Integer

detSecretKey :: ByteString -> SecretKey

Deterministicaly generate a secret key from seed.

toPublic :: SecretKey -> PublicKey

Create a public key from a secret key.

Formatting

data CryptoParseError

Error that can happen during parsing of cryptographic primitive types.

Constructors

CryptoParseWrongBase58Check

CryptoParseWrongTag !ByteString

CryptoParseCryptoError CryptoError

Instances

Eq CryptoParseError

Defined in Tezos.Crypto

Methods

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

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

Show CryptoParseError

Defined in Tezos.Crypto

Methods

showsPrec :: Int -> CryptoParseError -> ShowS

show :: CryptoParseError -> String

showList :: [CryptoParseError] -> ShowS

Buildable CryptoParseError

Defined in Tezos.Crypto

Methods

build :: CryptoParseError -> Builder

formatPublicKey :: PublicKey -> Text

mformatPublicKey :: PublicKey -> MText

parsePublicKey :: Text -> Either CryptoParseError PublicKey

mkPublicKey :: ByteArrayAccess ba => ba -> Either Text PublicKey

formatSecretKey :: SecretKey -> Text

parseSecretKey :: Text -> Either CryptoParseError SecretKey

formatSignature :: Signature -> Text

mformatSignature :: Signature -> MText

parseSignature :: Text -> Either CryptoParseError Signature

mkSignature :: ByteArrayAccess ba => ba -> Either Text Signature

formatKeyHash :: KeyHash -> Text

mformatKeyHash :: KeyHash -> MText

parseKeyHash :: Text -> Either CryptoParseError KeyHash

Signing

sign :: SecretKey -> ByteString -> Signature

Sign a message using the secret key.

checkSignature :: PublicKey -> Signature -> ByteString -> Bool

Check that a sequence of bytes has been signed with a given key.

Hashing

hashKey :: PublicKey -> KeyHash

Compute the b58check of a public key hash.

blake2b :: ByteString -> ByteString

Compute a cryptographic hash of a bytestring using the Blake2b_256 cryptographic hash function. It's used by the BLAKE2B instruction in Michelson.

blake2b160 :: ByteString -> ByteString

Compute a cryptographic hash of a bytestring using the Blake2b_160 cryptographic hash function.

sha256 :: ByteString -> ByteString

Compute a cryptographic hash of a bytestring using the Sha256 cryptographic hash function.

sha512 :: ByteString -> ByteString

Compute a cryptographic hash of a bytestring using the Sha512 cryptographic hash function.

Utilities

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 Tezos.Crypto

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.