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 #
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.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' True ) ( C1 (' MetaCons "PBftMockVerKeyHash" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "getPBftMockVerKeyHash") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( VerKeyDSIGN MockDSIGN ))))