| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Examples.Federation
Description
The genesis/core nodes for Shelley Ledger Examples.
Synopsis
- numCoreNodes ∷ Word64
- coreNodeSK ∷ ∀ c. Crypto c ⇒ Int → SignKeyDSIGN c
- coreNodeVK ∷ ∀ c. Crypto c ⇒ Int → VKey 'Genesis c
- coreNodeIssuerKeys ∷ ∀ c. Crypto c ⇒ Int → AllIssuerKeys c 'GenesisDelegate
- coreNodeKeysBySchedule ∷ ∀ era. (HasCallStack, EraPParams era) ⇒ PParams era → Word64 → AllIssuerKeys (EraCrypto era) 'GenesisDelegate
- genDelegs ∷ ∀ c. Crypto c ⇒ Map (KeyHash 'Genesis c) (GenDelegPair c)
Documentation
numCoreNodes ∷ Word64 Source #
Number of Core Node
coreNodeSK ∷ ∀ c. Crypto c ⇒ Int → SignKeyDSIGN c Source #
coreNodeVK ∷ ∀ c. Crypto c ⇒ Int → VKey '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 ⇒ Int → AllIssuerKeys 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 → Word64 → AllIssuerKeys (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.