nx_mls_group_gate.nx
buildroot/runtime/nx_mls_group_gate.nx
about
nx_mls_group_gate.nx -- REFEREE for C7 (nx_mls_group, contract mls_epoch_advance). END-TO-END:
keygens three members, creates a group, commits a REMOVAL, and forks the PROMOTED elf to prove the
pre-declared done-rule: member removal forces an epoch advance, the removed member CANNOT decrypt
the next frame (negative control), with forward-secrecy and post-compromise teeth.
EVERYTHING is proven by forking the real elf; convergence is checked via the epoch-secret
COMMITMENT (sha256 of the secret) that each member prints -- the secret itself never leaves a file.
license_tier: ORIGINAL expect_exit: 0
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_tool_run.nxnx_gate_verdict.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 MGG_CAP: i64 = 65536 |
functions
| 12 | func mgg_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } |
| 13 | func mgg_count(buf: *u8, n: i64, needle: *u8) -> i64 |
| 27 | func mgg_after(buf: *u8, n: i64, after: *u8, out: *u8) -> i64 |
| 44 | func mgg_run(elf: *u8, av: *i64, out: *u8, ol: *i64) -> i64 { return tr_run_capture(elf, av, out, MGG_CAP, ol) } |
| 45 | func main(argc: i64, argv: *i64) -> i64 |