def auth_for_tag

qasim-bend-kit@0.1.0.2 · proof/AES_NistObservationProof.bend:197

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

197def auth_for_tag(+envelope: AES.Envelope, tag: List<&2, U32>) -> Bool:
198    AES.bytes_equal_full_scan(AES.tag_bytes(AES.envelope_tag(envelope)), tag)