def aad_and_multiblock_auth

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

import Base

208def aad_and_multiblock_auth() -> List<&2, U32>:
209    [61,65,220,229,188,179,208,133,208,217,206,42,135,139,116,28]