~/jendhub

def AdAuthenc.tag

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

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

61# The tag of the ciphertext c: the MAC's first tlen bytes (zero-padded)
62def AdAuthenc.tag(~KE: Data, ~KM: Data, ~mac: KM -> B.Octets -> B.Octets, ~input: B.Octets -> B.Octets -> B.Octets -> B.Octets, ~tlen: Nat, k: AdAuthencKey<KE, KM>, aad: B.Octets, iv: B.Octets, c: B.Octets) -> B.Octets:
63  match k:
64    case AdAuthencKey{ke, km}:
65      B.Octets.of_list(ad.au.fit(tlen, B.Octets.to_list(mac(km, input(aad, iv, c)))))

Uses (6)

Used by (5)