code wiki / (root) / nx_p256_modn_test.nx

nx_p256_modn_test.nx

buildroot/runtime/nx_p256_modn_test.nx

4482 B138 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic p256
docsdependenciesstructsconstsfunctions

about

nx_p256_modn_test.nx -- KAT for arithmetic in Z/nZ where n is the NIST P-256 group order. expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_u256.nx nx_p256_modn.nx nx_p256_modn_test.nx

imports: nx_syscalls.nxnx_u256.nxnx_p256_modn.nx

imported by: nobody (leaf or entry point)

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

main u256_alloc nx_scratch nx_scratch_init sys_mmap nx_scratch_oom sys_write sys_exit sys_mmap ↻ p256_modn_load_n p256_modn_one u256_one u256_zero sys_mmap ↻ u256_store_be p256_modn_load_n_minus_2 p256_modn_add nx_scratch_save nx_scratch_init ↻ u256_alloc ↻ p256_modn_load_n ↻ u256_add_with_carry u256_sub_with_borrow u256_copy nx_scratch_restore u256_copy ↻ p256_modn_sub nx_scratch_save ↻ u256_alloc ↻ p256_modn_load_n ↻ u256_sub_with_borrow ↻ u256_add_with_carry ↻ nx_scratch_restore ↻ u256_is_zero p256_modn_zero u256_zero ↻ p256_modn_eq u256_eq p256_modn_neg u256_is_zero ↻

structs

none

consts

none

functions

11func main() -> i64
calls 20: u256_allocp256_modn_load_np256_modn_onesys_mmapu256_store_bep256_modn_load_n_minus_2+14