code wiki / (root) / nx_hkdf_test.nx

nx_hkdf_test.nx

buildroot/runtime/nx_hkdf_test.nx

4897 B135 linesdepth 7pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic hkdf
docsdependenciesstructsconstsfunctions

about

nx_hkdf_test.nx -- RFC 5869 Appendix A KAT for HKDF-SHA-256. Three worked examples from the spec (the SHA-256 ones, A.1-A.3): A.1 Basic (IKM=22B 0x0b, salt=13B 0x00..0x0c, info=10B 0xf0..0xf9, L=42) PRK = 077709362c2e32df0ddc3f0dc47bba6390b6c73bb50f9c3122ec844ad7c2b3e5 OKM = 3cb25f25faacd57a90434f64d0362f2a 2d2d0a90cf1a5a4c5db02d56ecc4c5bf 34007208d5b887185865 A.2 Longer (IKM=80B 0x00..0x4f, salt=80B 0x60..0xaf, info=80B 0xb0..0xff, L=82) PRK = 06a6b88c5853361a06104c9ceb35b45cef760014904671014a193f40c15fc244 OKM = b11e398dc80327a1c8e7f78c596a4934 4f012eda2d4efad8a050cc4c19afa97c 59045a99cac7827271cb41c65e590e09 da3275600c2f09b8367793a9aca3db71 cc30c58179ec3e87c14c01d5c1f3434f 1d87 A.3 Zero salt/info (IKM=22B 0x0b, salt=empty, info=empty, L=42) PRK = 19ef24a32c717b167f33a91d6f648bdf96596776afdb6377ac434c1c293ccb04 OKM = 8da4e775a563c18f715f802a063c5a31 b8a11f5c5ee1879ec3454e5f3c738d2d 9d201395faa4b61a96c8 expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_hkdf.nx nx_hkdf_test.nx

imports: nx_syscalls.nxnx_hkdf.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 hkdf_extract sys_mmap ↻ hmac_sha256 sys_mmap ↻ sha256_digest sys_mmap ↻ sha256_init sys_mmap ↻ sha256_k sha256_update sha256_compress_ni_blocks blk_set_byte sha256_compress sha256_compress_ni blk_word sha256_final blk_set_byte ↻ sha256_compress ↻ sha256_init ↻ sha256_update ↻ sha256_final ↻ hkdf_expand sys_mmap ↻ hmac_sha256 ↻

structs

none

consts

none

functions

32func main() -> i64
calls 3: sys_mmaphkdf_extracthkdf_expand