def ad.ae.plain

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

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

285def ad.ae.plain(kk: AdAegisKey, +nonce: B.Octets, +aad: B.Octets, +c: B.Octets) -> B.Octets:
286  match kk:
287    case AdAegisKey{+k, +sb}:
288      ad.ae.plain.of(ad.ae.dgo(B.Octets.to_list(c), sb, ad.ae.start(sb, k, nonce, aad), Nil{}))

Uses (7)

Used by (4)