| verifyCertified | Cardano.Crypto.VRF.Class, Cardano.Crypto.VRF | 
| verifyDSIGN | Cardano.Crypto.DSIGN.Class, Cardano.Crypto.DSIGN | 
| verifyKES | Cardano.Crypto.KES.Class, Cardano.Crypto.KES | 
| verifyOptimizedKES | Cardano.Crypto.KES.Class, Cardano.Crypto.KES | 
| verifySigKES | Cardano.Crypto.KES.Class, Cardano.Crypto.KES | 
| verifySignedDSIGN | Cardano.Crypto.DSIGN.Class, Cardano.Crypto.DSIGN | 
| verifySignedKES | Cardano.Crypto.KES.Class, Cardano.Crypto.KES | 
| verifyVRF | Cardano.Crypto.VRF.Class, Cardano.Crypto.VRF | 
| VerKeyCompactSingleKES | Cardano.Crypto.KES.CompactSingle, Cardano.Crypto.KES | 
| VerKeyCompactSumKES | Cardano.Crypto.KES.CompactSum, Cardano.Crypto.KES | 
| VerKeyDSIGN | Cardano.Crypto.DSIGN.Class, Cardano.Crypto.DSIGN.NeverUsed, Cardano.Crypto.DSIGN.Ed448, Cardano.Crypto.DSIGN.EcdsaSecp256k1, Cardano.Crypto.DSIGN.Mock, Cardano.Crypto.DSIGN.SchnorrSecp256k1, Cardano.Crypto.DSIGN.Ed25519, Cardano.Crypto.DSIGN, Cardano.Crypto.DSIGN | 
| VerKeyEcdsaSecp256k1 | Cardano.Crypto.DSIGN.EcdsaSecp256k1, Cardano.Crypto.DSIGN | 
| VerKeyEd25519DSIGN | Cardano.Crypto.DSIGN.Ed25519, Cardano.Crypto.DSIGN | 
| VerKeyEd448DSIGN | Cardano.Crypto.DSIGN.Ed448, Cardano.Crypto.DSIGN | 
| verKeyFromSigKES | Cardano.Crypto.KES.Class, Cardano.Crypto.KES | 
| VerKeyKES | Cardano.Crypto.KES.Class, Cardano.Crypto.KES.NeverUsed, Cardano.Crypto.KES.Mock, Cardano.Crypto.KES.Single, Cardano.Crypto.KES.Sum, Cardano.Crypto.KES.CompactSingle, Cardano.Crypto.KES.CompactSum, Cardano.Crypto.KES, Cardano.Crypto.KES | 
| VerKeyMockDSIGN | Cardano.Crypto.DSIGN.Mock, Cardano.Crypto.DSIGN | 
| VerKeyMockKES | Cardano.Crypto.KES.Mock, Cardano.Crypto.KES | 
| VerKeyMockVRF | Cardano.Crypto.VRF.Mock, Cardano.Crypto.VRF | 
| VerKeySingleKES | Cardano.Crypto.KES.Single, Cardano.Crypto.KES | 
| VerKeySumKES | Cardano.Crypto.KES.Sum, Cardano.Crypto.KES | 
| VerKeyVRF | Cardano.Crypto.VRF.Class, Cardano.Crypto.VRF.NeverUsed, Cardano.Crypto.VRF.Mock, Cardano.Crypto.VRF, Cardano.Crypto.VRF | 
| VRFAlgorithm | Cardano.Crypto.VRF.Class, Cardano.Crypto.VRF |