nx_argon2id_h0_bisect.nx
buildroot/runtime/nx_argon2id_h0_bisect.nx
about
nx_argon2id_h0_bisect.nx -- bisect step 1: verify H_0 derivation.
expect_exit: 0
Expected H_0 (computed via Python hashlib.blake2b on the canonical
Argon2id input encoding for p=1, tau=32, m=8, t=2, v=0x13, type=2,
P="password", S="somesalt", K="", X=""):
59556a60dc1ea400 147c690b0586a019 64ed18cbeab745e4 3883420776d44d52
e11b9ef6b4069027 ea0c81916dde0193 dedf27beffd45609 bbe53d4095df0f21
If this PASSES, H_0 wiring is correct and the bug is downstream
(B[0]/B[1] derivation, fill loop, or final tag).
license_tier: ORIGINAL
dependencies 4 imports · 0 importers
imports: nx_syscalls_x86_64.nxnx_blake2b.nxnx_argon2_block.nxnx_argon2id.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
| 21 | const K_MAGIC_1024: i64 = 1024 |
| 22 | const K_MAGIC_2048: i64 = 2048 |
functions
| 24 | func make_ctx() -> *NxArgon2idCtx called by 1: main |
| 48 | func write_expected_h0(out: *u8) -> i64 called by 1: main |
| 76 | func main() -> i64 |