ouroboros-consensus-cardano-0.16.0.0: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ouroboros.Consensus.Byron.Ledger.Integrity

Synopsis

Documentation

verifyBlockIntegrityBlockConfig ByronBlockByronBlockBool Source #

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

This function will always return True for an EBB, as we cannot check anything for an EBB.

verifyHeaderIntegrityBlockConfig ByronBlockHeader ByronBlockBool Source #

Verify whether a header is not corrupted.

The difference with verifyHeaderSignature is that this function also checks the integrity of the headerProtocolMagicId field, which is the only field of a regular header that is not signed.

Note that we cannot check this for an EBB, as an EBB contains no signature. This function will always return True for an EBB.

verifyHeaderSignatureBlockConfig ByronBlockHeader ByronBlockBool Source #

Verify whether a header matches its signature.

Note that we cannot check this for an EBB, as an EBB contains no signature. This function will always return True for an EBB.