AESNistTest.check_vector: def of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/usage/AES_NistTest.bend as AESNistTest
Lines 17-25 of qasim-bend-kit@0.1.0.2/usage/AES_NistTest.bend: https://jend.leeeet.dev/read.txt?path=qasim-bend-kit@0.1.0.2/usage/AES_NistTest.bend&start_line=17&end_line=25

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

def check_vector(+key: AES.SecretKey, +nonce: AES.Nonce,
    +aad: List<&2, U32>, +plaintext: List<&2, U32>,
    +expected: AES.Envelope) -> Bool:
    encryption_ok = result_matches(AES.encrypt(key, nonce, aad, plaintext),
        expected)
    decryption_ok = plaintext_matches(AES.decrypt(key, aad, expected),
        plaintext)
    parsing_ok = result_matches(AES.parse(AES.encode(expected)), expected)
    Bool.and(encryption_ok, Bool.and(decryption_ok, parsing_ok))

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=Envelope
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=Nonce
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=SecretKey
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=decrypt
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=encode
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=encrypt
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&name=parse
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/usage/AES_NistTest.bend&name=plaintext_matches
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/usage/AES_NistTest.bend&name=result_matches