def bytes_length_limit
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCMimport Base
55def bytes_length_limit(+bytes: List<&2, U32>, max_low: U32, max_high: U32) -> Bool:
56 bytes_length_limit.go(List.length(&2, U32, bytes), bytes,
57 0, 0, max_low, max_high, True{})
Uses (5)
Used by (6)
- qasim-bend-kit@0.1.0.2/libs/AES256GCM:plaintext_valid
- qasim-bend-kit@0.1.0.2/libs/AES256GCM:aad_valid
- qasim-bend-kit@0.1.0.2/proof/AES_LengthLimitProof:bytes_length_limit_same
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:successful_encrypt_ctr_decrypts
- qasim-bend-kit@0.1.0.2/proof/AES_LengthLimitProof:plaintext_valid_same_length
- …