law aes256gcm_rejects_invalid_plaintext

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

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

334law aes256gcm_rejects_invalid_plaintext:
335    for +key: AES.SecretKey
336    for +nonce: AES.Nonce
337    for +aad: List<&2, U32>
338    for +plaintext: List<&2, U32>
339    for valid: {AES.plaintext_valid(plaintext) == False{} : Bool}
340    {AES.encrypt(key, nonce, aad, plaintext) == Fail{AES.InvalidBytes{}} :
341        Result<&2, &2, AES.Error, AES.Envelope>}