def aad_only_auth

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

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

152def aad_only_auth() -> List<&2, U32>:
153    [35,24,28,202,113,77,204,139,20,208,226,180,73,31,52,58]

Uses (2)

Used by (2)