Safe Haskell	None
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 #

Methods

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

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

hashVerKey ∷ VerKeyDSIGN (PBftDSIGN PBftMockCrypto) → PBftVerKeyHash PBftMockCrypto 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

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