code wiki / (root) / nx_p384_field_mul_test.nx

nx_p384_field_mul_test.nx

buildroot/runtime/nx_p384_field_mul_test.nx

2106 B80 linesdepth 6pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic p384
docsdependenciesstructsconstsfunctions

about

nx_p384_field_mul_test.nx -- KAT for P-384 field mul. Verifies: - 0 * x = 0 - 1 * x = x - (p-1) * (p-1) = 1 mod p - x * y = y * x (commutativity) - 2 * 2 = 4 - sq(x) = x * x expect_exit: 0 license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_u384.nx nx_p384_field.nx nx_p384_field_mul.nx nx_p384_field_mul_test.nx

imports: nx_syscalls.nxnx_u384.nxnx_p384_field.nxnx_p384_field_mul.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_mul 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 u384_is_zero u384_eq p384_field_sq p384_field_mul ↻

structs

none

consts

none

functions

19func main() -> i64
calls 8: u384_allocp384_field_load_pu384_oneu384_sub_with_borrowp384_field_mulu384_is_zero+2