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
- = LegacyShelleyTentativeHeaderState !(SelectViewTentativeState proto)
- | ShelleyTentativeHeaderState !(WithOrigin BlockNo) !(Set (HotIdentity (ProtoCrypto proto)))
data ShelleyTentativeHeaderView proto
- = LegacyShelleyTentativeHeaderView (SelectView 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.16.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

LegacyShelleyTentativeHeaderState !(SelectViewTentativeState proto)	Legacy state, can be removed once mainnet is in Conway.
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 `TentativeHeaderState`s 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 #
ConsensusProtocol 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 #
ConsensusProtocol proto ⇒ Eq (ShelleyTentativeHeaderState proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining Methods (==) ∷ ShelleyTentativeHeaderState proto → ShelleyTentativeHeaderState proto → Bool # (/=) ∷ ShelleyTentativeHeaderState proto → ShelleyTentativeHeaderState proto → Bool #
ConsensusProtocol proto ⇒ 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.16.0.0-inplace" 'False) (C1 ('MetaCons "LegacyShelleyTentativeHeaderState" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SelectViewTentativeState proto))) :+: 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

LegacyShelleyTentativeHeaderView (SelectView proto)	Legacy state, can be removed once mainnet is in Conway.
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 #

This is currently a hybrid instance:

For eras before Conway, this uses the logic from SelectViewDiffusionPipelining for backwards-compatibility.
For all eras since Conway, this uses a new scheme: 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.

Once mainnet has transitioned to Conway, we can remove the pre-Conway logic here.

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 #