code wiki / (root) / nx_connect_e2e_client_gate.nx

nx_connect_e2e_client_gate.nx

buildroot/runtime/nx_connect_e2e_client_gate.nx

5893 B94 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic connect
docsdependenciesstructsconstsfunctions

about

nx_connect_e2e_client_gate.nx -- proves the emitted FULL-E2E client: BOTH sovereign wasms ship, keys are AGREED (X25519) not typed, keygen + publish is public-half-only, only ciphertext is POSTed, and the recipient DECRYPT view exists and renders via textContent (XSS-safe by construction). Structural proof on the emitted bytes; crypto CORRECTNESS is separately proven on the same artifacts by nx_media_crypt_wasm_gate 3/3 (RFC 8439) and nx_connect_keyx_vm_gate 5/5 (RFC 7748 6.1 DH agreement). license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_connect_e2e_client.nx nx_connect_e2e_client_gate.nx

imports: nx_syscalls.nxnx_connect_e2e_client.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 w sys_write ce_emit_html ce_puts ce_putb has slen ck w ↻ sys_write ↻ sys_exit

structs

none

consts

none

functions

10func 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 2: ckmain calls 1: sys_write
11func slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
called by 1: has
12func has(h: *u8, hn: i64, nd: *u8) -> i64
called by 1: main calls 1: slen
18func ck(pass: i64, label: *u8, fails: *i64) -> i64
called by 1: main calls 1: w
24func main() -> i64
calls 7: sys_mmapwce_emit_htmlhascksys_write+1