code wiki / (root) / nx_p384_field_inv_test.nx

nx_p384_field_inv_test.nx

buildroot/runtime/nx_p384_field_inv_test.nx

1501 B54 linesdepth 7pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic p384
docsdependenciesstructsconstsfunctions

about

nx_p384_field_inv_test.nx -- KAT for P-384 field inverse. Verifies via the defining property: a * a^(-1) = 1 mod p. expect_exit: 0 license_tier: ORIGINAL

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_u384.nx nx_p384_field.nx nx_p384_field_mul.nx nx_p384_field_inv.nx nx_p384_field_inv_test.nx

imports: nx_syscalls.nxnx_u384.nxnx_p384_field.nxnx_p384_field_mul.nxnx_p384_field_inv.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_field_load_p u384_one u384_zero u384_sub_with_borrow p384_field_inv u384_alloc ↻ p384_field_load_p_minus_2 u384_copy p384_field_one u384_one ↻ p384_field_sq_fast p384_field_mul_fast u384_wide_alloc sys_mmap ↻ u384_mul_wide u384_alloc ↻ p384_field_load_p ↻ p384_fold_once u384_alloc ↻ p384_acc_add_shifted p384_acc_sub_shifted p384_fast_reduce_final u384_sub_with_borrow ↻ u384_cmp u384_wide_copy_low p384_field_bit_at p384_field_mul_fast ↻ u384_eq p384_field_mul p384_field_mul_fast ↻

structs

none

consts

none

functions

14func main() -> i64
calls 7: u384_allocp384_field_load_pu384_oneu384_sub_with_borrowp384_field_invu384_eq+1