cardano-protocol-tpraos-1.4.0.0: Cardano Protocol: Transitional Praos
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Protocol.Crypto

Description

Package all the crypto constraints into one place.

Synopsis

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

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 Source #

Methods

from ∷ VRFVerKeyHash r → Rep (VRFVerKeyHash r) x Source #

to ∷ Rep (VRFVerKeyHash r) x → VRFVerKeyHash r Source #

Show (VRFVerKeyHash r) 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

showsPrec ∷ Int → VRFVerKeyHash r → ShowS Source #

show ∷ VRFVerKeyHash r → String Source #

showList ∷ [VRFVerKeyHash r] → ShowS Source #

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 #

Typeable r ⇒ EncCBOR (VRFVerKeyHash r) 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

encCBOR ∷ VRFVerKeyHash r → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (VRFVerKeyHash r) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VRFVerKeyHash r] → Size 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 → () Source #

Eq (VRFVerKeyHash r) 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

(==) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source #

(/=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source #

Ord (VRFVerKeyHash r) 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

compare ∷ VRFVerKeyHash r → VRFVerKeyHash r → Ordering Source #

(<) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source #

(<=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source #

(>) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source #

(>=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source #

max ∷ VRFVerKeyHash r → VRFVerKeyHash r → VRFVerKeyHash r Source #

min ∷ VRFVerKeyHash r → VRFVerKeyHash r → VRFVerKeyHash r Source #

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 #