Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Protocol.Crypto

Description

Package all the crypto constraints into one place.

Synopsis

class (UnsoundPureKESAlgorithm (KES c), VRFAlgorithm (VRF c), ContextKES (KES c) ~ (), ContextVRF (VRF c) ~ (), Typeable c) ⇒ Crypto c where
- type KES c
- type VRF c
data StandardCrypto
newtype VRFVerKeyHash (r ∷ KeyRoleVRF) = VRFVerKeyHash {
- unVRFVerKeyHash ∷ Hash HASH KeyRoleVRF
}
data KeyRoleVRF
- = StakePoolVRF
- | GenDelegVRF
- | BlockIssuerVRF
hashVerKeyVRF ∷ Crypto c ⇒ VerKeyVRF (VRF c) → VRFVerKeyHash (r ∷ KeyRoleVRF)

Documentation

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

Associated Types

type KES c Source #

type VRF c Source #

Instances

Instances details

Crypto StandardCrypto
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
Instance details Defined in Cardano.Ledger.Crypto.Internal Associated Types type KES StandardCrypto Source # type VRF StandardCrypto Source #
PraosCrypto StandardCrypto Source #
Instance details Defined in Cardano.Protocol.TPraos.API
type KES StandardCrypto
Instance details Defined in Cardano.Ledger.Crypto.Internal type KES StandardCrypto = Sum6KES Ed25519DSIGN Blake2b_256
type VRF StandardCrypto
Instance details Defined in Cardano.Ledger.Crypto.Internal type VRF StandardCrypto = PraosVRF

newtype VRFVerKeyHash (r ∷ KeyRoleVRF) Source #

Discriminated hash of VRF Verification Key

Constructors

VRFVerKeyHash
Fields unVRFVerKeyHash ∷ Hash HASH KeyRoleVRF

Instances

Instances details

FromJSON (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods parseJSON ∷ Value → Parser (VRFVerKeyHash r) Source # parseJSONList ∷ Value → Parser [VRFVerKeyHash r] Source # omittedField ∷ Maybe (VRFVerKeyHash r) Source #
FromJSONKey (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods fromJSONKey ∷ FromJSONKeyFunction (VRFVerKeyHash r) Source # fromJSONKeyList ∷ FromJSONKeyFunction [VRFVerKeyHash r] Source #
ToJSON (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods toJSON ∷ VRFVerKeyHash r → Value Source # toEncoding ∷ VRFVerKeyHash r → Encoding Source # toJSONList ∷ [VRFVerKeyHash r] → Value Source # toEncodingList ∷ [VRFVerKeyHash r] → Encoding Source # omitField ∷ VRFVerKeyHash r → Bool Source #
ToJSONKey (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods toJSONKey ∷ ToJSONKeyFunction (VRFVerKeyHash r) Source # toJSONKeyList ∷ ToJSONKeyFunction [VRFVerKeyHash r] Source #
Generic (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Associated Types type Rep (VRFVerKeyHash r) ∷ Type → Type # Methods from ∷ VRFVerKeyHash r → Rep (VRFVerKeyHash r) x # to ∷ Rep (VRFVerKeyHash r) x → VRFVerKeyHash r #
Show (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods showsPrec ∷ Int → VRFVerKeyHash r → ShowS # show ∷ VRFVerKeyHash r → String # showList ∷ [VRFVerKeyHash r] → ShowS #
Typeable r ⇒ FromCBOR (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods fromCBOR ∷ Decoder s (VRFVerKeyHash r) Source # label ∷ Proxy (VRFVerKeyHash r) → Text Source #
Typeable r ⇒ ToCBOR (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods toCBOR ∷ VRFVerKeyHash r → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VRFVerKeyHash r) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VRFVerKeyHash r] → Size Source #
Typeable r ⇒ DecCBOR (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods decCBOR ∷ Decoder s (VRFVerKeyHash r) Source # dropCBOR ∷ Proxy (VRFVerKeyHash r) → Decoder s () Source # label ∷ Proxy (VRFVerKeyHash r) → Text Source #
EncCBOR (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods encCBOR ∷ VRFVerKeyHash r → Encoding Source #
Default (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods def ∷ VRFVerKeyHash r Source #
NFData (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods rnf ∷ VRFVerKeyHash r → () #
Eq (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods (==) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool # (/=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool #
Ord (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods compare ∷ VRFVerKeyHash r → VRFVerKeyHash r → Ordering # (<) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool # (<=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool # (>) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool # (>=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool # max ∷ VRFVerKeyHash r → VRFVerKeyHash r → VRFVerKeyHash r # min ∷ VRFVerKeyHash r → VRFVerKeyHash r → VRFVerKeyHash r #
NoThunks (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks ∷ Context → VRFVerKeyHash r → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VRFVerKeyHash r → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VRFVerKeyHash r) → String Source #
type Rep (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes type Rep (VRFVerKeyHash r) = Rep (Hash HASH KeyRoleVRF)

data KeyRoleVRF Source #

Constructors

StakePoolVRF
GenDelegVRF
BlockIssuerVRF

hashVerKeyVRF ∷ Crypto c ⇒ VerKeyVRF (VRF c) → VRFVerKeyHash (r ∷ KeyRoleVRF) Source #