def output_tag_context

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

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

24def output_tag_context(output: Core.GcmOutput) -> TagContext:
25    match output:
26        case Core.GcmOutput{ciphertext, ciphertext_valid, tag_bytes,
27            tag_valid, tag_size, tag_words, tag_nonce, tag_aad, tag_matches}:
28            TagContext{tag_words, tag_nonce, tag_aad, ciphertext}