code wiki / (root) / nx_p256_verify_timing.nx

nx_p256_verify_timing.nx

buildroot/runtime/nx_p256_verify_timing.nx

5963 B138 linesdepth 10pulls 14 transitivereach 0 importersview sourcekind tooltopic p256
docsdependenciesstructsconstsfunctions

about

nx_p256_verify_timing.nx -- end-to-end ECDSA-P256 verify timing on the RFC 6979 A.2.5 vector, to report where cert-verify lands with the Solinas field multiply on the hot path. Read-only: calls the PUBLIC verify only, modifies nothing. Warms up + asserts the signature verifies before timing so we never time a wrong result. license_tier: ORIGINAL

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_u256.nx nx_p256_field.nx nx_p256_modn.nx nx_ecdsa_p256.nx nx_p256_verify_timing.nx

imports: nx_syscalls.nxnx_u256.nxnx_p256_field.nxnx_p256_modn.nxnx_ecdsa_p256.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 u256_alloc nx_scratch nx_scratch_init sys_mmap ↻ nx_scratch_oom sys_write sys_exit sys_mmap ↻ u256_load_be nx_ecdsa_p256_verify nx_scratch_save nx_scratch_init ↻ _nx_ecdsa_p256_verify_impl u256_alloc ↻ p256_modn_load_n p256_modn_one u256_one u256_zero u256_is_zero u256_cmp p256_point_alloc nx_scratch ↻ u256_alloc ↻ p256_field_one u256_one ↻ p256_field_zero u256_zero ↻ p256_point_set_affine u256_copy p256_field_one ↻ p256_point_is_infinity u256_is_zero ↻ p256_point_on_curve p256_point_is_infinity ↻ nx_scratch_save ↻ u256_alloc ↻ u256_copy ↻ p256_field_sq

structs

none

consts

none

functions

15func _vt_print_dec(n: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
41func main() -> i64
calls 7: sys_mmapu256_allocu256_load_benx_ecdsa_p256_verifysys_writesys_now_us+1