def ad.ae.seal.go

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

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

251def ad.ae.seal.go(kk: AdAegisKey, +nonce: B.Octets, +aad: B.Octets, +p: B.Octets) -> B.Octets:
252  match kk:
253    case AdAegisKey{+k, +sb}:
254      ad.ae.sealed(sb, aad, p, ad.ae.ego(B.Octets.to_list(p), sb, ad.ae.start(sb, k, nonce, aad), Nil{}))

Uses (7)

Used by (5)