Safe Haskell	None
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 crypto = IndividualPoolStake {
- individualPoolStake :: ! Rational
- individualPoolStakeVrf :: !( Hash crypto ( VerKeyVRF crypto))
}
newtype PoolDistr crypto = PoolDistr {
- unPoolDistr :: Map ( KeyHash ' StakePool crypto) ( IndividualPoolStake crypto)
}

Documentation

data IndividualPoolStake crypto 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 individualPoolStakeVrf :: !( Hash crypto ( VerKeyVRF crypto))

Instances

Instances details

Eq ( IndividualPoolStake crypto) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods (==) :: IndividualPoolStake crypto -> IndividualPoolStake crypto -> Bool Source # (/=) :: IndividualPoolStake crypto -> IndividualPoolStake crypto -> Bool Source #
Show ( IndividualPoolStake crypto) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods showsPrec :: Int -> IndividualPoolStake crypto -> ShowS Source # show :: IndividualPoolStake crypto -> String Source # showList :: [ IndividualPoolStake crypto] -> ShowS Source #
Generic ( IndividualPoolStake crypto) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Associated Types type Rep ( IndividualPoolStake crypto) :: Type -> Type Source # Methods from :: IndividualPoolStake crypto -> Rep ( IndividualPoolStake crypto) x Source # to :: Rep ( IndividualPoolStake crypto) x -> IndividualPoolStake crypto Source #
NFData ( IndividualPoolStake crypto) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods rnf :: IndividualPoolStake crypto -> () Source #
Crypto crypto => ToCBOR ( IndividualPoolStake crypto) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods toCBOR :: IndividualPoolStake crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( IndividualPoolStake crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ IndividualPoolStake crypto] -> Size Source #
Crypto crypto => FromCBOR ( IndividualPoolStake crypto) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods fromCBOR :: Decoder s ( IndividualPoolStake crypto) Source # label :: Proxy ( IndividualPoolStake crypto) -> Text Source #
NoThunks ( IndividualPoolStake crypto) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods noThunks :: Context -> IndividualPoolStake crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> IndividualPoolStake crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( IndividualPoolStake crypto) -> String Source #
HasExp ( PoolDistr crypto) ( Map ( KeyHash ' StakePool crypto) ( IndividualPoolStake crypto)) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods toExp :: PoolDistr crypto -> Exp ( Map ( KeyHash ' StakePool crypto) ( IndividualPoolStake crypto)) Source #
Embed ( PoolDistr crypto) ( Map ( KeyHash ' StakePool crypto) ( IndividualPoolStake crypto)) Source #	We can Embed a Newtype around a Map (or other Iterable type) and then use it in a set expression.
Instance details Defined in Cardano.Ledger.PoolDistr Methods toBase :: PoolDistr crypto -> Map ( KeyHash ' StakePool crypto) ( IndividualPoolStake crypto) Source # fromBase :: Map ( KeyHash ' StakePool crypto) ( IndividualPoolStake crypto) -> PoolDistr crypto Source #
type Rep ( IndividualPoolStake crypto) Source #
Instance details Defined in Cardano.Ledger.PoolDistr type Rep ( IndividualPoolStake crypto) = D1 (' MetaData "IndividualPoolStake" "Cardano.Ledger.PoolDistr" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "IndividualPoolStake" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "individualPoolStake") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Rational ) :*: S1 (' MetaSel (' Just "individualPoolStakeVrf") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Hash crypto ( VerKeyVRF crypto)))))

newtype PoolDistr crypto Source #

A map of stake pool IDs (the hash of the stake pool operator's verification key) to IndividualPoolStake .

Constructors

PoolDistr
Fields unPoolDistr :: Map ( KeyHash ' StakePool crypto) ( IndividualPoolStake crypto)

Instances

Instances details

Eq ( PoolDistr crypto) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods (==) :: PoolDistr crypto -> PoolDistr crypto -> Bool Source # (/=) :: PoolDistr crypto -> PoolDistr crypto -> Bool Source #
Show ( PoolDistr crypto) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods showsPrec :: Int -> PoolDistr crypto -> ShowS Source # show :: PoolDistr crypto -> String Source # showList :: [ PoolDistr crypto] -> ShowS Source #
NFData ( PoolDistr crypto) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods rnf :: PoolDistr crypto -> () Source #
Crypto crypto => ToCBOR ( PoolDistr crypto) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods toCBOR :: PoolDistr crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( PoolDistr crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ PoolDistr crypto] -> Size Source #
Crypto crypto => FromCBOR ( PoolDistr crypto) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods fromCBOR :: Decoder s ( PoolDistr crypto) Source # label :: Proxy ( PoolDistr crypto) -> Text Source #
NoThunks ( PoolDistr crypto) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods noThunks :: Context -> PoolDistr crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> PoolDistr crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( PoolDistr crypto) -> String Source #
HasExp ( PoolDistr crypto) ( Map ( KeyHash ' StakePool crypto) ( IndividualPoolStake crypto)) Source #
Instance details Defined in Cardano.Ledger.PoolDistr Methods toExp :: PoolDistr crypto -> Exp ( Map ( KeyHash ' StakePool crypto) ( IndividualPoolStake crypto)) Source #
Embed ( PoolDistr crypto) ( Map ( KeyHash ' StakePool crypto) ( IndividualPoolStake crypto)) Source #	We can Embed a Newtype around a Map (or other Iterable type) and then use it in a set expression.
Instance details Defined in Cardano.Ledger.PoolDistr Methods toBase :: PoolDistr crypto -> Map ( KeyHash ' StakePool crypto) ( IndividualPoolStake crypto) Source # fromBase :: Map ( KeyHash ' StakePool crypto) ( IndividualPoolStake crypto) -> PoolDistr crypto Source #