~/jendhub

def ad.ae.tag_of.go

bend-osdev-aead@0.1.0.0 · aegis128.bend:271

import bend-osdev-aead@0.1.0.0/aegis128.bend as Aegis128
import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

271def ad.ae.tag_of.go(kk: AdAegisKey, +nonce: B.Octets, +aad: B.Octets, +c: B.Octets) -> B.Octets:
272  match kk:
273    case AdAegisKey{+k, +sb}:
274      ad.ae.tag_of.of(sb, aad, c, ad.ae.dgo(B.Octets.to_list(c), sb, ad.ae.start(sb, k, nonce, aad), Nil{}))

Uses (7)

Used by (1)