def open256

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/aes/laws.bend:32

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aesgcm.bend as GCM

32def open256(+key: List<&2, U32>, +nonce: List<&2, U32>, +aad: List<&2, U32>, m: Maybe<&2, List<&2, U32>>) -> Maybe<&2, List<&2, U32>>:
33  match m:
34    case None{}:
35      None{}
36    case Some{ct}:
37      GCM.aes256_gcm_decrypt(key, nonce, aad, ct)