code wiki / (root) / nx_aes128_gcm_kat_test.nx

nx_aes128_gcm_kat_test.nx

buildroot/runtime/nx_aes128_gcm_kat_test.nx

5278 B137 linesdepth 5pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic aes128
docsdependenciesstructsconstsfunctions

about

nx_aes128_gcm_kat_test.nx -- NIST SP 800-38D Test Case 2 + round-trip (seal then open) on a synthetic AAD. Test Case 2: K = 00000000000000000000000000000000 IV = 000000000000000000000000 AAD = (empty) P = 00000000000000000000000000000000 (16-byte all-zero pt) -> C = 0388dace60b6a392f328c2b971b2fe78 T = ab6e47d42cec13bdf53a67b21257bddf expect_exit: 0. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_aes128_gcm.nx nx_aes128_gcm_kat_test.nx

imports: nx_syscalls.nxnx_aes128_gcm.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_mmap nx_aes128_gcm_seal sys_mmap ↻ aes128_expand_key _aes_sbox _aes_rcon aes128_encrypt_block nx_ghash_reflect16 gh_byterev_bits gh_revtab sys_mmap ↻ gh_revbyte nx_ghash_mul_rev gh_clmul_core gh_scratch sys_mmap ↻ gh_clmul_mul256_acc gh_scratch ↻ gh_clmul_reduce256 gh_lshr nx_ghash_upd_rev gh_rev_scratch sys_mmap ↻ gh_byterev_bits ↻ gh_clmul_core ↻ nx_aes128_gcm_inc32 gcm_ctr_store nx_aes128_gcm_inc32 ↻ nx_ghash_upd_rev4 gh_agg_scratch sys_mmap ↻ gh_byterev_bits ↻ gh_clmul_mul256_acc ↻ gh_clmul_reduce256 ↻ nx_ghash_be64_put nx_aes128_gcm_open sys_mmap ↻ aes128_expand_key ↻ aes128_encrypt_block ↻

structs

none

consts

none

functions

18func main() -> i64
calls 4: sys_mmapnx_aes128_gcm_sealnx_aes128_gcm_opensys_write