nx_connect_e2e_proof.nx
buildroot/runtime/nx_connect_e2e_proof.nx
about
nx_connect_e2e_proof.nx -- LIVE-LOOP witness for the full-E2E CONNECT proof: computes the EXACT bytes
the browser client produces (the wasm mcw_* API is a thin wrapper over these same native mc_* functions,
and the wasm is separately proven bit-exact vs RFC 8439 in nx_media_crypt_wasm_gate). Used to drive the
two-user proof over the PUBLIC edge: seal as Alice -> POST -> fetch as Bob -> open -> plaintext must
round-trip. license_tier: ORIGINAL
nx_connect_e2e_proof seal <keyhex64> <seq> <plaintext> -> ciphertext hex on stdout
nx_connect_e2e_proof open <keyhex64> <seq> <cthex> -> plaintext on stdout
dependencies 2 imports · 0 importers
imports: nx_syscalls.nxnx_media_crypt.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
| 11 | const EP_MAX: i64 = 4096 |
functions
| 13 | func ep_w(s: *u8, n: i64) -> i64 { sys_write(1, s, n); return 0 } |
| 14 | func ep_slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n } called by 1: main |
| 15 | func ep_seq(a: *u8, b: *u8) -> i64 called by 1: main |
| 21 | func ep_atoi(s: *u8) -> i64 called by 1: main |
| 32 | func main(argc: i64, argv: *i64) -> i64 |