TZT cryptographic operations exhaustiveness

Answers the following item of %(2023Q3) MIR: check TZT test suite exhaustiveness:

Cryptographic operations.

For each one of the instructions below:

• report the name of a TZT test that contains the instruction and declares the expected result of interpretation. None can be used when the test is missing.

Instructions:

• BLAKE2B None
• CHECK_SIGNATURE None
• HASH_KEY None
• KECCAK None
• PAIRING_CHECK None
• SAPLING_EMPTY_STATE ms None
• SAPLING_VERIFY_UPDATE None
• SHA256 None
• SHA3 None
• SHA512 None