def aad_only_tag

qasim-bend-kit@0.1.0.2 · proof/AES_NistVectorProof.bend:149

import qasim-bend-kit@0.1.0.2/proof/AES_NistVectorProof.bend as AESNistVectorProof
import Base

149def aad_only_tag() -> List<&2, U32>:
150    [222, 52, 182, 220, 212, 206, 226, 253, 190, 195, 206, 160, 26, 241, 238, 68]

Uses (2)

Used by (3)