| Validated | Ouroboros.Consensus.Byron.Ledger.Mempool, Ouroboros.Consensus.Byron.Ledger, Ouroboros.Consensus.Shelley.Ledger.Mempool, Ouroboros.Consensus.Shelley.Ledger |
| ValidatedByronTx | Ouroboros.Consensus.Byron.Ledger.Mempool, Ouroboros.Consensus.Byron.Ledger |
| validateGenesis | Ouroboros.Consensus.Shelley.Node.TPraos, Ouroboros.Consensus.Shelley.Node, Ouroboros.Consensus.Cardano |
| validationErrorImpossible | Ouroboros.Consensus.Byron.Ledger.Ledger, Ouroboros.Consensus.Byron.Ledger |
| verifyBlockIntegrity | |
| 1 (Function) | Ouroboros.Consensus.Byron.Ledger.Integrity, Ouroboros.Consensus.Byron.Ledger |
| 2 (Function) | Ouroboros.Consensus.Shelley.Ledger.Integrity, Ouroboros.Consensus.Shelley.Ledger |
| verifyHeaderIntegrity | |
| 1 (Function) | Ouroboros.Consensus.Byron.Ledger.Integrity, Ouroboros.Consensus.Byron.Ledger |
| 2 (Function) | Ouroboros.Consensus.Shelley.Protocol.Abstract, Ouroboros.Consensus.Shelley.Ledger.Integrity, Ouroboros.Consensus.Shelley.Ledger |
| verifyHeaderSignature | Ouroboros.Consensus.Byron.Ledger.Integrity, Ouroboros.Consensus.Byron.Ledger |
| VerKeyByronDSIGN | Ouroboros.Consensus.Byron.Crypto.DSIGN |
| VerKeyDSIGN | Ouroboros.Consensus.Byron.Crypto.DSIGN |