nx_blake2b_long_test.nx
buildroot/runtime/nx_blake2b_long_test.nx
about
nx_blake2b_long_test.nx -- internal-consistency smoke for H'.
expect_exit: 0
Verifies:
1. H'(T <= 64, A) = BLAKE2b(le32(T) || A, out=T)
2. H'(T > 64, A)[0..31] = BLAKE2b(le32(T) || A, out=64)[0..31]
3. H'(T = 65, A) trailing byte derived correctly.
4. H'(T = 1024, A) -- the Argon2 use case -- runs to completion
without buffer overflow; first/last bytes consistent with
BLAKE2b chain.
license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_syscalls_x86_64.nxnx_blake2b.nxnx_blake2b_long.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
| 19 | func bytes_eq(a: *u8, b: *u8, n: i64) -> i64 called by 1: main |
| 28 | func main() -> i64 |