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

Instances

Instances details
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 #

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 #

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 #

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 #

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 #

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 #

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 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 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

data PerasPrivateKey Source #

Private key of a Peras committee member

Constructors

PerasPrivateKey 

Fields

data PerasPublicKey Source #

Public key of a Peras committee member

Constructors

PerasPublicKey 

Fields

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 #

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 #

Eq (VoteSignature PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

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

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

newtype VoteSignature PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

newtype VoteSignature PerasBLSCrypto = PerasBLSCryptoVoteSignature {}

data family VRFElectionInput crypto Source #

Input to the verifiable random function.

This is fixed across all participants for a given election.

Instances

Instances details
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 #

Eq (VRFElectionInput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

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

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

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 #

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 #

Eq (VRFOutput PerasBLSCrypto) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

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

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

newtype VRFOutput PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

newtype VRFOutput PerasBLSCrypto = PerasBLSCryptoVRFOutput {}

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
Show PerasBLSCryptoAggregateVoteVerificationKey Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

showsPrec ∷ Int → PerasBLSCryptoAggregateVoteVerificationKey → ShowS #

show ∷ PerasBLSCryptoAggregateVoteVerificationKey → String #

showList ∷ [PerasBLSCryptoAggregateVoteVerificationKey] → ShowS #

Eq PerasBLSCryptoAggregateVoteVerificationKey Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

(==) ∷ PerasBLSCryptoAggregateVoteVerificationKey → PerasBLSCryptoAggregateVoteVerificationKey → Bool #

(/=) ∷ PerasBLSCryptoAggregateVoteVerificationKey → PerasBLSCryptoAggregateVoteVerificationKey → Bool #

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 #

Show PerasBLSCryptoAggregateVoteSignature Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

showsPrec ∷ Int → PerasBLSCryptoAggregateVoteSignature → ShowS #

show ∷ PerasBLSCryptoAggregateVoteSignature → String #

showList ∷ [PerasBLSCryptoAggregateVoteSignature] → ShowS #

Eq PerasBLSCryptoAggregateVoteSignature Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

Methods

(==) ∷ PerasBLSCryptoAggregateVoteSignature → PerasBLSCryptoAggregateVoteSignature → Bool #

(/=) ∷ PerasBLSCryptoAggregateVoteSignature → PerasBLSCryptoAggregateVoteSignature → Bool #