Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Committee.WFALS

1 type
5 values

Packageouroboros-consensus-4.2.1.0
Exports27
LicenceApache-2.0

familydata family Cert crypto committee

Instances2Cert

data Cert crypto EveryoneVotes
- EveryoneVotesCert !(ElectionId crypto) !(VoteCandidate crypto) !(NE (Set SeatIndex)) !(AggregateVoteSignature crypto)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.EveryoneVotes
data Cert crypto WFALS
- WFALSCert !(ElectionId crypto) !(VoteCandidate crypto) !(NE (Map SeatIndex (Maybe (VRFOutput crypto)))) !(AggregateVoteSignature crypto)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.WFALS

constructor

WFALSCert !(ElectionId crypto) !(VoteCandidate crypto) !(NE (Map SeatIndex (Maybe (VRFOutput crypto)))) !(AggregateVoteSignature crypto)

:: ElectionId crypto
-> VoteCandidate crypto
-> NE (Map SeatIndex (Maybe (VRFOutput crypto)))
-> AggregateVoteSignature crypto
-> R:CertcryptoWFALS crypto

familydata family VotingCommittee crypto committee

Instances2VotingCommittee

data VotingCommittee crypto EveryoneVotes
- EveryoneVotesVotingCommitteeextWFAStakeDistr :: !ExtWFAStakeDistr (PublicKey crypto)candidateSeats :: !Map PoolId SeatIndexnumActiveVoters :: !NumPoolsWithPositiveStake
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.EveryoneVotes
data VotingCommittee crypto WFALS
- WFALSVotingCommitteeextWFAStakeDistr :: !ExtWFAStakeDistr (PublicKey crypto)candidateSeats :: !Map PoolId SeatIndexpersistentCommitteeSize :: !PersistentCommitteeSizenonPersistentCommitteeSize :: !NonPersistentCommitteeSizetotalPersistentStake :: !TotalPersistentStaketotalNonPersistentStake :: !TotalNonPersistentStakeepochNonce :: !Nonce
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.WFALS

familydata family EligibilityWitness crypto committee

Instances2EligibilityWitness

data EligibilityWitness crypto EveryoneVotes
- EveryoneVotesMember !SeatIndex !(NonZero LedgerStake)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.EveryoneVotes
data EligibilityWitness crypto WFALS
- WFALSPersistentMember !SeatIndex !LedgerStake
- WFALSNonPersistentMember !SeatIndex !LedgerStake !(VRFOutput crypto) !(NonZero LocalSortitionNumSeats)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.WFALS

constructorWFALSNonPersistentMember !SeatIndex !LedgerStake !(VRFOutput crypto) !(NonZero LocalSortitionNumSeats)

:: SeatIndex
-> LedgerStake
-> VRFOutput crypto
-> NonZero LocalSortitionNumSeats
-> R:EligibilityWitnesscryptoWFALS crypto

constructorWFALSPersistentMember !SeatIndex !LedgerStake

familydata family Vote crypto committee

Instances2Vote

data Vote crypto EveryoneVotes
- EveryoneVotesVote !SeatIndex !(ElectionId crypto) !(VoteCandidate crypto) !(VoteSignature crypto)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.EveryoneVotes
data Vote crypto WFALS
- WFALSPersistentVote !SeatIndex !(ElectionId crypto) !(VoteCandidate crypto) !(VoteSignature crypto)
- WFALSNonPersistentVote !SeatIndex !(ElectionId crypto) !(VoteCandidate crypto) !(VRFOutput crypto) !(VoteSignature crypto)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.WFALS

constructor

WFALSNonPersistentVote !SeatIndex !(ElectionId crypto) !(VoteCandidate crypto) !(VRFOutput crypto) !(VoteSignature crypto)

:: SeatIndex
-> ElectionId crypto
-> VoteCandidate crypto
-> VRFOutput crypto
-> VoteSignature crypto
-> R:VotecryptoWFALS crypto

constructorWFALSPersistentVote !SeatIndex !(ElectionId crypto) !(VoteCandidate crypto) !(VoteSignature crypto)

:: SeatIndex
-> ElectionId crypto
-> VoteCandidate crypto
-> VoteSignature crypto
-> R:VotecryptoWFALS crypto

valuecandidateSeats :: VotingCommittee crypto WFALS -> Map PoolId SeatIndex

valuenonPersistentCommitteeSize

:: VotingCommittee crypto WFALS
-> NonPersistentCommitteeSize

valuepersistentCommitteeSize

:: VotingCommittee crypto WFALS
-> PersistentCommitteeSize

valuetotalNonPersistentStake

:: VotingCommittee crypto WFALS
-> TotalNonPersistentStake

valuetotalPersistentStake :: VotingCommittee crypto WFALS -> TotalPersistentStake

familydata family VotingCommitteeError crypto committee

Instances6Eq, Show, VotingCommitteeError

Eq (VotingCommitteeError crypto EveryoneVotes)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.EveryoneVotes
Eq (VotingCommitteeError crypto WFALS)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.WFALS
Show (VotingCommitteeError crypto EveryoneVotes)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.EveryoneVotes
Show (VotingCommitteeError crypto WFALS)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.WFALS
data VotingCommitteeError crypto EveryoneVotes
- WFAError WFAError
- MissingPoolId PoolId
- MissingSeatIndex SeatIndex
- PoolHasNoStake SeatIndex
- InvalidVoteSignature String
- InvalidCertSignature String
- CryptoError String
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.EveryoneVotes
data VotingCommitteeError crypto WFALS
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.WFALS

constructorCryptoError String

constructorInvalidCertSignature String

constructorInvalidVoteSignature String

constructorInvalidVoterEligibilityProof String

constructorMissingPoolId PoolId

constructorNotANonPersistentMember SeatIndex

constructorNotAPersistentMember SeatIndex

constructorWFAError WFAError

constructorZeroNonPersistentSeats SeatIndex

familydata family VotingCommitteeInput crypto committee

Instances2VotingCommitteeInput

data VotingCommitteeInput crypto EveryoneVotes
- EveryoneVotesVotingCommitteeInput !(ExtWFAStakeDistr (PublicKey crypto))
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.EveryoneVotes
data VotingCommitteeInput crypto WFALS
- WFALSVotingCommitteeInput !Nonce !TargetCommitteeSize !(ExtWFAStakeDistr (PublicKey crypto))
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.WFALS

constructorWFALSVotingCommitteeInput !Nonce !TargetCommitteeSize !(ExtWFAStakeDistr (PublicKey crypto))

:: Nonce
-> TargetCommitteeSize
-> ExtWFAStakeDistr (PublicKey crypto)
-> R:VotingCommitteeInputcryptoWFALS crypto

datadata WFALS

Instances11CryptoSupportsVotingCommittee, PerasCertCompatibleWithVotingCommittee, PerasVoteCompatibleWithVotingCommittee, Eq, Show, Cert, …

(CryptoSupportsAggregateVoteSigning crypto, CryptoSupportsBatchVRFVerification crypto) => CryptoSupportsVotingCommittee crypto WFALSDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.WFALS
PerasCertCompatibleWithVotingCommittee PerasCert PerasBLSCrypto WFALSDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Peras.Voting.Committee
PerasVoteCompatibleWithVotingCommittee PerasVote PerasBLSCrypto WFALSDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Peras.Voting.Committee
Eq (VotingCommitteeError crypto WFALS)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.WFALS
Show (VotingCommitteeError crypto WFALS)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.WFALS
data Cert crypto WFALS
- WFALSCert !(ElectionId crypto) !(VoteCandidate crypto) !(NE (Map SeatIndex (Maybe (VRFOutput crypto)))) !(AggregateVoteSignature crypto)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.WFALS
data EligibilityWitness crypto WFALS
- WFALSPersistentMember !SeatIndex !LedgerStake
- WFALSNonPersistentMember !SeatIndex !LedgerStake !(VRFOutput crypto) !(NonZero LocalSortitionNumSeats)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.WFALS
data Vote crypto WFALS
- WFALSPersistentVote !SeatIndex !(ElectionId crypto) !(VoteCandidate crypto) !(VoteSignature crypto)
- WFALSNonPersistentVote !SeatIndex !(ElectionId crypto) !(VoteCandidate crypto) !(VRFOutput crypto) !(VoteSignature crypto)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.WFALS
data VotingCommittee crypto WFALS
- WFALSVotingCommitteeextWFAStakeDistr :: !ExtWFAStakeDistr (PublicKey crypto)candidateSeats :: !Map PoolId SeatIndexpersistentCommitteeSize :: !PersistentCommitteeSizenonPersistentCommitteeSize :: !NonPersistentCommitteeSizetotalPersistentStake :: !TotalPersistentStaketotalNonPersistentStake :: !TotalNonPersistentStakeepochNonce :: !Nonce
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.WFALS
data VotingCommitteeError crypto WFALS
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.WFALS
data VotingCommitteeInput crypto WFALS
- WFALSVotingCommitteeInput !Nonce !TargetCommitteeSize !(ExtWFAStakeDistr (PublicKey crypto))
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.WFALS