code wiki / (root) / nx_blake2b_test.nx

nx_blake2b_test.nx

buildroot/runtime/nx_blake2b_test.nx

6293 B144 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic blake2b
docsdependenciesstructsconstsfunctions

about

nx_blake2b_test.nx -- RFC 7693 Appendix A KAT smoke for BLAKE2b-512. expect_exit: 0 license_tier: ORIGINAL KAT-1 ("abc", out_len 64): ba80a53f981c4d0d 6a2797b69f12f6e9 4c212f14685ac4b7 4b12bb6fdbffa2d1 7d87c5392aab792d c252d5de4533cc95 18d38aa8dbf1925a b92386edd4009923 KAT-2 ("", out_len 64): 786a02f742015903 c6c6fd852552d272 912f4740e1584761 8a86e217f71f5419 d25e1031afee5853 13896444934eb04b 903a685b1448b755 d56f701afe9be2ce

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_blake2b.nx nx_blake2b_test.nx

imports: nx_syscalls_x86_64.nxnx_blake2b.nx

imported by: nobody (leaf or entry point)

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

main nx_blake2b_verdict_is_vali bytes_eq nx_blake2b_verdict_name nx_blake2b_hash nx_blake2b_init _b2b_iv nx_blake2b_update _b2b_compress _b2b_load_u64_le _b2b_iv ↻ _b2b_mix _b2b_rotr64 _b2b_shr64 _b2b_sigma nx_blake2b_final _b2b_compress ↻ _b2b_store_u64_le _b2b_shr64 ↻ _b2b_shr64 ↻ write_abc_expected write_empty_expected nx_blake2b_init ↻

structs

none

consts

none

functions

22func bytes_eq(a: *u8, b: *u8, n: i64) -> i64
called by 1: main
32func write_abc_expected(out: *u8) -> i64
called by 1: main
53func write_empty_expected(out: *u8) -> i64
called by 1: main
73func main() -> i64
calls 7: nx_blake2b_verdict_is_validbytes_eqnx_blake2b_verdict_namenx_blake2b_hashwrite_abc_expectedwrite_empty_expected+1