Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Peras.Cert.V1

Description

Concrete Peras certificate types using BLS signatures.

NOTE: this module is meant to be imported qualified.

NOTE: the validation performed during serialization is minimal, and does not cover any of additional semantic and cryptographic checks that must be performed on the certificate later on.

Synopsis

data PerasCert = PerasCert {
- pcRoundNo ∷ !PerasRoundNo
- pcBoostedBlock ∷ !PerasBoostedBlock
- pcVoters ∷ !PerasCertVoters
- pcSignature ∷ !(AggregateVoteSignature PerasBLSCrypto)
}
newtype PerasCertVoters = PerasCertVoters {
- unPerasCertVoters ∷ NE (Map PerasSeatIndex PerasVoteEligibilityProof)
}

Documentation

data PerasCert Source #

Concrete Peras certificates using BLS signatures

Constructors

PerasCert
Fields pcRoundNo ∷ !PerasRoundNo Election identifier pcBoostedBlock ∷ !PerasBoostedBlock Certificate message, i.e., the hash of the block being boosted pcVoters ∷ !PerasCertVoters Voters who contributed to this certificate pcSignature ∷ !(AggregateVoteSignature PerasBLSCrypto) Aggregate BLS signature on the hash of the election identifier and the certificate message

Instances

Instances details

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

newtype PerasCertVoters Source #

Voters contained in a certificate with their appropriate eligibility proof

Constructors

PerasCertVoters
Fields unPerasCertVoters ∷ NE (Map PerasSeatIndex PerasVoteEligibilityProof)

Instances

Instances details

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