def open256

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

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

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