:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12
Modulecardano-protocol-0.1.0.0Haskell2010
Package all the crypto constraints into one place.
class (UnsoundPureKESAlgorithm (KES c), VRFAlgorithm (VRF c), ContextKES (KES c) ~ (), ContextVRF (VRF c) ~ (), Typeable c) => Crypto c whereCrypto StandardCryptoDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.CryptoThe same crypto used on the net
Crypto StandardCryptoDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Cryptotype KES StandardCrypto = Sum6KES Ed25519DSIGN Blake2b_256Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Cryptotype VRF StandardCrypto = PraosVRFDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.CryptoEq (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesOrd (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesShow (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesGeneric (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesNFData (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesFromJSON (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesFromJSONKey (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesToJSON (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesToJSONKey (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesDefault (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesNoThunks (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesTypeable r => DecCBOR (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HashesEncCBOR (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashestype Rep (VRFVerKeyHash r) = Rep (Hash HASH KeyRoleVRF)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes