code wiki / (root) / nx_tls13_finished_test.nx

nx_tls13_finished_test.nx

buildroot/runtime/nx_tls13_finished_test.nx

3587 B109 linesdepth 7pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic tls13
docsdependenciesstructsconstsfunctions

about

nx_tls13_finished_test.nx -- internal KAT for Finished MAC. Cross-check that nx_tls13_finished_compute is literally HMAC-SHA256(finished_key, transcript_hash) -- i.e. no extra wrapping. Plus verify exercises the constant-time compare on both happy path and tampered MAC. expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_hmac.nx nx_tls13_finished.nx nx_tls13_finished_test.nx

imports: nx_syscalls.nxnx_hmac.nxnx_tls13_finished.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_tls13_finished_compute hmac_sha256 sys_mmap ↻ sha256_digest sys_mmap ↻ sha256_init sys_mmap ↻ sha256_seed_allocated sha256_k sha256_update sha256_compress_ni_blocks blk_set_byte sha256_compress sha256_compress_ni blk_word sha256_final blk_set_byte ↻ sha256_compress ↻ sha256_destroy sys_munmap sys_munmap ↻ sha256_init ↻ sha256_update ↻ sha256_final ↻

structs

none

consts

none

functions

15func main() -> i64
calls 5: sys_mmapnx_tls13_finished_computehmac_sha256nx_tls13_finished_verifynx_tls13_fin_verdict_is_valid