def encrypt_nonce

qasim-bend-kit@0.1.0.2 · proof/AES_EncryptProof.bend:438

import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES

438def encrypt_nonce(key: AES.SecretKey, +nonce: AES.Nonce,
439    +aad: List<&2, U32>, +plaintext: List<&2, U32>) ->
440    {result_nonce(nonce, AES.encrypt(key, nonce, aad, plaintext)) ==
441     nonce : AES.Nonce}:
442    checked_nonce(key, nonce, aad, plaintext,
443        AES.aad_valid(aad), AES.plaintext_valid(plaintext))