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 nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ 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 ↻

structs

none

consts

none

functions

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