code wiki / (root) / nx_poly1305_test.nx

nx_poly1305_test.nx

buildroot/runtime/nx_poly1305_test.nx

3835 B89 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic poly1305
docsdependenciesstructsconstsfunctions

about

nx_poly1305_test.nx -- RFC 8439 ยง2.5.2 KAT for Poly1305. Worked example from the spec: Key (hex): 85d6be7857556d337f4452fe42d506a8 0103808afb0db2fd4abff6af4149f51b Message (ASCII): "Cryptographic Forum Research Group" (34 bytes) Expected tag: a8061dc1305136c6c22b8baf0c0127a9 Also exercises poly1305_tag_equal for constant-time tag compare (the function TLS Finished verification must use to avoid a timing side-channel that byte-bisects the tag). expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_poly1305.nx nx_poly1305_test.nx

imports: nx_syscalls.nxnx_poly1305.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 poly1305_mac sys_mmap ↻ poly1305_clamp p_load_u32_le p_store_u32_le poly1305_tag_equal

structs

none

consts

none

functions

20func main() -> i64