Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.PoolDistr

Description

The stake distribution, aggregated by stake pool (as opposed to stake credential), plays a primary role in Cardano's proof of stake network. Together with the VRF checks, the stake distribution determines leader election. The leader election is the precisely the part of the ledger that is determined by Ouroboros (Praos and Genesis), our consensus mechanism. See Section 16, "Leader Value Calculation", of the formal specification.

Synopsis

data IndividualPoolStake c = IndividualPoolStake {
- individualPoolStake ∷ !Rational
- individualTotalPoolStake ∷ !(CompactForm Coin)
- individualPoolStakeVrf ∷ !(Hash c (VerKeyVRF c))
}
data PoolDistr c = PoolDistr {
- unPoolDistr ∷ !(Map (KeyHash 'StakePool c) (IndividualPoolStake c))
- pdTotalActiveStake ∷ !(CompactForm Coin)
}
poolDistrDistrL ∷ Lens' (PoolDistr c) (Map (KeyHash 'StakePool c) (IndividualPoolStake c))
poolDistrTotalL ∷ Lens' (PoolDistr c) (CompactForm Coin)
individualTotalPoolStakeL ∷ Lens' (IndividualPoolStake c) (CompactForm Coin)

Documentation

data IndividualPoolStake c Source #

The IndividualPoolStake contains all the stake controlled by a single stake pool (the combination of owners and delegates) for a given epoch, and also the hash of the stake pool's registered VRF key.

When a stake pool produces a block, the header contains the full VRF verification key and VRF value for leader election. We check the VRF key against the value in IndividualPoolStake and we check the VRF value using the epoch nonce and the relative stake of the pool as given in IndividualPoolStake. The stake is relative to the total amount of active stake in the network. Stake is active if it is both registered and delegated to a registered stake pool.

Constructors

IndividualPoolStake
Fields individualPoolStake ∷ !Rational Pool stake distribution. This is a ratio of `individualTotalPoolStake`/`pdTotalActiveStake` individualTotalPoolStake ∷ !(CompactForm Coin) Total stake delegated to this pool. In addition to all the stake that is part of `individualPoolStake` we also add proposal-deposits to this field. individualPoolStakeVrf ∷ !(Hash c (VerKeyVRF c))

Instances

Instances details

Crypto c ⇒ ToJSON (IndividualPoolStake c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods toJSON ∷ IndividualPoolStake c → Value Source # toEncoding ∷ IndividualPoolStake c → Encoding Source # toJSONList ∷ [IndividualPoolStake c] → Value Source # toEncodingList ∷ [IndividualPoolStake c] → Encoding Source # omitField ∷ IndividualPoolStake c → Bool Source #
Generic (IndividualPoolStake c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Associated Types type Rep (IndividualPoolStake c) ∷ Type → Type Source # Methods from ∷ IndividualPoolStake c → Rep (IndividualPoolStake c) x Source # to ∷ Rep (IndividualPoolStake c) x → IndividualPoolStake c Source #
Show (IndividualPoolStake c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods showsPrec ∷ Int → IndividualPoolStake c → ShowS Source # show ∷ IndividualPoolStake c → String Source # showList ∷ [IndividualPoolStake c] → ShowS Source #
Crypto c ⇒ DecCBOR (IndividualPoolStake c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods decCBOR ∷ Decoder s (IndividualPoolStake c) Source # dropCBOR ∷ Proxy (IndividualPoolStake c) → Decoder s () Source # label ∷ Proxy (IndividualPoolStake c) → Text Source #
Crypto c ⇒ EncCBOR (IndividualPoolStake c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods encCBOR ∷ IndividualPoolStake c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (IndividualPoolStake c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [IndividualPoolStake c] → Size Source #
NFData (IndividualPoolStake c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods rnf ∷ IndividualPoolStake c → () Source #
Eq (IndividualPoolStake c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods (==) ∷ IndividualPoolStake c → IndividualPoolStake c → Bool Source # (/=) ∷ IndividualPoolStake c → IndividualPoolStake c → Bool Source #
NoThunks (IndividualPoolStake c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods noThunks ∷ Context → IndividualPoolStake c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → IndividualPoolStake c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (IndividualPoolStake c) → String Source #
type Rep (IndividualPoolStake c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr type Rep (IndividualPoolStake c) = D1 ('MetaData "IndividualPoolStake" "Cardano.Ledger.PoolDistr" "cardano-ledger-core-1.12.0.0-inplace" 'False) (C1 ('MetaCons "IndividualPoolStake" 'PrefixI 'True) (S1 ('MetaSel ('Just "individualPoolStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational) :: (S1 ('MetaSel ('Just "individualTotalPoolStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :: S1 ('MetaSel ('Just "individualPoolStakeVrf") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash c (VerKeyVRF c))))))

data PoolDistr c Source #

A map of stake pool IDs (the hash of the stake pool operator's verification key) to IndividualPoolStake. Also holds absolute values necessary for the calculations in the computeDRepDistr.

Constructors

PoolDistr
Fields unPoolDistr ∷ !(Map (KeyHash 'StakePool c) (IndividualPoolStake c)) pdTotalActiveStake ∷ !(CompactForm Coin) Total stake delegated to registered stake pools. In addition to the stake considered for the `individualPoolStake` Rational, we add proposal-deposits to this field.

Instances

Instances details

Crypto c ⇒ ToJSON (PoolDistr c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods toJSON ∷ PoolDistr c → Value Source # toEncoding ∷ PoolDistr c → Encoding Source # toJSONList ∷ [PoolDistr c] → Value Source # toEncodingList ∷ [PoolDistr c] → Encoding Source # omitField ∷ PoolDistr c → Bool Source #
Generic (PoolDistr c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Associated Types type Rep (PoolDistr c) ∷ Type → Type Source # Methods from ∷ PoolDistr c → Rep (PoolDistr c) x Source # to ∷ Rep (PoolDistr c) x → PoolDistr c Source #
Show (PoolDistr c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods showsPrec ∷ Int → PoolDistr c → ShowS Source # show ∷ PoolDistr c → String Source # showList ∷ [PoolDistr c] → ShowS Source #
Crypto c ⇒ DecCBOR (PoolDistr c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods decCBOR ∷ Decoder s (PoolDistr c) Source # dropCBOR ∷ Proxy (PoolDistr c) → Decoder s () Source # label ∷ Proxy (PoolDistr c) → Text Source #
Crypto c ⇒ EncCBOR (PoolDistr c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods encCBOR ∷ PoolDistr c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (PoolDistr c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PoolDistr c] → Size Source #
NFData (PoolDistr c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods rnf ∷ PoolDistr c → () Source #
Eq (PoolDistr c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods (==) ∷ PoolDistr c → PoolDistr c → Bool Source # (/=) ∷ PoolDistr c → PoolDistr c → Bool Source #
NoThunks (PoolDistr c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods noThunks ∷ Context → PoolDistr c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PoolDistr c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PoolDistr c) → String Source #
type Rep (PoolDistr c) Source #
Instance details Defined in Cardano.Ledger.PoolDistr type Rep (PoolDistr c) = D1 ('MetaData "PoolDistr" "Cardano.Ledger.PoolDistr" "cardano-ledger-core-1.12.0.0-inplace" 'False) (C1 ('MetaCons "PoolDistr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPoolDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool c) (IndividualPoolStake c))) :*: S1 ('MetaSel ('Just "pdTotalActiveStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin))))

poolDistrDistrL ∷ Lens' (PoolDistr c) (Map (KeyHash 'StakePool c) (IndividualPoolStake c)) Source #

poolDistrTotalL ∷ Lens' (PoolDistr c) (CompactForm Coin) Source #

individualTotalPoolStakeL ∷ Lens' (IndividualPoolStake c) (CompactForm Coin) Source #