code wiki / (root) / nx_connect_device_client_gate.nx

nx_connect_device_client_gate.nx

buildroot/runtime/nx_connect_device_client_gate.nx

7034 B109 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic connect

docs dependencies structs consts functions

about

nx_connect_device_client_gate.nx -- proves the PRIVACY-FIRST / DATA-ON-THE-ENDPOINT property on the emitted device-client bytes: the user's contacts + message history are kept in the browser's own storage, ENCRYPTED at rest, and the ONLY things that ever leave the device are a public key and ciphertext. There is nothing private for our server to hold. Crypto correctness is separately proven on the SAME wasms by nx_media_crypt_wasm_gate 3/3 (ChaCha20) and nx_connect_keyx_vm_gate 5/5 (X25519 agreement). license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

imports: nx_syscalls.nxnx_connect_device_client.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

none

functions

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