ouroboros-consensus-shelley-0.1.0.0: Shelley ledger integration in the Ouroboros consensus layer
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Shelley.Ledger.Integrity

Synopsis

Documentation

verifyBlockIntegrityShelleyCompatible proto era ⇒ Word64ShelleyBlock proto era → Bool Source #

Verifies whether the block is not corrupted by checking its signature and witnesses.

verifyHeaderIntegrity Source #

Arguments

ProtocolHeaderSupportsKES proto 
Word64

Slots per KES period

ShelleyProtocolHeader proto 
Bool 

Verify that the signature on a header is correct and valid.