def tag_bytes
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCMimport Base
143def tag_bytes(tag: Tag) -> List<&2, U32>:
144 match tag:
145 case Tag{bytes, size, valid}: bytes
Uses (3)
Used by (18)
- qasim-bend-kit@0.1.0.2/libs/AES256GCM:encode_impl
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:successful_encrypt_envelope_tag_canonical
- qasim-bend-kit@0.1.0.2/proof/AES_EnvelopeProof:aes_encode_fields_split
- qasim-bend-kit@0.1.0.2/proof/AES_IdentityProof:fields
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:auth_for_tag
- …