ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Test.Consensus.Committee.TestCrypto

Description

Test crypto for voting committee tests, based on BLS signatures.

Synopsis

Test crypto based on BLS signatures

data TestCrypto Source #

Instances

Instances details
CryptoSupportsAggregateVoteSigning TestCrypto Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

Associated Types

type AggregateVoteVerificationKey TestCrypto 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

type AggregateVoteVerificationKey TestCrypto = VoteVerificationKey TestCrypto
type AggregateVoteSignature TestCrypto 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

type AggregateVoteSignature TestCrypto = VoteSignature TestCrypto

Methods

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

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

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

CryptoSupportsBatchVRFVerification TestCrypto Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

Methods

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

CryptoSupportsVRF TestCrypto Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

Associated Types

type VRFSigningKey TestCrypto 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

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

Defined in Test.Consensus.Committee.TestCrypto

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

Defined in Test.Consensus.Committee.TestCrypto

newtype VRFElectionInput TestCrypto = TestVRFElectionInput {}
newtype VRFOutput TestCrypto 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

newtype VRFOutput TestCrypto = TestVRFOutput {}

Methods

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

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

mkVRFElectionInput ∷ Nonce → ElectionId TestCrypto → VRFElectionInput TestCrypto Source #

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

normalizeVRFOutput ∷ VRFOutput TestCrypto → NormalizedVRFOutput Source #

CryptoSupportsVoteSigning TestCrypto Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

Associated Types

type VoteSigningKey TestCrypto 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

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

Defined in Test.Consensus.Committee.TestCrypto

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

Defined in Test.Consensus.Committee.TestCrypto

newtype VoteSignature TestCrypto = TestVoteSignature {}

Methods

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

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

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

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

Eq (VRFElectionInput TestCrypto) Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

Methods

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

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

Eq (VRFOutput TestCrypto) Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

Methods

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

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

Eq (VoteSignature TestCrypto) Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

Methods

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

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

Show (VRFElectionInput TestCrypto) Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

Methods

showsPrec ∷ Int → VRFElectionInput TestCrypto → ShowS #

show ∷ VRFElectionInput TestCrypto → String #

showList ∷ [VRFElectionInput TestCrypto] → ShowS #

Show (VRFOutput TestCrypto) Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

Methods

showsPrec ∷ Int → VRFOutput TestCrypto → ShowS #

show ∷ VRFOutput TestCrypto → String #

showList ∷ [VRFOutput TestCrypto] → ShowS #

Show (VoteSignature TestCrypto) Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

Methods

showsPrec ∷ Int → VoteSignature TestCrypto → ShowS #

show ∷ VoteSignature TestCrypto → String #

showList ∷ [VoteSignature TestCrypto] → ShowS #

type AggregateVoteSignature TestCrypto Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

type AggregateVoteSignature TestCrypto = VoteSignature TestCrypto
type AggregateVoteVerificationKey TestCrypto Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

type AggregateVoteVerificationKey TestCrypto = VoteVerificationKey TestCrypto
type ElectionId TestCrypto Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

type ElectionId TestCrypto = Word64
type PrivateKey TestCrypto Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

type PrivateKey TestCrypto = (PrivateKey 'SIGN, PrivateKey 'VRF)
type PublicKey TestCrypto Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

type PublicKey TestCrypto = (PublicKey 'SIGN, PublicKey 'VRF)
newtype VRFElectionInput TestCrypto Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

newtype VRFElectionInput TestCrypto = TestVRFElectionInput {}
newtype VRFOutput TestCrypto Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

newtype VRFOutput TestCrypto = TestVRFOutput {}
type VRFSigningKey TestCrypto Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

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

Defined in Test.Consensus.Committee.TestCrypto

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

Defined in Test.Consensus.Committee.TestCrypto

type VoteCandidate TestCrypto = ByteString
newtype VoteSignature TestCrypto Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

newtype VoteSignature TestCrypto = TestVoteSignature {}
type VoteSigningKey TestCrypto Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

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

Defined in Test.Consensus.Committee.TestCrypto

type VoteVerificationKey TestCrypto = PublicKey 'SIGN

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 #

Eq (VoteSignature TestCrypto) Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

Methods

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

(/=) ∷ VoteSignature TestCrypto → VoteSignature TestCrypto → 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 #

Show (VoteSignature TestCrypto) Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

Methods

showsPrec ∷ Int → VoteSignature TestCrypto → ShowS #

show ∷ VoteSignature TestCrypto → String #

showList ∷ [VoteSignature TestCrypto] → 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 {}
newtype VoteSignature TestCrypto Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

newtype VoteSignature TestCrypto = TestVoteSignature {}
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 VoteSignature (MockPerasCrypto blk) # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

data VoteSignature (MockPerasCrypto blk) = MockVoteSignature

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 #

Eq (VRFElectionInput TestCrypto) Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

Methods

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

(/=) ∷ VRFElectionInput TestCrypto → VRFElectionInput TestCrypto → 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 #

Show (VRFElectionInput TestCrypto) Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

Methods

showsPrec ∷ Int → VRFElectionInput TestCrypto → ShowS #

show ∷ VRFElectionInput TestCrypto → String #

showList ∷ [VRFElectionInput TestCrypto] → ShowS #

newtype VRFElectionInput PerasBLSCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.BLS

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

Defined in Test.Consensus.Committee.TestCrypto

newtype VRFElectionInput TestCrypto = TestVRFElectionInput {}

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 #

Eq (VRFOutput TestCrypto) Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

Methods

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

(/=) ∷ VRFOutput TestCrypto → VRFOutput TestCrypto → 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 #

Show (VRFOutput TestCrypto) Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

Methods

showsPrec ∷ Int → VRFOutput TestCrypto → ShowS #

show ∷ VRFOutput TestCrypto → String #

showList ∷ [VRFOutput TestCrypto] → 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 {}
newtype VRFOutput TestCrypto Source # 
Instance details

Defined in Test.Consensus.Committee.TestCrypto

newtype VRFOutput TestCrypto = TestVRFOutput {}
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))))

QuickCheck helpers

genElectionId ∷ Gen (ElectionId TestCrypto) Source #

genVoteCandidate ∷ Gen (VoteCandidate TestCrypto) Source #

genKeyPair ∷ Gen (PrivateKey TestCrypto, PublicKey TestCrypto) Source #

Smoke test properties

prop_SignAndVerifyVote ∷ Property Source #

Round trip test for vote signatures

prop_SignAndVerifyAggregateVote ∷ Property Source #

Round trip test for aggregate vote signatures

prop_EvalAndVerifyVRFOutput ∷ Property Source #

Round trip test for VRF evaluation

prop_EvalAndVerifyAggregateVRFOutput ∷ Property Source #

Round trip test for aggregate VRF evaluation

tests ∷ TestTree Source #