code wiki / _hdl_build / nx_voprf_kat_register.nx

nx_voprf_kat_register.nx

buildroot/runtime/_hdl_build/nx_voprf_kat_register.nx

3034 B41 linesdepth 4pulls 7 transitivereach 0 importersview sourcekind tooltopic voprf
docsdependenciesstructsconstsfunctions

about

nx_voprf_kat_register.nx -- registers the VOPRF verification (the OPAQUE building block, RFC 9497 OPRF P-256/SHA-256) + the finalize relocation fix. ENGINEER evidence = the RFC KAT is REBUILT + rerun here (prove-all). Atomic alloc via the Librarian. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_cap_register.nx nx_capreg_librarian.nx nx_syscalls.nx nx_voprf_kat_register.nx

imports: nx_cap_register.nxnx_capreg_librarian.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main vkr_build_run sys_fork sys_openat_wr sys_dup3 sys_mmap sys_execve sys_exit sys_wait4 cr_w sys_write cr_wn sys_mmap ↻ sys_write ↻ ig_engineer ig_decision ig_council sys_exit ↻ cr_can_register sml_check_cap sml_layer_valid sml_status_valid cl_next_idx cl_max_idx sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close cl_is_entry cl_parse_int cl_line_end cl_register_dual sys_openat_append cl_w sys_write ↻ cl_wn nxi_fd

structs

none

consts

none

functions

8func vkr_build_run(name: *u8) -> i64
called by 1: main calls 7: sys_forksys_openat_wrsys_dup3sys_mmapsys_execvesys_exit+1
25func main() -> i64
calls 10: vkr_build_runcr_wcr_wnig_engineerig_decisionig_council+4