Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Committee.Crypto

Synopsis

class CryptoSupportsAggregateVoteSigning
class CryptoSupportsBatchVRFVerification
class CryptoSupportsVRF
class CryptoSupportsVoteSigning
family ElectionId
newtype NormalizedVRFOutput
family PrivateKey
family PublicKey
data VRFPoolContext
family VoteCandidate

Packageouroboros-consensus-4.2.1.0
Exports10
LicenceApache-2.0

classclass CryptoSupportsVoteSigning crypto => CryptoSupportsAggregateVoteSigning crypto where

Associated types

type family AggregateVoteVerificationKey crypto
type family AggregateVoteSignature crypto

Methods

aggregateVoteVerificationKeys :: Proxy crypto -> NE [VoteVerificationKey crypto] -> Either String (AggregateVoteVerificationKey crypto)
aggregateVoteSignatures :: Proxy crypto -> NE [VoteSignature crypto] -> Either String (AggregateVoteSignature crypto)
verifyAggregateVoteSignature :: Proxy crypto -> AggregateVoteVerificationKey crypto -> ElectionId crypto -> VoteCandidate crypto -> AggregateVoteSignature crypto -> Either String ()

Instances1CryptoSupportsAggregateVoteSigning

CryptoSupportsAggregateVoteSigning PerasBLSCryptoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Peras.Crypto.BLS

classclass CryptoSupportsVRF crypto => CryptoSupportsBatchVRFVerification crypto where

Methods

batchVerifyVRFOutputs :: NE [VRFVerificationKey crypto] -> VRFElectionInput crypto -> NE [VRFOutput crypto] -> Either String ()

Instances1CryptoSupportsBatchVRFVerification

CryptoSupportsBatchVRFVerification PerasBLSCryptoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Peras.Crypto.BLS

classclass CryptoSupportsVRF crypto where

Associated types

type family VRFSigningKey crypto
type family VRFVerificationKey crypto
data family VRFElectionInput crypto
data family VRFOutput crypto

Methods

getVRFSigningKey :: Proxy crypto -> PrivateKey crypto -> VRFSigningKey crypto
getVRFVerificationKey :: Proxy crypto -> PublicKey crypto -> VRFVerificationKey crypto
mkVRFElectionInput :: Nonce -> ElectionId crypto -> VRFElectionInput crypto
evalVRF :: VRFPoolContext crypto -> VRFElectionInput crypto -> Either String (VRFOutput crypto)
normalizeVRFOutput :: VRFOutput crypto -> NormalizedVRFOutput

Instances1CryptoSupportsVRF

CryptoSupportsVRF PerasBLSCryptoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Peras.Crypto.BLS

classclass CryptoSupportsVoteSigning crypto where

Associated types

type family VoteSigningKey crypto
type family VoteVerificationKey crypto
data family VoteSignature crypto

Methods

getVoteSigningKey :: Proxy crypto -> PrivateKey crypto -> VoteSigningKey crypto
getVoteVerificationKey :: Proxy crypto -> PublicKey crypto -> VoteVerificationKey crypto
signVote :: VoteSigningKey crypto -> ElectionId crypto -> VoteCandidate crypto -> VoteSignature crypto
verifyVoteSignature :: VoteVerificationKey crypto -> ElectionId crypto -> VoteCandidate crypto -> VoteSignature crypto -> Either String ()

Instances1CryptoSupportsVoteSigning

CryptoSupportsVoteSigning PerasBLSCryptoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Peras.Crypto.BLS

familytype family ElectionId crypto

Instances1ElectionId

type ElectionId PerasBLSCrypto = PerasRoundNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Peras.Crypto.BLS

newtypenewtype NormalizedVRFOutput

Constructors

NormalizedVRFOutput
- unNormalizedVRFOutput :: Rational

Instances2Eq, Show

Eq NormalizedVRFOutputDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.Crypto
Show NormalizedVRFOutputDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Committee.Crypto

familytype family PrivateKey crypto

Instances1PrivateKey

type PrivateKey PerasBLSCrypto = PerasPrivateKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Peras.Crypto.BLS

familytype family PublicKey crypto

Instances1PublicKey

type PublicKey PerasBLSCrypto = PerasPublicKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Peras.Crypto.BLS

datadata VRFPoolContext crypto

Constructors

VRFSignContext (VRFSigningKey crypto)
VRFVerifyContext (VRFVerificationKey crypto) (VRFOutput crypto)

familytype family VoteCandidate crypto

Instances1VoteCandidate

type VoteCandidate PerasBLSCrypto = PerasBoostedBlockDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Peras.Crypto.BLS