Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Crypto.Internal

Synopsis

class (UnsoundPureKESAlgorithm (KES c), VRFAlgorithm (VRF c), ContextKES (KES c) ~ (), ContextVRF (VRF c) ~ (), Typeable c) ⇒ Crypto c where
- type KES c ∷ Type
- type VRF c ∷ Type
data StandardCrypto
type HASH = Blake2b_256
type ADDRHASH = Blake2b_224
type DSIGN = Ed25519DSIGN

Documentation

class (UnsoundPureKESAlgorithm (KES c), VRFAlgorithm (VRF c), ContextKES (KES c) ~ (), ContextVRF (VRF c) ~ (), Typeable c) ⇒ Crypto c Source #

Associated Types

type KES c ∷ Type Source #

type VRF c ∷ Type Source #

Instances

Instances details

Crypto StandardCrypto Source #
Instance details Defined in Cardano.Ledger.Crypto.Internal Associated Types type KES StandardCrypto Source # type VRF StandardCrypto Source #

data StandardCrypto Source #

The same crypto used on the net

Instances

Instances details

Crypto StandardCrypto Source #
Instance details Defined in Cardano.Ledger.Crypto.Internal Associated Types type KES StandardCrypto Source # type VRF StandardCrypto Source #
type KES StandardCrypto Source #
Instance details Defined in Cardano.Ledger.Crypto.Internal type KES StandardCrypto = Sum6KES Ed25519DSIGN Blake2b_256
type VRF StandardCrypto Source #
Instance details Defined in Cardano.Ledger.Crypto.Internal type VRF StandardCrypto = PraosVRF

type HASH = Blake2b_256 Source #

Hashing algorithm used for hashing everything, except addresses, for which ADDRHASH is used.

type ADDRHASH = Blake2b_224 Source #

Hashing algorithm used for hashing cryptographic keys and scripts. As the type synonym name alludes, this is the hashing algorithm used for addresses.

type DSIGN = Ed25519DSIGN Source #

Cryptographic signing algorithm used on Cardano blockchain.