law aes256gcm_nist_empty_encrypt

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

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

524law aes256gcm_nist_empty_encrypt:
525    {aes256gcm_nist_encrypt_observation(AES.encrypt(aes256gcm_nist_key(), aes256gcm_nist_nonce(),
526        [], [])) == aes256gcm_nist_encrypt_observation(Done{aes256gcm_nist_empty()}) :
527        List<&2, U32>}