cardano-ledger-shelley-test-1.4.0.3: Test helpers from cardano-ledger-shelley exposed to other packages
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.Examples.Federation

Description

The genesis/core nodes for Shelley Ledger Examples.

Synopsis

Documentation

numCoreNodesWord64 Source #

Number of Core Node

coreNodeSK ∷ ∀ c. Crypto c ⇒ IntSignKeyDSIGN c Source #

coreNodeVK ∷ ∀ c. Crypto c ⇒ IntVKey 'Genesis c Source #

Verification (Public) Keys

Retrieve the verification key for a core node by providing a number in the range [0, ... (numCoreNodes-1)].

coreNodeIssuerKeys ∷ ∀ c. Crypto c ⇒ IntAllIssuerKeys c 'GenesisDelegate Source #

Block Issuer Keys

Retrieve the block issuer keys (cold, VRF, and hot KES keys) for a core node by providing a number in the range [0, ... (numCoreNodes-1)].

coreNodeKeysBySchedule ∷ ∀ era. (HasCallStack, EraPParams era) ⇒ PParams era → Word64AllIssuerKeys (EraCrypto era) 'GenesisDelegate Source #

Keys by Overlay Schedule

Retrieve all the keys associated with a core node for a given slot and protocol parameters. It will return an error if there is not a core node scheduled for the given slot.

genDelegs ∷ ∀ c. Crypto c ⇒ Map (KeyHash 'Genesis c) (GenDelegPair c) Source #

Genesis Delegation Mapping

The map from genesis/core node (verification) key hashes to their delegate's (verification) key hash.