Ouroboros.Consensus.Shelley.Protocol.TPraos
Contents
Methods
headerSigned ∷ BHeader c → Signed (BHeader c) Source #
Associated Types
type EnvelopeCheckError (TPraos c) Source #
pHeaderHash ∷ ShelleyProtocolHeader (TPraos c) → ShelleyHash (ProtoCrypto (TPraos c)) Source #
pHeaderPrevHash ∷ ShelleyProtocolHeader (TPraos c) → PrevHash (ProtoCrypto (TPraos c)) Source #
pHeaderBodyHash ∷ ShelleyProtocolHeader (TPraos c) → Hash (ProtoCrypto (TPraos c)) EraIndependentBlockBody Source #
pHeaderSlot ∷ ShelleyProtocolHeader (TPraos c) → SlotNo Source #
pHeaderBlock ∷ ShelleyProtocolHeader (TPraos c) → BlockNo Source #
pHeaderSize ∷ ShelleyProtocolHeader (TPraos c) → Natural Source #
pHeaderBlockSize ∷ ShelleyProtocolHeader (TPraos c) → Natural Source #
envelopeChecks ∷ ConsensusConfig (TPraos c) → LedgerView (TPraos c) → ShelleyProtocolHeader (TPraos c) → Except (EnvelopeCheckError (TPraos c)) () Source #
configSlotsPerKESPeriod ∷ ConsensusConfig (TPraos c) → Word64 Source #
verifyHeaderIntegrity ∷ Word64 → ShelleyProtocolHeader (TPraos c) → Bool Source #
mkHeader ∷ (Crypto crypto, Monad m, crypto ~ ProtoCrypto (TPraos c)) ⇒ HotKey crypto m → CanBeLeader (TPraos c) → IsLeader (TPraos c) → SlotNo → BlockNo → PrevHash crypto → Hash crypto EraIndependentBlockBody → Int → ProtVer → m (ShelleyProtocolHeader (TPraos c)) Source #
mkHeaderView ∷ ShelleyProtocolHeader (TPraos c) → BHeaderView (ProtoCrypto (TPraos c)) Source #
type CannotForgeError (TPraos c) Source #
protocolHeaderView ∷ ShelleyProtocolHeader (TPraos c) → ValidateView (TPraos c) Source #
pHeaderIssuer ∷ ShelleyProtocolHeader (TPraos c) → VKey 'BlockIssuer (ProtoCrypto (TPraos c)) Source #
pHeaderIssueNo ∷ ShelleyProtocolHeader (TPraos c) → Word64 Source #
pTieBreakVRFValue ∷ ShelleyProtocolHeader (TPraos c) → OutputVRF (VRF (ProtoCrypto (TPraos c))) Source #