nx_mfa_gate.nx
buildroot/runtime/nx_mfa_gate.nx
about
nx_mfa_gate.nx -- KAT for admin MFA. Proves the TOTP-SHA1 core against the RFC 6238 Appendix B official
test vectors (the non-novel-standard 3rd-party proof), the base32 secret round-trip, and mfa_verify's
skew-window logic (accept current + adjacent step, reject wrong code / out-of-window / wrong length).
exit 0 = pass, N = assertion N failed.
dependencies 2 imports · 0 importers
imports: nx_mfa.nxnx_assert.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
| 8 | func main() -> i64 |