law aes256gcm_roundtrip

qasim-bend-kit@0.1.0.2 · LAWS.bend:360

import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES

360law aes256gcm_roundtrip:
361    for +key: AES.SecretKey
362    for +nonce: AES.Nonce
363    for +aad: List<&2, U32>
364    for +plaintext: List<&2, U32>
365    for +envelope: AES.Envelope
366    for encrypted: {AES.encrypt(key, nonce, aad, plaintext) == Done{envelope} :
367        Result<&2, &2, AES.Error, AES.Envelope>}
368    {AES.decrypt(key, aad, envelope) == Done{plaintext} :
369        Result<&2, &2, AES.Error, List<&2, U32>>}