def aes_seal

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/aes/gcm.bend:175

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/aes/aes.bend as AES

175# GCM over AES with the key's own Nk and Nr (FIPS 197 Figure 4).
176def aes_seal(+key: List<&2, U32>, +iv: List<&2, U32>, +aad: List<&2, U32>, pt: List<&2, U32>) -> List<&2, U32>:
177  seal(AES.nk(key), AES.nr(key), key, iv, aad, pt)