code wiki / (root) / nx_p384_modn_test.nx

nx_p384_modn_test.nx

buildroot/runtime/nx_p384_modn_test.nx

1947 B68 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic p384
docsdependenciesstructsconstsfunctions

about

nx_p384_modn_test.nx -- KAT for P-384 scalar arithmetic mod n. expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_u384.nx nx_p384_modn.nx nx_p384_modn_test.nx

imports: nx_syscalls.nxnx_u384.nxnx_p384_modn.nx

imported by: nobody (leaf or entry point)

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

main u384_alloc nx_u384_scratch nx_u384_scratch_init sys_mmap sys_write sys_exit sys_mmap ↻ p384_modn_load_n u384_one u384_zero u384_sub_with_borrow p384_modn_add u384_alloc ↻ p384_modn_load_n ↻ u384_add_with_carry u384_sub_with_borrow ↻ u384_copy u384_is_zero p384_modn_sub u384_alloc ↻ p384_modn_load_n ↻ u384_sub_with_borrow ↻ u384_add_with_carry ↻ u384_eq p384_modn_neg u384_is_zero ↻ u384_zero ↻ u384_alloc ↻ p384_modn_load_n ↻ u384_sub_with_borrow ↻ p384_modn_mul u384_wide_alloc sys_mmap ↻ u384_alloc ↻ p384_modn_load_n ↻ u384_mul_wide u384_wide_cmp u384_wide_sub_inplace u384_wide_shr_1_inplace

structs

none

consts

none

functions

10func main() -> i64
calls 12: u384_allocp384_modn_load_nu384_oneu384_sub_with_borrowp384_modn_addu384_is_zero+6