def encrypt_valid
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCMimport Base
449def encrypt_valid(key: SecretKey, +nonce: Nonce, aad: List<&2, U32>,
450 plaintext: List<&2, U32>) -> Result<&2, &2, Error, Envelope>:
451 encrypt_output_from_gcm(nonce,
452 encrypt_valid_output(key, nonce, aad, plaintext))
Uses (9)
Used by (7)
- qasim-bend-kit@0.1.0.2/libs/AES256GCM:encrypt_checked
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:valid_input_is_done
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:valid_is_done
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:valid_nonce
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:checked_encrypt
- …