code wiki / bin / nx_p256_comb_test.nx

nx_p256_comb_test.nx

buildroot/runtime/bin/nx_p256_comb_test.nx

2187 B68 linesdepth 9pulls 14 transitivereach 0 importersview sourcekind gate/prooftopic p256
docsdependenciesstructsconstsfunctions

about

nx_p256_comb_test.nx -- oracle test: fixed-base comb k*G must equal the generic double-and-add p256_scalar_mul(k, G) for all scalars.

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_csprng.nx nx_p256_comb.nx nx_p256_scalar_mul.nx nx_p256_comb_test.nx

imports: nx_syscalls.nxnx_csprng.nxnx_p256_comb.nxnx_p256_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 sys_mmap p256_comb_build nx_scratch_save nx_scratch_init sys_mmap ↻ p256_point_alloc nx_scratch nx_scratch_init ↻ nx_scratch_oom sys_write sys_exit sys_mmap ↻ u256_alloc nx_scratch ↻ p256_field_one u256_one u256_zero p256_field_zero u256_zero ↻ p256_point_load_g p256_field_one ↻ p256_point_copy u256_copy p256_comb_store p256_point_add p256_point_is_infinity u256_is_zero p256_point_copy ↻ nx_scratch_save ↻ u256_alloc ↻ u256_copy ↻ p256_field_sq p256_field_mul nx_scratch_save ↻ u256_wide_alloc nx_scratch ↻ u256_mul_wide _p256_solinas_reduce u256_alloc ↻

structs

none

consts

none

functions

8func t_strlen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != 0 { n = n + 1 } return n }
called by 1: t_print_num
9func t_print_num(label: *u8, v: i64) -> i64
called by 1: main calls 3: sys_writet_strlensys_mmap
27func check_k(k: *i64, g: *P256Point, table: *i64, box: *i64) -> i64
called by 1: main calls 4: p256_point_allocp256_scalar_mul_basep256_scalar_mulp256_point_eq
36func main() -> i64
calls 11: sys_mmapp256_comb_buildp256_point_allocp256_point_load_gu256_allocu256_zero+5