~/jendhub

def ad.au.mcgrew

bend-osdev-aead@0.1.0.0 · authenc.bend:43

import bend-osdev-aead@0.1.0.0/authenc.bend as Authenc
import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-word64@0.1.0.0/word64.bend as W

43def ad.au.mcgrew(+aad: B.Octets, iv: B.Octets, c: B.Octets) -> B.Octets:
44  B.Octets.append(aad, B.Octets.append(iv, B.Octets.append(c, B.Octets.of_list(B.be64(W.W64.shl(W.W64.from_nat(B.Octets.len(aad)), 3n))))))

Uses (7)

Used by (1)