Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Protocol.TPraos.Create

Synopsis

data AllIssuerKeys v (r ∷ KeyRole) = AllIssuerKeys {
- aikCold ∷ KeyPair r v
- aikVrf ∷ VRFKeyPair v
- aikHot ∷ NonEmpty (KESPeriod, KESKeyPair v)
- aikColdKeyHash ∷ KeyHash r v
}
data KESKeyPair c = KESKeyPair {
- kesSignKey ∷ !(SignKeyKES c)
- kesVerKey ∷ !(VerKeyKES c)
}
data VRFKeyPair c = VRFKeyPair {
- vrfSignKey ∷ !(SignKeyVRF c)
- vrfVerKey ∷ !(VerKeyVRF c)
}
mkOCert ∷ ∀ c r. (Crypto c, Signable (DSIGN c) (OCertSignable c)) ⇒ AllIssuerKeys c r → Word64 → KESPeriod → OCert c
mkBHBody ∷ (ContextVRF (VRF v) ~ (), Signable (VRF v) Seed, VRFAlgorithm (VRF v)) ⇒ ProtVer → HashHeader v → AllIssuerKeys v r → SlotNo → BlockNo → Nonce → OCert v → Word32 → Hash v EraIndependentBlockBody → BHBody v
mkBHBodyFakeVRF ∷ (ContextVRF (VRF v) ~ (), Signable (VRF v) (WithResult Seed), VRFAlgorithm (VRF v)) ⇒ NatNonce → UnitInterval → ProtVer → HashHeader v → AllIssuerKeys v r → SlotNo → BlockNo → Nonce → OCert v → Word32 → Hash v EraIndependentBlockBody → BHBody v
mkBHeader ∷ (Crypto c, Signable (KES c) (BHBody c)) ⇒ AllIssuerKeys c r → Word → Word → BHBody c → BHeader c
mkBlock ∷ ∀ era r. (EraSegWits era, Signable (VRF (EraCrypto era)) Seed, Signable (KES (EraCrypto era)) (BHBody (EraCrypto era))) ⇒ HashHeader (EraCrypto era) → AllIssuerKeys (EraCrypto era) r → [Tx era] → SlotNo → BlockNo → Nonce → Word → Word → OCert (EraCrypto era) → Block (BHeader (EraCrypto era)) era
mkBlockFakeVRF ∷ ∀ era r. (EraSegWits era, Signable (VRF (EraCrypto era)) (WithResult Seed), Signable (KES (EraCrypto era)) (BHBody (EraCrypto era))) ⇒ HashHeader (EraCrypto era) → AllIssuerKeys (EraCrypto era) r → [Tx era] → SlotNo → BlockNo → Nonce → NatNonce → UnitInterval → Word → Word → OCert (EraCrypto era) → Block (BHeader (EraCrypto era)) era
evolveKESUntil ∷ (KESAlgorithm v, ContextKES v ~ ()) ⇒ SignKeyKES v → KESPeriod → KESPeriod → Maybe (SignKeyKES v)

Documentation

data AllIssuerKeys v (r ∷ KeyRole) Source #

Constructors

AllIssuerKeys
Fields aikCold ∷ KeyPair r v aikVrf ∷ VRFKeyPair v aikHot ∷ NonEmpty (KESPeriod, KESKeyPair v) aikColdKeyHash ∷ KeyHash r v

Instances

Instances details

Crypto v ⇒ Show (AllIssuerKeys v r) Source #
Instance details Defined in Test.Cardano.Protocol.TPraos.Create Methods showsPrec ∷ Int → AllIssuerKeys v r → ShowS Source # show ∷ AllIssuerKeys v r → String Source # showList ∷ [AllIssuerKeys v r] → ShowS Source #

data KESKeyPair c Source #

Constructors

KESKeyPair
Fields kesSignKey ∷ !(SignKeyKES c) kesVerKey ∷ !(VerKeyKES c)

Instances

Instances details

(Show (SignKeyKES (KES c)), Show (VerKeyKES (KES c))) ⇒ Show (KESKeyPair c) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.KES Methods showsPrec ∷ Int → KESKeyPair c → ShowS Source # show ∷ KESKeyPair c → String Source # showList ∷ [KESKeyPair c] → ShowS Source #

data VRFKeyPair c Source #

Constructors

VRFKeyPair
Fields vrfSignKey ∷ !(SignKeyVRF c) vrfVerKey ∷ !(VerKeyVRF c)

Instances

Instances details

(Show (SignKeyVRF (VRF c)), Show (VerKeyVRF (VRF c))) ⇒ Show (VRFKeyPair c) Source #
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF Methods showsPrec ∷ Int → VRFKeyPair c → ShowS Source # show ∷ VRFKeyPair c → String Source # showList ∷ [VRFKeyPair c] → ShowS Source #

mkOCert ∷ ∀ c r. (Crypto c, Signable (DSIGN c) (OCertSignable c)) ⇒ AllIssuerKeys c r → Word64 → KESPeriod → OCert c Source #

mkBHBody ∷ (ContextVRF (VRF v) ~ (), Signable (VRF v) Seed, VRFAlgorithm (VRF v)) ⇒ ProtVer → HashHeader v → AllIssuerKeys v r → SlotNo → BlockNo → Nonce → OCert v → Word32 → Hash v EraIndependentBlockBody → BHBody v Source #

mkBHBodyFakeVRF ∷ (ContextVRF (VRF v) ~ (), Signable (VRF v) (WithResult Seed), VRFAlgorithm (VRF v)) ⇒ NatNonce → UnitInterval → ProtVer → HashHeader v → AllIssuerKeys v r → SlotNo → BlockNo → Nonce → OCert v → Word32 → Hash v EraIndependentBlockBody → BHBody v Source #

mkBHeader Source #

Arguments

∷ (Crypto c, Signable (KES c) (BHBody c))
⇒ AllIssuerKeys c r
→ Word
→ Word	KES period of key registration
→ BHBody c
→ BHeader c

mkBlock Source #

Arguments

∷ ∀ era r. (EraSegWits era, Signable (VRF (EraCrypto era)) Seed, Signable (KES (EraCrypto era)) (BHBody (EraCrypto era)))
⇒ HashHeader (EraCrypto era)	Hash of previous block
→ AllIssuerKeys (EraCrypto era) r	All keys in the stake pool
→ [Tx era]	Transactions to record
→ SlotNo	Current slot
→ BlockNo	Block numberchain lengthchain "difficulty"
→ Nonce	EpochNo nonce
→ Word	Period of KES (key evolving signature scheme)
→ Word	KES period of key registration
→ OCert (EraCrypto era)	Operational certificate
→ Block (BHeader (EraCrypto era)) era

mkBlockFakeVRF Source #

Arguments

∷ ∀ era r. (EraSegWits era, Signable (VRF (EraCrypto era)) (WithResult Seed), Signable (KES (EraCrypto era)) (BHBody (EraCrypto era)))
⇒ HashHeader (EraCrypto era)	Hash of previous block
→ AllIssuerKeys (EraCrypto era) r	All keys in the stake pool
→ [Tx era]	Transactions to record
→ SlotNo	Current slot
→ BlockNo	Block number/chain length/chain "difficulty"
→ Nonce	EpochNo nonce
→ NatNonce	Block nonce
→ UnitInterval	Praos leader value
→ Word	Period of KES (key evolving signature scheme)
→ Word	KES period of key registration
→ OCert (EraCrypto era)	Operational certificate
→ Block (BHeader (EraCrypto era)) era

Create a block with a faked VRF result.

evolveKESUntil Source #

Arguments

∷ (KESAlgorithm v, ContextKES v ~ ())
⇒ SignKeyKES v
→ KESPeriod	Current KES period
→ KESPeriod	Target KES period
→ Maybe (SignKeyKES v)

Try to evolve KES key until specific KES period is reached, given the current KES period.