ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Peras.Crypto.BLS

Description

BLS-based crypto scheme used in Peras voting committees

Synopsis

Documentation

data PerasBLSCrypto Source #

BLS-based crypto scheme used in Peras voting committees

TODO: we should investigate why this type needs these instances at all. See https://github.com/tweag/cardano-peras/issues/272

Instances

Instances details
Eq PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

(==) ∷ PerasBLSCrypto → PerasBLSCrypto → Bool #

(/=) ∷ PerasBLSCrypto → PerasBLSCrypto → Bool #

Generic PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Associated Types

type Rep PerasBLSCrypto 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type Rep PerasBLSCrypto = D1 ('MetaData "PerasBLSCrypto" "Ouroboros.Consensus.Peras.Crypto.BLS" "ouroboros-consensus-4.0.0.0-inplace" 'False) (V1 ∷ Type → Type)

Methods

from ∷ PerasBLSCrypto → Rep PerasBLSCrypto x #

to ∷ Rep PerasBLSCrypto x → PerasBLSCrypto #

Show PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

showsPrec ∷ Int → PerasBLSCrypto → ShowS #

show ∷ PerasBLSCrypto → String #

showList ∷ [PerasBLSCrypto] → ShowS #

NoThunks PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

noThunks ∷ Context → PerasBLSCrypto → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasBLSCrypto → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PerasBLSCrypto → String Source #

CryptoSupportsAggregateVoteSigning PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Associated Types

type AggregateVoteVerificationKey PerasBLSCrypto 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type AggregateVoteVerificationKey PerasBLSCrypto = PerasBLSCryptoAggregateVoteVerificationKey
type AggregateVoteSignature PerasBLSCrypto 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type AggregateVoteSignature PerasBLSCrypto = PerasBLSCryptoAggregateVoteSignature

Methods

aggregateVoteVerificationKeys ∷ Proxy PerasBLSCrypto → NE [VoteVerificationKey PerasBLSCrypto] → Either String (AggregateVoteVerificationKey PerasBLSCrypto) Source #

aggregateVoteSignatures ∷ Proxy PerasBLSCrypto → NE [VoteSignature PerasBLSCrypto] → Either String (AggregateVoteSignature PerasBLSCrypto) Source #

verifyAggregateVoteSignature ∷ Proxy PerasBLSCrypto → AggregateVoteVerificationKey PerasBLSCrypto → ElectionId PerasBLSCrypto → VoteCandidate PerasBLSCrypto → AggregateVoteSignature PerasBLSCrypto → Either String () Source #

CryptoSupportsBatchVRFVerification PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

batchVerifyVRFOutputs ∷ NE [VRFVerificationKey PerasBLSCrypto] → VRFElectionInput PerasBLSCrypto → NE [VRFOutput PerasBLSCrypto] → Either String () Source #

CryptoSupportsVRF PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Associated Types

type VRFSigningKey PerasBLSCrypto 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type VRFSigningKey PerasBLSCrypto = PrivateKey 'VRF
type VRFVerificationKey PerasBLSCrypto 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type VRFVerificationKey PerasBLSCrypto = PublicKey 'VRF
newtype VRFElectionInput PerasBLSCrypto 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

newtype VRFElectionInput PerasBLSCrypto = PerasBLSCryptoVRFElectionInput {}
newtype VRFOutput PerasBLSCrypto 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

newtype VRFOutput PerasBLSCrypto = PerasBLSCryptoVRFOutput {}

Methods

getVRFSigningKey ∷ Proxy PerasBLSCrypto → PrivateKey PerasBLSCrypto → VRFSigningKey PerasBLSCrypto Source #

getVRFVerificationKey ∷ Proxy PerasBLSCrypto → PublicKey PerasBLSCrypto → VRFVerificationKey PerasBLSCrypto Source #

mkVRFElectionInput ∷ Nonce → ElectionId PerasBLSCrypto → VRFElectionInput PerasBLSCrypto Source #

evalVRF ∷ VRFPoolContext PerasBLSCrypto → VRFElectionInput PerasBLSCrypto → Either String (VRFOutput PerasBLSCrypto) Source #

normalizeVRFOutput ∷ VRFOutput PerasBLSCrypto → NormalizedVRFOutput Source #

CryptoSupportsVoteSigning PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Associated Types

type VoteSigningKey PerasBLSCrypto 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type VoteSigningKey PerasBLSCrypto = PrivateKey 'SIGN
type VoteVerificationKey PerasBLSCrypto 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type VoteVerificationKey PerasBLSCrypto = PublicKey 'SIGN
newtype VoteSignature PerasBLSCrypto 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

newtype VoteSignature PerasBLSCrypto = PerasBLSCryptoVoteSignature {}

Methods

getVoteSigningKey ∷ Proxy PerasBLSCrypto → PrivateKey PerasBLSCrypto → VoteSigningKey PerasBLSCrypto Source #

getVoteVerificationKey ∷ Proxy PerasBLSCrypto → PublicKey PerasBLSCrypto → VoteVerificationKey PerasBLSCrypto Source #

signVote ∷ VoteSigningKey PerasBLSCrypto → ElectionId PerasBLSCrypto → VoteCandidate PerasBLSCrypto → VoteSignature PerasBLSCrypto Source #

verifyVoteSignature ∷ VoteVerificationKey PerasBLSCrypto → ElectionId PerasBLSCrypto → VoteCandidate PerasBLSCrypto → VoteSignature PerasBLSCrypto → Either String () Source #

FromCBOR (VRFOutput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

fromCBOR ∷ Decoder s (VRFOutput PerasBLSCrypto) Source #

label ∷ Proxy (VRFOutput PerasBLSCrypto) → Text Source #

FromCBOR (VoteSignature PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

fromCBOR ∷ Decoder s (VoteSignature PerasBLSCrypto) Source #

label ∷ Proxy (VoteSignature PerasBLSCrypto) → Text Source #

ToCBOR (VRFOutput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

toCBOR ∷ VRFOutput PerasBLSCrypto → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VRFOutput PerasBLSCrypto) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VRFOutput PerasBLSCrypto] → Size Source #

ToCBOR (VoteSignature PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

toCBOR ∷ VoteSignature PerasBLSCrypto → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VoteSignature PerasBLSCrypto) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VoteSignature PerasBLSCrypto] → Size Source #

Eq (VRFElectionInput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

(==) ∷ VRFElectionInput PerasBLSCrypto → VRFElectionInput PerasBLSCrypto → Bool #

(/=) ∷ VRFElectionInput PerasBLSCrypto → VRFElectionInput PerasBLSCrypto → Bool #

Eq (VRFOutput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

(==) ∷ VRFOutput PerasBLSCrypto → VRFOutput PerasBLSCrypto → Bool #

(/=) ∷ VRFOutput PerasBLSCrypto → VRFOutput PerasBLSCrypto → Bool #

Eq (VoteSignature PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

(==) ∷ VoteSignature PerasBLSCrypto → VoteSignature PerasBLSCrypto → Bool #

(/=) ∷ VoteSignature PerasBLSCrypto → VoteSignature PerasBLSCrypto → Bool #

Generic (VRFOutput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Associated Types

type Rep (VRFOutput PerasBLSCrypto) 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type Rep (VRFOutput PerasBLSCrypto) = D1 ('MetaData "VRFOutput" "Ouroboros.Consensus.Peras.Crypto.BLS" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasBLSCryptoVRFOutput" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasBLSCryptoVRFOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature 'VRF))))

Methods

from ∷ VRFOutput PerasBLSCrypto → Rep (VRFOutput PerasBLSCrypto) x #

to ∷ Rep (VRFOutput PerasBLSCrypto) x → VRFOutput PerasBLSCrypto #

Generic (VoteSignature PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Associated Types

type Rep (VoteSignature PerasBLSCrypto) 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type Rep (VoteSignature PerasBLSCrypto) = D1 ('MetaData "VoteSignature" "Ouroboros.Consensus.Peras.Crypto.BLS" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasBLSCryptoVoteSignature" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasBLSCryptoVoteSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature 'SIGN))))

Methods

from ∷ VoteSignature PerasBLSCrypto → Rep (VoteSignature PerasBLSCrypto) x #

to ∷ Rep (VoteSignature PerasBLSCrypto) x → VoteSignature PerasBLSCrypto #

Show (VRFElectionInput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

showsPrec ∷ Int → VRFElectionInput PerasBLSCrypto → ShowS #

show ∷ VRFElectionInput PerasBLSCrypto → String #

showList ∷ [VRFElectionInput PerasBLSCrypto] → ShowS #

Show (VRFOutput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

showsPrec ∷ Int → VRFOutput PerasBLSCrypto → ShowS #

show ∷ VRFOutput PerasBLSCrypto → String #

showList ∷ [VRFOutput PerasBLSCrypto] → ShowS #

Show (VoteSignature PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

showsPrec ∷ Int → VoteSignature PerasBLSCrypto → ShowS #

show ∷ VoteSignature PerasBLSCrypto → String #

showList ∷ [VoteSignature PerasBLSCrypto] → ShowS #

NoThunks (VRFOutput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

noThunks ∷ Context → VRFOutput PerasBLSCrypto → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VRFOutput PerasBLSCrypto → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VRFOutput PerasBLSCrypto) → String Source #

NoThunks (VoteSignature PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

noThunks ∷ Context → VoteSignature PerasBLSCrypto → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VoteSignature PerasBLSCrypto → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VoteSignature PerasBLSCrypto) → String Source #

PerasCertCompatibleWithVotingCommittee (PerasCert blk) PerasBLSCrypto EveryoneVotes Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.V1

Methods

toPerasCert ∷ Cert PerasBLSCrypto EveryoneVotes → Either PerasConversionError (PerasCert blk) Source #

fromPerasCert ∷ PerasCert blk → Either PerasConversionError (Cert PerasBLSCrypto EveryoneVotes) Source #

PerasCertCompatibleWithVotingCommittee (PerasCert blk) PerasBLSCrypto WFALS Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.V1

Methods

toPerasCert ∷ Cert PerasBLSCrypto WFALS → Either PerasConversionError (PerasCert blk) Source #

fromPerasCert ∷ PerasCert blk → Either PerasConversionError (Cert PerasBLSCrypto WFALS) Source #

PerasVoteCompatibleWithVotingCommittee (PerasVote blk) PerasBLSCrypto EveryoneVotes Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Vote.V1

Methods

toPerasVote ∷ Vote PerasBLSCrypto EveryoneVotes → Either PerasConversionError (PerasVote blk) Source #

fromPerasVote ∷ PerasVote blk → Either PerasConversionError (Vote PerasBLSCrypto EveryoneVotes) Source #

PerasVoteCompatibleWithVotingCommittee (PerasVote blk) PerasBLSCrypto WFALS Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Vote.V1

Methods

toPerasVote ∷ Vote PerasBLSCrypto WFALS → Either PerasConversionError (PerasVote blk) Source #

fromPerasVote ∷ PerasVote blk → Either PerasConversionError (Vote PerasBLSCrypto WFALS) Source #

type Rep PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type Rep PerasBLSCrypto = D1 ('MetaData "PerasBLSCrypto" "Ouroboros.Consensus.Peras.Crypto.BLS" "ouroboros-consensus-4.0.0.0-inplace" 'False) (V1 ∷ Type → Type)
type AggregateVoteSignature PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type AggregateVoteSignature PerasBLSCrypto = PerasBLSCryptoAggregateVoteSignature
type AggregateVoteVerificationKey PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type AggregateVoteVerificationKey PerasBLSCrypto = PerasBLSCryptoAggregateVoteVerificationKey
type ElectionId PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type ElectionId PerasBLSCrypto = PerasRoundNo
type PrivateKey PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type PrivateKey PerasBLSCrypto = PerasPrivateKey
type PublicKey PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type PublicKey PerasBLSCrypto = PerasPublicKey
newtype VRFElectionInput PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

newtype VRFElectionInput PerasBLSCrypto = PerasBLSCryptoVRFElectionInput {}
newtype VRFOutput PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

newtype VRFOutput PerasBLSCrypto = PerasBLSCryptoVRFOutput {}
type VRFSigningKey PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type VRFSigningKey PerasBLSCrypto = PrivateKey 'VRF
type VRFVerificationKey PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type VRFVerificationKey PerasBLSCrypto = PublicKey 'VRF
type VoteCandidate PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type VoteCandidate PerasBLSCrypto = PerasBoostedBlock
newtype VoteSignature PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

newtype VoteSignature PerasBLSCrypto = PerasBLSCryptoVoteSignature {}
type VoteSigningKey PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type VoteSigningKey PerasBLSCrypto = PrivateKey 'SIGN
type VoteVerificationKey PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type VoteVerificationKey PerasBLSCrypto = PublicKey 'SIGN
type Rep (VRFOutput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type Rep (VRFOutput PerasBLSCrypto) = D1 ('MetaData "VRFOutput" "Ouroboros.Consensus.Peras.Crypto.BLS" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasBLSCryptoVRFOutput" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasBLSCryptoVRFOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature 'VRF))))
type Rep (VoteSignature PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type Rep (VoteSignature PerasBLSCrypto) = D1 ('MetaData "VoteSignature" "Ouroboros.Consensus.Peras.Crypto.BLS" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasBLSCryptoVoteSignature" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasBLSCryptoVoteSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature 'SIGN))))

type family ElectionId crypto Source #

Election identifiers

Instances

Instances details
type ElectionId PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type ElectionId PerasBLSCrypto = PerasRoundNo
type ElectionId (VoidPerasCrypto blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

type ElectionId (VoidPerasCrypto blk) = PerasRoundNo

type family VoteCandidate crypto Source #

Vote candidates, i.e., what's being voted for

Instances

Instances details
type VoteCandidate PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type VoteCandidate PerasBLSCrypto = PerasBoostedBlock
type VoteCandidate (VoidPerasCrypto blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

type VoteCandidate (VoidPerasCrypto blk) = Point blk

newtype PerasPrivateKey Source #

Private key of a Peras committee member

Constructors

PerasPrivateKey (PrivateKey (Any ∷ KeyRole)) 

Instances

Instances details
Generic PerasPrivateKey Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Associated Types

type Rep PerasPrivateKey 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type Rep PerasPrivateKey = D1 ('MetaData "PerasPrivateKey" "Ouroboros.Consensus.Peras.Crypto.BLS" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasPrivateKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PrivateKey (Any ∷ KeyRole)))))

Methods

from ∷ PerasPrivateKey → Rep PerasPrivateKey x #

to ∷ Rep PerasPrivateKey x → PerasPrivateKey #

NoThunks PerasPrivateKey Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

noThunks ∷ Context → PerasPrivateKey → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasPrivateKey → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PerasPrivateKey → String Source #

type Rep PerasPrivateKey Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type Rep PerasPrivateKey = D1 ('MetaData "PerasPrivateKey" "Ouroboros.Consensus.Peras.Crypto.BLS" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasPrivateKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PrivateKey (Any ∷ KeyRole)))))

data PerasPublicKey Source #

Public key of a Peras committee member

Constructors

PerasPublicKey (PublicKey (Any ∷ KeyRole)) 

Instances

Instances details
FromCBOR PerasPublicKey Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

fromCBOR ∷ Decoder s PerasPublicKey Source #

label ∷ Proxy PerasPublicKey → Text Source #

ToCBOR PerasPublicKey Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

toCBOR ∷ PerasPublicKey → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PerasPublicKey → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PerasPublicKey] → Size Source #

Eq PerasPublicKey Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

(==) ∷ PerasPublicKey → PerasPublicKey → Bool #

(/=) ∷ PerasPublicKey → PerasPublicKey → Bool #

Generic PerasPublicKey Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Associated Types

type Rep PerasPublicKey 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type Rep PerasPublicKey = D1 ('MetaData "PerasPublicKey" "Ouroboros.Consensus.Peras.Crypto.BLS" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasPublicKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PublicKey (Any ∷ KeyRole)))))

Methods

from ∷ PerasPublicKey → Rep PerasPublicKey x #

to ∷ Rep PerasPublicKey x → PerasPublicKey #

Show PerasPublicKey Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

showsPrec ∷ Int → PerasPublicKey → ShowS #

show ∷ PerasPublicKey → String #

showList ∷ [PerasPublicKey] → ShowS #

NoThunks PerasPublicKey Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

noThunks ∷ Context → PerasPublicKey → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasPublicKey → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PerasPublicKey → String Source #

type Rep PerasPublicKey Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type Rep PerasPublicKey = D1 ('MetaData "PerasPublicKey" "Ouroboros.Consensus.Peras.Crypto.BLS" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasPublicKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PublicKey (Any ∷ KeyRole)))))

data family VoteSignature crypto Source #

Cryptographic signature of a vote

Instances

Instances details
FromCBOR (VoteSignature PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

fromCBOR ∷ Decoder s (VoteSignature PerasBLSCrypto) Source #

label ∷ Proxy (VoteSignature PerasBLSCrypto) → Text Source #

ToCBOR (VoteSignature PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

toCBOR ∷ VoteSignature PerasBLSCrypto → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VoteSignature PerasBLSCrypto) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VoteSignature PerasBLSCrypto] → Size Source #

Eq (VoteSignature PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

(==) ∷ VoteSignature PerasBLSCrypto → VoteSignature PerasBLSCrypto → Bool #

(/=) ∷ VoteSignature PerasBLSCrypto → VoteSignature PerasBLSCrypto → Bool #

Generic (VoteSignature PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Associated Types

type Rep (VoteSignature PerasBLSCrypto) 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type Rep (VoteSignature PerasBLSCrypto) = D1 ('MetaData "VoteSignature" "Ouroboros.Consensus.Peras.Crypto.BLS" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasBLSCryptoVoteSignature" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasBLSCryptoVoteSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature 'SIGN))))

Methods

from ∷ VoteSignature PerasBLSCrypto → Rep (VoteSignature PerasBLSCrypto) x #

to ∷ Rep (VoteSignature PerasBLSCrypto) x → VoteSignature PerasBLSCrypto #

Show (VoteSignature PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

showsPrec ∷ Int → VoteSignature PerasBLSCrypto → ShowS #

show ∷ VoteSignature PerasBLSCrypto → String #

showList ∷ [VoteSignature PerasBLSCrypto] → ShowS #

NoThunks (VoteSignature PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

noThunks ∷ Context → VoteSignature PerasBLSCrypto → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VoteSignature PerasBLSCrypto → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VoteSignature PerasBLSCrypto) → String Source #

newtype VoteSignature PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

newtype VoteSignature PerasBLSCrypto = PerasBLSCryptoVoteSignature {}
type Rep (VoteSignature PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type Rep (VoteSignature PerasBLSCrypto) = D1 ('MetaData "VoteSignature" "Ouroboros.Consensus.Peras.Crypto.BLS" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasBLSCryptoVoteSignature" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasBLSCryptoVoteSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature 'SIGN))))
data VoteSignature (VoidPerasCrypto blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

data VoteSignature (VoidPerasCrypto blk) = VoidVoteSignature ()

data family VRFElectionInput crypto Source #

Input to the verifiable random function.

This is fixed across all participants for a given election.

Instances

Instances details
Eq (VRFElectionInput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

(==) ∷ VRFElectionInput PerasBLSCrypto → VRFElectionInput PerasBLSCrypto → Bool #

(/=) ∷ VRFElectionInput PerasBLSCrypto → VRFElectionInput PerasBLSCrypto → Bool #

Show (VRFElectionInput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

showsPrec ∷ Int → VRFElectionInput PerasBLSCrypto → ShowS #

show ∷ VRFElectionInput PerasBLSCrypto → String #

showList ∷ [VRFElectionInput PerasBLSCrypto] → ShowS #

newtype VRFElectionInput PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

newtype VRFElectionInput PerasBLSCrypto = PerasBLSCryptoVRFElectionInput {}

data family VRFOutput crypto Source #

Output of the verifiable random function

Instances

Instances details
FromCBOR (VRFOutput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

fromCBOR ∷ Decoder s (VRFOutput PerasBLSCrypto) Source #

label ∷ Proxy (VRFOutput PerasBLSCrypto) → Text Source #

ToCBOR (VRFOutput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

toCBOR ∷ VRFOutput PerasBLSCrypto → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VRFOutput PerasBLSCrypto) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VRFOutput PerasBLSCrypto] → Size Source #

Eq (VRFOutput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

(==) ∷ VRFOutput PerasBLSCrypto → VRFOutput PerasBLSCrypto → Bool #

(/=) ∷ VRFOutput PerasBLSCrypto → VRFOutput PerasBLSCrypto → Bool #

Generic (VRFOutput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Associated Types

type Rep (VRFOutput PerasBLSCrypto) 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type Rep (VRFOutput PerasBLSCrypto) = D1 ('MetaData "VRFOutput" "Ouroboros.Consensus.Peras.Crypto.BLS" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasBLSCryptoVRFOutput" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasBLSCryptoVRFOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature 'VRF))))

Methods

from ∷ VRFOutput PerasBLSCrypto → Rep (VRFOutput PerasBLSCrypto) x #

to ∷ Rep (VRFOutput PerasBLSCrypto) x → VRFOutput PerasBLSCrypto #

Show (VRFOutput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

showsPrec ∷ Int → VRFOutput PerasBLSCrypto → ShowS #

show ∷ VRFOutput PerasBLSCrypto → String #

showList ∷ [VRFOutput PerasBLSCrypto] → ShowS #

NoThunks (VRFOutput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

noThunks ∷ Context → VRFOutput PerasBLSCrypto → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VRFOutput PerasBLSCrypto → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VRFOutput PerasBLSCrypto) → String Source #

newtype VRFOutput PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

newtype VRFOutput PerasBLSCrypto = PerasBLSCryptoVRFOutput {}
type Rep (VRFOutput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type Rep (VRFOutput PerasBLSCrypto) = D1 ('MetaData "VRFOutput" "Ouroboros.Consensus.Peras.Crypto.BLS" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasBLSCryptoVRFOutput" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasBLSCryptoVRFOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature 'VRF))))

type family AggregateVoteVerificationKey crypto Source #

Aggregate vote verification keys

Instances

Instances details
type AggregateVoteVerificationKey PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type AggregateVoteVerificationKey PerasBLSCrypto = PerasBLSCryptoAggregateVoteVerificationKey

type family AggregateVoteSignature crypto Source #

Aggregate vote signatures

Instances

Instances details
type AggregateVoteSignature PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type AggregateVoteSignature PerasBLSCrypto = PerasBLSCryptoAggregateVoteSignature

For testing purposes

newtype PerasBLSCryptoAggregateVoteVerificationKey Source #

Wrapper around the aggregate vote signatures.

Constructors

PerasBLSCryptoAggregateVoteVerificationKey 

Fields

Instances

Instances details
Eq PerasBLSCryptoAggregateVoteVerificationKey Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

(==) ∷ PerasBLSCryptoAggregateVoteVerificationKey → PerasBLSCryptoAggregateVoteVerificationKey → Bool #

(/=) ∷ PerasBLSCryptoAggregateVoteVerificationKey → PerasBLSCryptoAggregateVoteVerificationKey → Bool #

Show PerasBLSCryptoAggregateVoteVerificationKey Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

showsPrec ∷ Int → PerasBLSCryptoAggregateVoteVerificationKey → ShowS #

show ∷ PerasBLSCryptoAggregateVoteVerificationKey → String #

showList ∷ [PerasBLSCryptoAggregateVoteVerificationKey] → ShowS #

newtype PerasBLSCryptoAggregateVoteSignature Source #

Wrapper around the aggregate vote verification keys.

Constructors

PerasBLSCryptoAggregateVoteSignature 

Fields

Instances

Instances details
FromCBOR PerasBLSCryptoAggregateVoteSignature Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

fromCBOR ∷ Decoder s PerasBLSCryptoAggregateVoteSignature Source #

label ∷ Proxy PerasBLSCryptoAggregateVoteSignature → Text Source #

ToCBOR PerasBLSCryptoAggregateVoteSignature Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

toCBOR ∷ PerasBLSCryptoAggregateVoteSignature → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PerasBLSCryptoAggregateVoteSignature → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PerasBLSCryptoAggregateVoteSignature] → Size Source #

Eq PerasBLSCryptoAggregateVoteSignature Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

(==) ∷ PerasBLSCryptoAggregateVoteSignature → PerasBLSCryptoAggregateVoteSignature → Bool #

(/=) ∷ PerasBLSCryptoAggregateVoteSignature → PerasBLSCryptoAggregateVoteSignature → Bool #

Generic PerasBLSCryptoAggregateVoteSignature Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Associated Types

type Rep PerasBLSCryptoAggregateVoteSignature 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type Rep PerasBLSCryptoAggregateVoteSignature = D1 ('MetaData "PerasBLSCryptoAggregateVoteSignature" "Ouroboros.Consensus.Peras.Crypto.BLS" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasBLSCryptoAggregateVoteSignature" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasBLSCryptoAggregateVoteSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature 'SIGN))))

Methods

from ∷ PerasBLSCryptoAggregateVoteSignature → Rep PerasBLSCryptoAggregateVoteSignature x #

to ∷ Rep PerasBLSCryptoAggregateVoteSignature x → PerasBLSCryptoAggregateVoteSignature #

Show PerasBLSCryptoAggregateVoteSignature Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

showsPrec ∷ Int → PerasBLSCryptoAggregateVoteSignature → ShowS #

show ∷ PerasBLSCryptoAggregateVoteSignature → String #

showList ∷ [PerasBLSCryptoAggregateVoteSignature] → ShowS #

NoThunks PerasBLSCryptoAggregateVoteSignature Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

noThunks ∷ Context → PerasBLSCryptoAggregateVoteSignature → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasBLSCryptoAggregateVoteSignature → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PerasBLSCryptoAggregateVoteSignature → String Source #

type Rep PerasBLSCryptoAggregateVoteSignature Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

type Rep PerasBLSCryptoAggregateVoteSignature = D1 ('MetaData "PerasBLSCryptoAggregateVoteSignature" "Ouroboros.Consensus.Peras.Crypto.BLS" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PerasBLSCryptoAggregateVoteSignature" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasBLSCryptoAggregateVoteSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature 'SIGN))))