def plaintext_valid
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCMimport Base
59# GCM limits are expressed in bytes after requiring byte-aligned input.
60def plaintext_valid(+bytes: List<&2, U32>) -> Bool:
61 bytes_valid(bytes) && bytes_length_limit(bytes, 4294967264, 15)
Uses (6)
Used by (30)
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:finish_decrypt
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:encrypt_checked_with_flags
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:finish_encrypt
- qasim-bend-kit@0.1.0.2/libs/AES256GCM:encrypt_impl
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:successful_encrypt_aad_valid
- …