Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Peras.Vote.V1

Description

Concrete Peras vote types using BLS signatures.

NOTE: this module is meant to be imported qualified.

Synopsis

data PerasVote = PerasVote {
- pvRoundNo ∷ !PerasRoundNo
- pvBoostedBlock ∷ !PerasBoostedBlock
- pvSeatIndex ∷ !PerasSeatIndex
- pvEligibilityProof ∷ !PerasVoteEligibilityProof
- pvSignature ∷ !(VoteSignature PerasBLSCrypto)
}
data PerasVoteEligibilityProof
- = PersistentPerasVoteEligibilityProof
- | NonPersistentPerasVoteEligibilityProof !(VRFOutput PerasBLSCrypto)

Documentation

data PerasVote Source #

Concrete Peras votes using BLS signatures

Constructors

PerasVote

Fields

pvRoundNo ∷ !PerasRoundNo
Election identifier
pvBoostedBlock ∷ !PerasBoostedBlock
Vote message, i.e., the hash of the block being voted for
pvSeatIndex ∷ !PerasSeatIndex
Seat index assigned to the committee member (identifies the voter)
pvEligibilityProof ∷ !PerasVoteEligibilityProof
Proof of eligibility for voting, depending on the type of membership to the committee (persistent vs non-persistent)
pvSignature ∷ !(VoteSignature PerasBLSCrypto)
BLS signature on the hash of the election identifier and vote message

Instances

Instances details

FromCBOR PerasVote Source #
Instance details Defined in Ouroboros.Consensus.Peras.Vote.V1 Methods fromCBOR ∷ Decoder s PerasVote Source # label ∷ Proxy PerasVote → Text Source #
ToCBOR PerasVote Source #
Instance details Defined in Ouroboros.Consensus.Peras.Vote.V1 Methods toCBOR ∷ PerasVote → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PerasVote → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PerasVote] → Size Source #
Show PerasVote Source #
Instance details Defined in Ouroboros.Consensus.Peras.Vote.V1 Methods showsPrec ∷ Int → PerasVote → ShowS # show ∷ PerasVote → String # showList ∷ [PerasVote] → ShowS #
Eq PerasVote Source #
Instance details Defined in Ouroboros.Consensus.Peras.Vote.V1 Methods (==) ∷ PerasVote → PerasVote → Bool # (/=) ∷ PerasVote → PerasVote → Bool #
PerasVoteCompatibleWithVotingCommittee PerasVote PerasBLSCrypto EveryoneVotes Source #
Instance details Defined in Ouroboros.Consensus.Peras.Voting.Committee Methods toPerasVote ∷ Vote PerasBLSCrypto EveryoneVotes → Either PerasConversionError PerasVote Source # fromPerasVote ∷ PerasVote → Either PerasConversionError (Vote PerasBLSCrypto EveryoneVotes) Source #
PerasVoteCompatibleWithVotingCommittee PerasVote PerasBLSCrypto WFALS Source #
Instance details Defined in Ouroboros.Consensus.Peras.Voting.Committee Methods toPerasVote ∷ Vote PerasBLSCrypto WFALS → Either PerasConversionError PerasVote Source # fromPerasVote ∷ PerasVote → Either PerasConversionError (Vote PerasBLSCrypto WFALS) Source #

data PerasVoteEligibilityProof Source #

Proof of eligibility for voting for committee members

Constructors

PersistentPerasVoteEligibilityProof	Persistent committee members require no additional proof of eligibility
NonPersistentPerasVoteEligibilityProof !(VRFOutput PerasBLSCrypto)	Non-persistent committee members provide a VRF proof of eligibility

Instances

Instances details

FromCBOR PerasVoteEligibilityProof Source #
Instance details Defined in Ouroboros.Consensus.Peras.Vote.V1 Methods fromCBOR ∷ Decoder s PerasVoteEligibilityProof Source # label ∷ Proxy PerasVoteEligibilityProof → Text Source #
ToCBOR PerasVoteEligibilityProof Source #
Instance details Defined in Ouroboros.Consensus.Peras.Vote.V1 Methods toCBOR ∷ PerasVoteEligibilityProof → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PerasVoteEligibilityProof → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PerasVoteEligibilityProof] → Size Source #
Show PerasVoteEligibilityProof Source #
Instance details Defined in Ouroboros.Consensus.Peras.Vote.V1 Methods showsPrec ∷ Int → PerasVoteEligibilityProof → ShowS # show ∷ PerasVoteEligibilityProof → String # showList ∷ [PerasVoteEligibilityProof] → ShowS #
Eq PerasVoteEligibilityProof Source #
Instance details Defined in Ouroboros.Consensus.Peras.Vote.V1 Methods (==) ∷ PerasVoteEligibilityProof → PerasVoteEligibilityProof → Bool # (/=) ∷ PerasVoteEligibilityProof → PerasVoteEligibilityProof → Bool #