code wiki / (root) / nx_p384_scalar_mul_test.nx

nx_p384_scalar_mul_test.nx

buildroot/runtime/nx_p384_scalar_mul_test.nx

1238 B48 linesdepth 10pulls 12 transitivereach 0 importersview sourcekind gate/prooftopic p384
docsdependenciesstructsconstsfunctions

about

nx_p384_scalar_mul_test.nx -- KAT for scalar_mul. Verifies: - 1 * G == G - 2 * G == double(G) (via add) - n * G == infinity (where n is the group order) expect_exit: 0 license_tier: ORIGINAL

dependencies 6 imports · 0 importers

nx_syscalls.nx nx_u384.nx nx_p384_modn.nx nx_p384_point.nx nx_p384_point_add.nx nx_p384_scalar_mul.nx nx_p384_scalar_mul_test.nx

imports: nx_syscalls.nxnx_u384.nxnx_p384_modn.nxnx_p384_point.nxnx_p384_point_add.nxnx_p384_scalar_mul.nx

imported by: nobody (leaf or entry point)

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

main p384_point_alloc nx_u384_scratch nx_u384_scratch_init sys_mmap sys_write sys_exit sys_mmap ↻ u384_alloc nx_u384_scratch ↻ p384_field_one u384_one u384_zero p384_field_zero u384_zero ↻ p384_point_load_g p384_field_one ↻ u384_alloc ↻ u384_one ↻ p384_scalar_mul nx_u384_scratch_save nx_u384_scratch_init ↻ p384_point_alloc ↻ p384_point_copy u384_copy sys_mmap ↻ p384_point_zero p384_field_one ↻ p384_field_zero ↻ p384_point_double p384_point_is_infinity u384_is_zero p384_point_zero ↻ u384_is_zero ↻ u384_alloc ↻ u384_copy ↻ p384_field_sq_fast p384_field_mul_fast u384_wide_alloc sys_mmap ↻

structs

none

consts

none

functions

18func main() -> i64
calls 10: p384_point_allocp384_point_load_gu384_allocu384_onep384_scalar_mulp384_point_eq+4