def tag_for_context

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

import qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof.bend as AESEncryptProof

import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as Core

30def tag_for_context(context: TagContext) -> List<&2, U32>:
31    match context:
32        case TagContext{words, nonce, aad, ciphertext}:
33            Core.gcm_tag_bytes(Core.gcm_tag_output(words, nonce, aad,
34                ciphertext))

Uses (5)

Used by (2)