Tezos.Crypto

Cryptographic primitives used in Tezos.

Cryptographic primitive types

data PublicKey

ED25519 public cryptographic key.

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

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

data Signature

ED25519 cryptographic 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

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

FromCVal KeyHash

Defined in Michelson.Typed.CValue

Methods

fromCVal :: CVal (ToCT KeyHash) -> KeyHash

ToCVal KeyHash

Defined in Michelson.Typed.CValue

Methods

toCVal :: KeyHash -> CVal (ToCT KeyHash)

FromVal KeyHash

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT KeyHash) -> KeyHash

ToVal KeyHash

Defined in Michelson.Typed.Value

Methods

toVal :: KeyHash -> Val instr (ToT KeyHash)

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

parsePublicKey :: Text -> Either CryptoParseError PublicKey

formatSecretKey :: SecretKey -> Text

parseSecretKey :: Text -> Either CryptoParseError SecretKey

formatSignature :: Signature -> Text

parseSignature :: Text -> Either CryptoParseError Signature

formatKeyHash :: KeyHash -> Text

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.