Safe Haskell	None
Language	Haskell2010

Test.Consensus.Committee.TestCrypto

Contents

Test crypto based on BLS signatures
QuickCheck helpers
Smoke test properties

Description

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

Synopsis

data TestCrypto
data family VoteSignature crypto
data family VRFElectionInput crypto
data family VRFOutput crypto
genElectionId ∷ Gen (ElectionId TestCrypto)
genVoteCandidate ∷ Gen (VoteCandidate TestCrypto)
genKeyPair ∷ Gen (PrivateKey TestCrypto, PublicKey TestCrypto)
prop_SignAndVerifyVote ∷ Property
prop_SignAndVerifyAggregateVote ∷ Property
prop_EvalAndVerifyVRFOutput ∷ Property
prop_EvalAndVerifyAggregateVRFOutput ∷ Property
tests ∷ TestTree

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

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 { unTestVRFElectionInput ∷ Hash HASH (SigDSIGN BLS12381MinSigDSIGN) }
newtype VRFOutput TestCrypto
Instance details Defined in Test.Consensus.Committee.TestCrypto newtype VRFOutput TestCrypto = TestVRFOutput { unTestVRFOutput ∷ Signature 'VRF }

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 { unTestVoteSignature ∷ Signature 'SIGN }

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 {

unTestVRFElectionInput ∷ Hash HASH (SigDSIGN BLS12381MinSigDSIGN)

}

newtype VRFOutput TestCrypto Source #

Instance details

Defined in Test.Consensus.Committee.TestCrypto

newtype VRFOutput TestCrypto = TestVRFOutput {

unTestVRFOutput ∷ Signature 'VRF

}

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 {

unTestVoteSignature ∷ Signature 'SIGN

}

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 #
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 #
newtype VoteSignature PerasBLSCrypto Source #
Instance details Defined in Ouroboros.Consensus.Peras.Crypto.BLS newtype VoteSignature PerasBLSCrypto = PerasBLSCryptoVoteSignature { unPerasBLSCryptoVoteSignature ∷ Signature 'SIGN }
newtype VoteSignature TestCrypto Source #
Instance details Defined in Test.Consensus.Committee.TestCrypto newtype VoteSignature TestCrypto = TestVoteSignature { unTestVoteSignature ∷ Signature 'SIGN }

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 { unPerasBLSCryptoVRFElectionInput ∷ Hash HASH (SigDSIGN BLS12381MinSigDSIGN) }
newtype VRFElectionInput TestCrypto Source #
Instance details Defined in Test.Consensus.Committee.TestCrypto newtype VRFElectionInput TestCrypto = TestVRFElectionInput { unTestVRFElectionInput ∷ Hash HASH (SigDSIGN BLS12381MinSigDSIGN) }

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 #
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 #
newtype VRFOutput PerasBLSCrypto Source #
Instance details Defined in Ouroboros.Consensus.Peras.Crypto.BLS newtype VRFOutput PerasBLSCrypto = PerasBLSCryptoVRFOutput { unPerasBLSCryptoVRFOutput ∷ Signature 'VRF }
newtype VRFOutput TestCrypto Source #
Instance details Defined in Test.Consensus.Committee.TestCrypto newtype VRFOutput TestCrypto = TestVRFOutput { unTestVRFOutput ∷ 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 #