def encrypt_valid_output
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCMimport Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as Core
444def encrypt_valid_output(key: SecretKey, +nonce: Nonce,
445 aad: List<&2, U32>, plaintext: List<&2, U32>) ->
446 Core.GcmOutput:
447 Core.gcm_encrypt_raw(secret_key_bytes(key), raw_nonce_bytes(nonce), aad, plaintext)
Uses (8)
Used by (9)
- qasim-bend-kit@0.1.0.2/libs/AES256GCM:encrypt_valid
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:successful_encrypt_ciphertext_matches_gcm
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:successful_encrypt_ciphertext_matches_ctr
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:successful_encrypt_tag_canonical
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:successful_encrypt_tag_matches_gcm
- …