Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Protocol.PBFT.Crypto

Synopsis

class (Typeable c, DSIGNAlgorithm (PBftDSIGN c), Condense (SigDSIGN (PBftDSIGN c)), Show (PBftVerKeyHash c), Ord (PBftVerKeyHash c), Eq (PBftVerKeyHash c), Show (PBftVerKeyHash c), NoThunks (PBftVerKeyHash c), NoThunks (PBftDelegationCert c)) ⇒ PBftCrypto c where
- type PBftDSIGN c ∷ Type
- type PBftDelegationCert c = (d ∷ Type) | d → c
- type PBftVerKeyHash c = (d ∷ Type) | d → c
- dlgCertGenVerKey ∷ PBftDelegationCert c → VerKeyDSIGN (PBftDSIGN c)
- dlgCertDlgVerKey ∷ PBftDelegationCert c → VerKeyDSIGN (PBftDSIGN c)
- hashVerKey ∷ VerKeyDSIGN (PBftDSIGN c) → PBftVerKeyHash c
data PBftMockCrypto
newtype PBftMockVerKeyHash = PBftMockVerKeyHash {
- getPBftMockVerKeyHash ∷ VerKeyDSIGN MockDSIGN
}

Documentation

class (Typeable c, DSIGNAlgorithm (PBftDSIGN c), Condense (SigDSIGN (PBftDSIGN c)), Show (PBftVerKeyHash c), Ord (PBftVerKeyHash c), Eq (PBftVerKeyHash c), Show (PBftVerKeyHash c), NoThunks (PBftVerKeyHash c), NoThunks (PBftDelegationCert c)) ⇒ PBftCrypto c where Source #

Crypto primitives required by BFT

Cardano stores a map of stakeholder IDs rather than the verification key directly. We make this family injective for convenience - whilst it's _possible_ that there could be non-injective instances, the chances of there being more than the two instances here are basically non-existent.

Associated Types

type PBftDSIGN c ∷ Type Source #

type PBftDelegationCert c = (d ∷ Type) | d → c Source #

type PBftVerKeyHash c = (d ∷ Type) | d → c Source #

Methods

dlgCertGenVerKey ∷ PBftDelegationCert c → VerKeyDSIGN (PBftDSIGN c) Source #

dlgCertDlgVerKey ∷ PBftDelegationCert c → VerKeyDSIGN (PBftDSIGN c) Source #

hashVerKey ∷ VerKeyDSIGN (PBftDSIGN c) → PBftVerKeyHash c Source #

Instances

Instances details

PBftCrypto PBftMockCrypto Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT.Crypto

Associated Types

type PBftDSIGN PBftMockCrypto Source #

type PBftDelegationCert PBftMockCrypto = (d ∷ Type) Source #

type PBftVerKeyHash PBftMockCrypto = (d ∷ Type) Source #

data PBftMockCrypto Source #

Instances

Instances details

PBftCrypto PBftMockCrypto Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT.Crypto Associated Types type PBftDSIGN PBftMockCrypto Source # type PBftDelegationCert PBftMockCrypto = (d ∷ Type) Source # type PBftVerKeyHash PBftMockCrypto = (d ∷ Type) Source # Methods dlgCertGenVerKey ∷ PBftDelegationCert PBftMockCrypto → VerKeyDSIGN (PBftDSIGN PBftMockCrypto) Source # dlgCertDlgVerKey ∷ PBftDelegationCert PBftMockCrypto → VerKeyDSIGN (PBftDSIGN PBftMockCrypto) Source # hashVerKey ∷ VerKeyDSIGN (PBftDSIGN PBftMockCrypto) → PBftVerKeyHash PBftMockCrypto Source #
type PBftDSIGN PBftMockCrypto Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT.Crypto type PBftDSIGN PBftMockCrypto = MockDSIGN
type PBftDelegationCert PBftMockCrypto Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT.Crypto type PBftDelegationCert PBftMockCrypto = (VerKeyDSIGN MockDSIGN, VerKeyDSIGN MockDSIGN)
type PBftVerKeyHash PBftMockCrypto Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT.Crypto type PBftVerKeyHash PBftMockCrypto = PBftMockVerKeyHash

newtype PBftMockVerKeyHash Source #

We don't hash and just use the underlying Word64.

Constructors

PBftMockVerKeyHash
Fields getPBftMockVerKeyHash ∷ VerKeyDSIGN MockDSIGN

Instances

Instances details

Generic PBftMockVerKeyHash Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT.Crypto Associated Types type Rep PBftMockVerKeyHash ∷ Type → Type # Methods from ∷ PBftMockVerKeyHash → Rep PBftMockVerKeyHash x # to ∷ Rep PBftMockVerKeyHash x → PBftMockVerKeyHash #
Show PBftMockVerKeyHash Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT.Crypto Methods showsPrec ∷ Int → PBftMockVerKeyHash → ShowS # show ∷ PBftMockVerKeyHash → String # showList ∷ [PBftMockVerKeyHash] → ShowS #
Eq PBftMockVerKeyHash Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT.Crypto Methods (==) ∷ PBftMockVerKeyHash → PBftMockVerKeyHash → Bool # (/=) ∷ PBftMockVerKeyHash → PBftMockVerKeyHash → Bool #
Ord PBftMockVerKeyHash Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT.Crypto Methods compare ∷ PBftMockVerKeyHash → PBftMockVerKeyHash → Ordering # (<) ∷ PBftMockVerKeyHash → PBftMockVerKeyHash → Bool # (<=) ∷ PBftMockVerKeyHash → PBftMockVerKeyHash → Bool # (>) ∷ PBftMockVerKeyHash → PBftMockVerKeyHash → Bool # (>=) ∷ PBftMockVerKeyHash → PBftMockVerKeyHash → Bool # max ∷ PBftMockVerKeyHash → PBftMockVerKeyHash → PBftMockVerKeyHash # min ∷ PBftMockVerKeyHash → PBftMockVerKeyHash → PBftMockVerKeyHash #
NoThunks PBftMockVerKeyHash Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT.Crypto Methods noThunks ∷ Context → PBftMockVerKeyHash → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PBftMockVerKeyHash → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PBftMockVerKeyHash → String Source #
Serialise PBftMockVerKeyHash Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT.Crypto Methods encode ∷ PBftMockVerKeyHash → Encoding Source # decode ∷ Decoder s PBftMockVerKeyHash Source # encodeList ∷ [PBftMockVerKeyHash] → Encoding Source # decodeList ∷ Decoder s [PBftMockVerKeyHash] Source #
type Rep PBftMockVerKeyHash Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT.Crypto type Rep PBftMockVerKeyHash = D1 ('MetaData "PBftMockVerKeyHash" "Ouroboros.Consensus.Protocol.PBFT.Crypto" "ouroboros-consensus-0.21.0.0-inplace" 'True) (C1 ('MetaCons "PBftMockVerKeyHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPBftMockVerKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN MockDSIGN))))