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

verifyHeaderIntegrity Source #

Arguments

:: ShelleyBasedEra era 
=> Word64

tpraosSlotsPerKESPeriod

-> Header (ShelleyBlock era) 
-> Bool 

Verify whether a header is not corrupted

verifyBlockIntegrity Source #

Arguments

:: ShelleyBasedEra era 
=> Word64

tpraosSlotsPerKESPeriod

-> ShelleyBlock era 
-> Bool 

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