nx_aesni_kat.nx

nx_aesni_kat.nx -- end-to-end proof of the AES-NI pipeline (assembler mnemonics + compiler __aes128_enc_block intrinsic). FIPS-197 Appendix C.1 AES-128 vector: key = 00 01 02 ... 0f in = 00 11 22 33 44 55 66 77 88 99 aa bb cc dd ee ff out = 69 c4 e0 d8 6a 7b 04 30 d8 cd b7 80 70 b4 c5 5a Key expansion stays software (one-time); the block cipher runs on AES-NI. exit 0 = hardware AES-NI produced the exact FIPS ciphertext. expect_exit: 0