Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Shelley.Node.DiffusionPipelining

Contents

Orphan instances

Synopsis

data HotIdentity c = HotIdentity {
- hiIssuer ∷ !(KeyHash BlockIssuer c)
- hiIssueNo ∷ !Word64
}
data ShelleyTentativeHeaderState proto = ShelleyTentativeHeaderState !(WithOrigin BlockNo) !(Set (HotIdentity (ProtoCrypto proto)))
data ShelleyTentativeHeaderView proto = ShelleyTentativeHeaderView BlockNo (HotIdentity (ProtoCrypto proto))

Documentation

data HotIdentity c Source #

Hot block issuer identity for the purpose of Shelley block diffusion pipelining.

Constructors

HotIdentity
Fields hiIssuer ∷ !(KeyHash BlockIssuer c) Hash of the cold key. hiIssueNo ∷ !Word64 The issue number/opcert counter. Even if the opcert was compromised and hence an attacker forges blocks with a specific cold identity, the owner of the cold key can issue a new opcert with an incremented counter, and their minted blocks will be pipelined.

Instances

Instances details

Generic (HotIdentity c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining Associated Types type Rep (HotIdentity c) ∷ Type → Type # Methods from ∷ HotIdentity c → Rep (HotIdentity c) x # to ∷ Rep (HotIdentity c) x → HotIdentity c #
Show (HotIdentity c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining Methods showsPrec ∷ Int → HotIdentity c → ShowS # show ∷ HotIdentity c → String # showList ∷ [HotIdentity c] → ShowS #
Eq (HotIdentity c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining Methods (==) ∷ HotIdentity c → HotIdentity c → Bool # (/=) ∷ HotIdentity c → HotIdentity c → Bool #
Ord (HotIdentity c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining Methods compare ∷ HotIdentity c → HotIdentity c → Ordering # (<) ∷ HotIdentity c → HotIdentity c → Bool # (<=) ∷ HotIdentity c → HotIdentity c → Bool # (>) ∷ HotIdentity c → HotIdentity c → Bool # (>=) ∷ HotIdentity c → HotIdentity c → Bool # max ∷ HotIdentity c → HotIdentity c → HotIdentity c # min ∷ HotIdentity c → HotIdentity c → HotIdentity c #
NoThunks (HotIdentity c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining Methods noThunks ∷ Context → HotIdentity c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HotIdentity c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HotIdentity c) → String Source #
type Rep (HotIdentity c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining type Rep (HotIdentity c) = D1 ('MetaData "HotIdentity" "Ouroboros.Consensus.Shelley.Node.DiffusionPipelining" "ouroboros-consensus-cardano-0.20.0.0-inplace" 'False) (C1 ('MetaCons "HotIdentity" 'PrefixI 'True) (S1 ('MetaSel ('Just "hiIssuer") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'BlockIssuer c)) :*: S1 ('MetaSel ('Just "hiIssueNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)))

data ShelleyTentativeHeaderState proto Source #

Constructors

ShelleyTentativeHeaderState

Fields

!(WithOrigin BlockNo)
The block number of the last trap tentative header.
!(Set (HotIdentity (ProtoCrypto proto)))
The set of all hot identies of those who issued trap tentative headers for the recorded block number.
Remember that TentativeHeaderStates are maintained in different contexts, and we might record different identities per block number in them:
- In ChainSel, we record all identities of trap headers we sent.
- In the BlockFetch punishment logic, for each upstream peer, we record the identities of trap headers they sent.

Instances

Instances details

Generic (ShelleyTentativeHeaderState proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining Associated Types type Rep (ShelleyTentativeHeaderState proto) ∷ Type → Type # Methods from ∷ ShelleyTentativeHeaderState proto → Rep (ShelleyTentativeHeaderState proto) x # to ∷ Rep (ShelleyTentativeHeaderState proto) x → ShelleyTentativeHeaderState proto #
Show (ShelleyTentativeHeaderState proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining Methods showsPrec ∷ Int → ShelleyTentativeHeaderState proto → ShowS # show ∷ ShelleyTentativeHeaderState proto → String # showList ∷ [ShelleyTentativeHeaderState proto] → ShowS #
Eq (ShelleyTentativeHeaderState proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining Methods (==) ∷ ShelleyTentativeHeaderState proto → ShelleyTentativeHeaderState proto → Bool # (/=) ∷ ShelleyTentativeHeaderState proto → ShelleyTentativeHeaderState proto → Bool #
NoThunks (ShelleyTentativeHeaderState proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining Methods noThunks ∷ Context → ShelleyTentativeHeaderState proto → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTentativeHeaderState proto → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTentativeHeaderState proto) → String Source #
type Rep (ShelleyTentativeHeaderState proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining type Rep (ShelleyTentativeHeaderState proto) = D1 ('MetaData "ShelleyTentativeHeaderState" "Ouroboros.Consensus.Shelley.Node.DiffusionPipelining" "ouroboros-consensus-cardano-0.20.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyTentativeHeaderState" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin BlockNo)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (HotIdentity (ProtoCrypto proto))))))

data ShelleyTentativeHeaderView proto Source #

Constructors

ShelleyTentativeHeaderView BlockNo (HotIdentity (ProtoCrypto proto))

Instances

Instances details

ConsensusProtocol proto ⇒ Show (ShelleyTentativeHeaderView proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining Methods showsPrec ∷ Int → ShelleyTentativeHeaderView proto → ShowS # show ∷ ShelleyTentativeHeaderView proto → String # showList ∷ [ShelleyTentativeHeaderView proto] → ShowS #
ConsensusProtocol proto ⇒ Eq (ShelleyTentativeHeaderView proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining Methods (==) ∷ ShelleyTentativeHeaderView proto → ShelleyTentativeHeaderView proto → Bool # (/=) ∷ ShelleyTentativeHeaderView proto → ShelleyTentativeHeaderView proto → Bool #

Orphan instances

(ShelleyCompatible proto era, BlockSupportsProtocol (ShelleyBlock proto era)) ⇒ BlockSupportsDiffusionPipelining (ShelleyBlock proto era) Source #

A header can be pipelined iff no trap header with the same block number and by the same issuer was pipelined before. See HotIdentity for what exactly we use for the issuer identity.

Instance details

Associated Types

type TentativeHeaderState (ShelleyBlock proto era) Source #

type TentativeHeaderView (ShelleyBlock proto era) Source #

Methods

initialTentativeHeaderState ∷ Proxy (ShelleyBlock proto era) → TentativeHeaderState (ShelleyBlock proto era) Source #

tentativeHeaderView ∷ BlockConfig (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → TentativeHeaderView (ShelleyBlock proto era) Source #

applyTentativeHeaderView ∷ Proxy (ShelleyBlock proto era) → TentativeHeaderView (ShelleyBlock proto era) → TentativeHeaderState (ShelleyBlock proto era) → Maybe (TentativeHeaderState (ShelleyBlock proto era)) Source #