| Safe Haskell | None |
|---|---|
| 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.