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 nx_tls13_finished_compute hmac_sha256 sys_mmap ↻ sha256_digest sys_mmap ↻ sha256_init sys_mmap ↻ 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_init ↻ sha256_update ↻ sha256_final ↻ hmac_sha256 ↻ nx_tls13_finished_verify sys_mmap ↻ hmac_sha256 ↻ nx_tls13_fin_verdict_is_va

structs

none

consts

none

functions

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