code wiki / _hdl_build / nx_chacha_block_dump.nx

nx_chacha_block_dump.nx

buildroot/runtime/_hdl_build/nx_chacha_block_dump.nx

2543 B53 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind tool
docsdependenciesstructsconstsfunctions

about

nx_chacha_block_dump.nx -- ground-truth oracle for the SIMD ChaCha rung. Inlines the scalar ChaCha20 block (RFC 8439 ยง2.3.2 input: key=0..31, nonce=00 00 00 09 00 00 00 4a 00 00 00 00, counter=1) and prints the 64 keystream bytes as decimals. The SIMD ChaCha must reproduce THIS exactly (SIMD==scalar == the KAT'd-correct oracle). No hallucinated vectors. license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_syscalls.nx nx_chacha_block_dump.nx

imports: nx_syscalls.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_mmap qr u32 rotl32 u32 ↻ pn sys_mmap ↻ sys_write sys_write ↻

structs

none

consts

none

functions

7func u32(x: i64) -> i64 { return x & 0xFFFFFFFF }
called by 2: qrmain
8func rotl32(x: i64, r: i64) -> i64 { let a: i64 = (x << r) & 0xFFFFFFFF; let b: i64 = (x & 0xFFFFFFFF) >> (32 - r); return a | b }
called by 1: qr
10func qr(s: *i64, a: i64, b: i64, c: i64, d: i64) -> i64
called by 1: main calls 2: u32rotl32
18func pn(v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
26func main() -> i64
calls 5: sys_mmapqru32pnsys_write