def ciph

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

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

88# CIPH_K on a 16-byte block.
89def ciph(+nk: Nat, +nr: Nat, +key: List<&2, U32>, +x: List<&2, U32>) -> List<&2, U32>:
90  AES.bytes_of(AES.encrypt(nk, nr, key, AES.state_of(x)))