code wiki / _hdl_build / nx_library_gate_test.nx

nx_library_gate_test.nx

buildroot/runtime/_hdl_build/nx_library_gate_test.nx

3583 B65 linesdepth 11pulls 18 transitivereach 0 importersview sourcekind gate/prooftopic library
docsdependenciesstructsconstsfunctions

about

nx_library_gate_test.nx -- prove the /library login-gate: a request WITH a valid OPAQUE session header serves the library (200); WITHOUT (or forged) -> 302 /wiki/login. The security property the operator required ("behind a login") proven before any live deploy. license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_library_gate_handle.nx nx_ed25519_signature.nx nx_no_cookie_session.nx nx_syscalls.nx nx_library_gate_test.nx

imports: nx_library_gate_handle.nxnx_ed25519_signature.nxnx_no_cookie_session.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 sys_mmap ed25519_pub_from_priv sys_mmap ↻ ed25519_sha512 sys_mmap ↻ sha512_init sha512_update sha512_blk_set_byte blk_get_i64 blk_set_i64 sha512_compress sys_mmap ↻ blk_get_i64 ↻ sha512_gamma0 rotr64_v shr64_v sha512_gamma1 rotr64_v ↻ shr64_v ↻ sha512_sigma1 rotr64_v ↻ sha512_ch sha512_k sha512_sigma0 rotr64_v ↻ sha512_maj sha512_final sha512_blk_set_byte ↻ sha512_compress ↻ ge_p3_alloc sys_mmap ↻ fe_alloc nx_scratch nx_scratch_init sys_mmap ↻ nx_scratch_oom sys_write sys_exit sys_mmap ↻

structs

none

consts

18const GT_NOW: i64 = 1000000

functions

9func gt_w(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
called by 1: main calls 1: sys_write
10func gt_hex(dst: *u8, off: i64, tok: *u8, n: i64) -> i64
called by 1: main
16func gt_app(dst: *u8, off: i64, s: *u8) -> i64 { var i: i64=0; while s[i]!=(0 as u8){dst[off+i]=s[i];i=i+1} var n: i64=0; while s[n]!=(0 as u8){n=n+1} return off+n }
called by 1: main
20func main() -> i64
calls 8: sys_mmaped25519_pub_from_privnx_ncs_mint_tokengt_appgt_hexnx_library_gate_handle+2