law aes256gcm_nist_rejects_changed_key

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

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

604law aes256gcm_nist_rejects_changed_key:
605    {AES.decrypt(AES.SecretKey{List.replicate(U32, 32n, 0), {==}, {==}},
606        [], aes256gcm_nist_empty()) == Fail{AES.AuthenticationFailed{}} :
607        Result<&2, &2, AES.Error, List<&2, U32>>}