Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Committee.LS

Contents

Local sortition check

Description

Local sortition used by non-persistent members of the voting committee.

Implements the LS component of the wFA^LS scheme from the Fait-Accompli Committee Selection paper: (https:/eprint.iacr.org2023/1273.pdf, §2.3). See also: https://github.com/input-output-hk/ouroboros-leios/blob/c5658913221a7f58063bc4f82efaec0900e53dab/post-cip/weighted-fait-accompli.pdf

Synopsis

newtype LocalSortitionNumSeats = LocalSortitionNumSeats {
- unLocalSortitionNumSeats ∷ Word64
}
localSortitionNumSeats ∷ NonPersistentCommitteeSize → TotalNonPersistentStake → LedgerStake → NormalizedVRFOutput → LocalSortitionNumSeats

Local sortition check

newtype LocalSortitionNumSeats Source #

Number of non-persistent seats granted by local sortition to a voter

Constructors

LocalSortitionNumSeats
Fields unLocalSortitionNumSeats ∷ Word64

Instances

Instances details

HasZero LocalSortitionNumSeats Source #
Instance details Defined in Ouroboros.Consensus.Committee.LS Methods isZero ∷ LocalSortitionNumSeats → Bool Source #
Num LocalSortitionNumSeats Source #
Instance details Defined in Ouroboros.Consensus.Committee.LS Methods (+) ∷ LocalSortitionNumSeats → LocalSortitionNumSeats → LocalSortitionNumSeats # (-) ∷ LocalSortitionNumSeats → LocalSortitionNumSeats → LocalSortitionNumSeats # (*) ∷ LocalSortitionNumSeats → LocalSortitionNumSeats → LocalSortitionNumSeats # negate ∷ LocalSortitionNumSeats → LocalSortitionNumSeats # abs ∷ LocalSortitionNumSeats → LocalSortitionNumSeats # signum ∷ LocalSortitionNumSeats → LocalSortitionNumSeats # fromInteger ∷ Integer → LocalSortitionNumSeats #
Show LocalSortitionNumSeats Source #
Instance details Defined in Ouroboros.Consensus.Committee.LS Methods showsPrec ∷ Int → LocalSortitionNumSeats → ShowS # show ∷ LocalSortitionNumSeats → String # showList ∷ [LocalSortitionNumSeats] → ShowS #
Eq LocalSortitionNumSeats Source #
Instance details Defined in Ouroboros.Consensus.Committee.LS Methods (==) ∷ LocalSortitionNumSeats → LocalSortitionNumSeats → Bool # (/=) ∷ LocalSortitionNumSeats → LocalSortitionNumSeats → Bool #
Ord LocalSortitionNumSeats Source #
Instance details Defined in Ouroboros.Consensus.Committee.LS Methods compare ∷ LocalSortitionNumSeats → LocalSortitionNumSeats → Ordering # (<) ∷ LocalSortitionNumSeats → LocalSortitionNumSeats → Bool # (<=) ∷ LocalSortitionNumSeats → LocalSortitionNumSeats → Bool # (>) ∷ LocalSortitionNumSeats → LocalSortitionNumSeats → Bool # (>=) ∷ LocalSortitionNumSeats → LocalSortitionNumSeats → Bool # max ∷ LocalSortitionNumSeats → LocalSortitionNumSeats → LocalSortitionNumSeats # min ∷ LocalSortitionNumSeats → LocalSortitionNumSeats → LocalSortitionNumSeats #

localSortitionNumSeats Source #

Arguments

∷ NonPersistentCommitteeSize	Expected number of non-persistent voters in the committee
→ TotalNonPersistentStake	Total stake of non-persistent voters
→ LedgerStake	Stake of the voter
→ NormalizedVRFOutput	Normalized VRF output from the participant
→ LocalSortitionNumSeats

Compute how many non-persistent seats can be granted by local sortition to a voter given their normalized VRF output and stake