| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Shelley.Ledger.Integrity
Synopsis
- verifyBlockIntegrity :: ShelleyCompatible proto era => Word64 -> ShelleyBlock proto era -> Bool
- verifyHeaderIntegrity :: ProtocolHeaderSupportsKES proto => Word64 -> ShelleyProtocolHeader proto -> Bool
Documentation
verifyBlockIntegrity :: ShelleyCompatible proto era => Word64 -> ShelleyBlock 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.