ouroboros-consensus-diffusion-0.22.0.1: Integration for the Ouroboros Network layer
Safe HaskellNone
LanguageHaskell2010

Test.ThreadNet.Rekeying

Synopsis

Documentation

data Rekeying (m ∷ Type → Type) blk Source #

Functionality used by test node in order to update its operational key

This is the conceptual interface demanded from the test-specific logic. It is used to define tnaRekeyM, which the test infrastructure invokes per the NodeRestarts schedule.

Constructors

Rekeying 

Fields

  • rekeyOracle ∷ CoreNodeId → SlotNo → Maybe SlotNo

    The first nominal slot after the given slot, assuming the given core node cannot lead.

    IE the first slot that will result in a block successfully being forged and diffused (eg no PBftExceededSignThreshold).

  • rekeyUpd ∷ CoreNodeId → ProtocolInfo blk → m [BlockForging m blk] → EpochNo → opKey → m (Maybe (TestNodeInitialization m blk))

    new config and any corresponding delegation certificate transactions

    The given epoch contains the first nominal slot whose block will include the redelegation certificate transaction.

    The TestNodeInitialization includes the new ProtocolInfo used when the node completes restarting.

  • rekeyFreshSKs ∷ Stream opKey

    a stream that only repeats itself after an *effectively* *infinite* number of iterations and also never includes an operational key from the genesis configuration

fromRekeyingToRekeyM ∷ IOLike m ⇒ Rekeying m blk → m (RekeyM m blk) Source #