def empty_plaintext
import qasim-bend-kit@0.1.0.2/proof/AES_NistVectorProof.bend as AESNistVectorProofimport Base
19def empty_plaintext() -> List<&2, U32>:
20 []
Uses (2)
Used by (7)
- qasim-bend-kit@0.1.0.2/proof/AES_NistVectorProof:checkpoint_empty_authenticated
- qasim-bend-kit@0.1.0.2/proof/AES_NistVectorProof:checkpoint_empty_ciphertext
- qasim-bend-kit@0.1.0.2/proof/AES_NistVectorProof:checkpoint_empty_plaintext
- qasim-bend-kit@0.1.0.2/proof/AES_NistVectorProof:empty_decrypt
- qasim-bend-kit@0.1.0.2/proof/AES_NistVectorProof:empty_encrypt
- …